611 search results - page 97 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
159
click to vote
FSTTCS
1999
Springer
15 years 8 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
120
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
144
click to vote
AC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
121
click to vote
FSTTCS
2008
Springer
15 years 4 months ago
2008
Springer
ABSTRACT. Formalisms involving some degree of nondeterminism are frequent in computer science. In particular, various programming or specification languages are based on term rewr...
119
click to vote
LDTA
2010
15 years 4 months ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...