769 search results - page 3 / 154 » A Formal Framework for Modular Synchronous System Design |
FSTTCS
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
IFM
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...
FMCAD
2000
Springer
13 years 9 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
FMICS
2007
Springer
13 years 11 months ago
2007
Springer
COORDINATION
2006
Springer
13 years 9 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...