Casey, Valentine; Richardson, Ita(John Wiley and Sons Limited, 2004)
The focus of this paper is to outline the experience of a European based software organization utilizing the IDEAL model, while implementing a tailored Capability Maturity Model (CMM) software process improvement program. ...
We present second steps in the construction of formal models of NAND flash memory, based on a recently emerged open standard for such devices. The model is intended as a key part of a pilot project to develop a verified ...
Applying design patterns while developing a software system can improve its non-functional properties, such as extensibility and loose coupling. Precise specification of structure and behaviour communicates the invariants ...
Conboy, Kieran(INFORMS (Institute for Operations Research and Management Sciences), 2009)
Awareness and use of agile methods has grown rapidly among the information systems development (ISD) community in recent years. Like most previous methods, the development and promotion of these methods have been almost ...
We argue that the software user, the developer, the designer and indeed the application logic itself all possess invaluable intelligence to gear how software should adapt itself to changing requirements and changing ...
Feature interaction describes a situation where the combination of two or more services that individually perform correctly results in unexpected and possibly adverse behaviour. Such feature interaction issues have first ...
Pervasive systems present the need to interpret large quantities of data from many sources. Context models support developers working with such data by providing a shared representation of the environment on which to base ...
Cahill, Vinny; Meier, Rene; Harrington, Anthony(Trinity College Dublin, 2005)
Integrating individual intelligent transportation systems into comprehensive platforms is a key challenge faced by transport authorities in the provision of optimal service s to users. The use of an ITS architecture ...