Program slice is a set of statements that affect the value of variable v in a statement s. In order to calculate a program slice, we must know the dependence relations between sta...
Model-Driven Engineering (MDE) advocates the generation of software applications from models, which are views on certain aspects of the software. In order to minimize the delta bet...
Ellen Van Paesschen, Wolfgang De Meuter, Maja D'Ho...
We considered different varieties of inference engines for a sub-system of Mission Control Technologies (MCT) being developed at NASA Ames Research center. One inference engine, J...
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...