1021 search results - page 93 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
125
Voted
ASWEC
2010
IEEE
15 years 3 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
124
Voted
POPL
2010
ACM
16 years 5 days ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
209
Voted
POPL
2010
ACM
16 years 5 days ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...
126
click to vote
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
133
Voted
WSC
2008
15 years 5 months ago
2008
Currently, system engineering problems are solved using a wide range of domain-specific models and corresponding languages. It is unlikely that a single unified modeling language ...