Sciweavers

536 search results - page 1 / 108
» Reusing Models of Different Abstraction Levels
Sort
View
JISBD
2001
15 years 2 months ago
Verifying Reuse Contracts with a Component Model
The Itacio component model intends to bring a method of verifying software systems made up of ts. This method can be applied at different levels of abstraction, and to different f...
Agustín Cernuda del Río, José...
54
Voted
IJCAI
1989
15 years 1 months ago
A Diagnostic Algorithm based on Models at Different Level of Abstraction
Massimo Gallanti, Marco Roncato, Alberto Stefanini...
87
Voted
SE
2010
15 years 2 months ago
Multi-Level Test Models for Embedded Systems
Abstract: Test methodologies for large embedded systems fail to reflect the test process as a whole. Instead, the test process is divided into independent test levels feaifferences...
Abel Marrero Pérez, Stefan Kaiser
84
Voted
WSC
2000
15 years 2 months ago
Abstract modeling for engineering and engagement level simulations
MODELING FOR ENGINEERING AND ENGAGEMENT LEVEL SIMULATIONS Robert M. McGraw Richard A. MacDonald RAM Laboratories, Inc. 6540 Lusk Boulevard, Suite C200 San Diego, CA 92121, U.S.A. ...
Robert M. McGraw, Richard A. MacDonald