Sciweavers

22698 search results - page 9 / 4540
» Modeling in Software Engineering
Sort
View
45
Voted
APSEC
2002
IEEE
15 years 2 months ago
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
ICSM
1998
IEEE
15 years 1 months ago
Dynamic Model for Maintenance and Testing Effort
F. Calzolari, Paolo Tonella, Giuliano Antoniol