Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
Tailorability is generally regarded as a key property of groupware systems due to the dynamics and differentiation of cooperative work. This article investigates the use of softwa...
Designing a programming environment raises difficult implementation problems since such software is not just one piece of code able to execute programs expressed in a given progra...
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
One of the central problems of database integration is schema matching, that is, the identification of similar data elements in two or more databases or other data sources. Existin...