2558 search results - page 68 / 512 » Model Composition Contracts |
113
click to vote
APSEC
2008
IEEE
15 years 10 months ago
2008
IEEE
Design and development scalability, in any engineering, requires information hiding and a specific composition mechanism in which composite items are made-up of other items. This ...
134
Voted
DEXAW
2005
IEEE
15 years 9 months ago
2005
IEEE
We describe a methodology for creating composite web services, a key ingredient in spatial data infrastructure (SDI) applications, which we demonstrate on an emergency management ...
127
Voted
ECOWS
2006
Springer
15 years 5 months ago
2006
Springer
We present a goal-driven approach to model a choreographer for realizing composite Web services. In this framework, the users start with an abstract, and possibly incomplete funct...
159
Voted
FORMATS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
128
click to vote
JCST
2008
15 years 3 months ago
2008
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...