283 search results - page 2 / 57 » Coordination-Policy Based Composed System Behavior Derivatio... |
SOFSEM
2007
Springer
14 years 7 days ago
2007
Springer
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...
GCC
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Due to the complexity and uncertainties, the engineering process requires dynamic collaborations among the heterogeneous systems and human interactions. In this paper, we...
FORTE
2004
13 years 7 months ago
2004
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...
FMCAD
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. Behavior tables are a design formalization intended to support interactive design derivation for hardware and embedded systems. It is a reformulation of the DDD transform...
NOMS
2008
IEEE
14 years 16 days ago
2008
IEEE
Large complex systems (such as Enterprise systems) are often composed of several interacting, independent components. In many such systems, although the behavior of the constituen...