611 search results - page 77 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
138
Voted
MODELS
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although...
158
click to vote
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
169
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
160
click to vote
COORDINATION
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
160
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...