91 search results - page 6 / 19 » On the Relationships between Static and Dynamic Models in Re... |
SCAM
2003
IEEE
14 years 1 months ago
2003
IEEE
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...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
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...
AIPRF
2007
13 years 10 months ago
2007
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...
ICSE
2003
IEEE-ACM
14 years 1 months ago
2003
IEEE-ACM
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
RE
2001
Springer
14 years 29 days ago
2001
Springer
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...