2558 search results - page 63 / 512 » Model Composition Contracts |
145
Voted
IJSEKE
2002
15 years 3 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...
135
Voted
FIDJI
2003
Springer
15 years 9 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 ...
133
Voted
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
123
Voted
JLP
2006
15 years 3 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 ...
137
click to vote
ADC
2004
Springer
15 years 9 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...