2108 search results - page 21 / 422 » An Operational Semantics for Stateflow |
EPEW
2005
Springer
15 years 3 months ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
ADAEUROPE
2008
Springer
15 years 4 months ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
FCT
2003
Springer
15 years 2 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
88
Voted
ENTCS
2008
14 years 9 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...