Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
MIDAS is a model-driven methodology for Web Information Systems development based on the OMG's Model Driven Architecture. It proposes to use UML to describe different views o...
The work developed in this paper focuses on the overlap of relevant retrieved documents obtained from different combination of systems and components. Study of the impact on infor...
: In order to enhance their global business performance, organizations must be careful with the quality of their information since it is one of their main assets. Analogies to qual...
Information systems development is regarded as a series of distributed activities aiming at allocating resources in order to promote the development and use of computer-based syst...