394 search results - page 14 / 79 » Composing Specifications |
ICSE
1993
IEEE-ACM
14 years 2 months ago
1993
IEEE-ACM
Software designers compose systems from components written in some prolanguage. They regularly describe systems using abstract patterns and sophisticated relations among component...
ENTCS
2006
13 years 10 months ago
2006
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
CAV
2006
Springer
14 years 1 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
TSE
2008
13 years 10 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
CLEIEJ
2004
13 years 10 months ago
2004
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...