1326 search results - page 30 / 266 » Semantic Coherence in Software Engineering |
DAGSTUHL
2007
13 years 9 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
EMSOFT
2007
Springer
2007
Springer
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
14 years 1 months ago
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
AMAST
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
FSTTCS
2009
Springer
14 years 2 months ago
2009
Springer
We report on our experiences in redesigning Scala’s collection libraries, focussing on the role that type systems play in keeping software architectures coherent over time. Type ...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...