2558 search results - page 63 / 512 » Model Composition Contracts |
176
click to vote
IJSEKE
2002
15 years 5 months ago
2002
In current literature few detailed process models for Requirements Engineering are presented: usually high-level activities are distinguished, without a more precise specification...
170
click to vote
FIDJI
2003
Springer
15 years 11 months ago
2003
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
155
click to vote
JLP
2006
15 years 6 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
180
click to vote
ADC
2004
Springer
15 years 11 months ago
2004
Springer
The development of new web services by composition of existing services is becoming an extensive approach. This has resulted in transactions that span in multiple web services. Th...