871 search results - page 18 / 175 » Specification of Coordinated Behaviour in the Software Devel... |
GI
2004
Springer
14 years 23 days ago
2004
Springer
: The development of Web Service compositions has not yet been automated. Web Service-based process definitions can be created automatically using Web Service compositions template...
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
UML
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be ...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
We have developed software tools that aim to support the cooperative software engineering tasks and promote an awareness of social dependencies that is essential to successful coo...
DEXAW
1998
IEEE
13 years 11 months ago
1998
IEEE
Most of the work on coordination technology so far has focused on the development of special coordination languages and environments that provide the basic mechanisms for realizin...