4350 search results - page 11 / 870 » Case studies for contract-based systems |
ICSM
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper describes a case study of the release management of CS-ECIS, a health-care information system developed by the Dutch software vendor ChipSoft. We performed this case st...
ICSM
2002
IEEE
14 years 2 months ago
2002
IEEE
Unregulated evolution of software often leads to software ageing which not only makes the product difficult to maintain but also breaks the consistency between design and impleme...
IASSE
2004
13 years 11 months ago
2004
This paper describes how design information, in our case UML specifications, can be used to evolve a software system and validate the consistency of such an evolution. This work c...
AOSE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
HT
2004
ACM
14 years 3 months ago
2004
ACM
ZigZag is a paradigm of hypermedia that consists of a multidimensional system of principled interconnections. Its basic features and specifications are now well known, but despite...