10072 search results - page 29 / 2015 » Composition of Model Programs |
114
click to vote
TACAS
1997
Springer
15 years 5 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
106
Voted
ECMDAFA
2007
Springer
15 years 8 months ago
2007
Springer
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...
128
click to vote
ICEIS
2005
IEEE
15 years 7 months ago
2005
IEEE
Component-based software engineering attempts to address the ever increasing demand for new software applications by enabling a compositional approach to software construction in ...
132
click to vote
PC
2012
13 years 9 months ago
2012
This paper describes a safe and efficient combination of the object-based message-driven execution and shared array parallel programming models. In particular, we demonstrate how ...
100
click to vote
CIE
2010
Springer
15 years 6 months ago
2010
Springer
This paper discusses Curry’s work on how to implement the problem of inverse interpolation on the ENIAC (1946) and his subsequent work on developing a theory of program compositi...