The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
: The idea of developing software through systematic development processes to improve software quality is not new. Nevertheless, there are still many information systems such as th...
The design and implementation of distributed, self-organising and self-adaptive systems are challenging. In this article we report on our experience gained during the development o...
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
This paper provides a first account of1 the Building the Internet Workforce project. A number of further papers are planned. An outline of the project’s progress and outcomes is...