Sciweavers

22698 search results - page 3 / 4540
» Modeling in Software Engineering
Sort
View
97
Voted
ICSE
2009
IEEE-ACM
15 years 9 months ago
Genetics as a role model for software variability management
Deepak Dhungana, Iris Groher
VSTTE
2005
Springer
15 years 7 months ago
Model-Checking Software Using Precise Abstractions
Marsha Chechik, Arie Gurfinkel
FASE
2003
Springer
15 years 7 months ago
Model Checking Software via Abstraction of Loop Transitions
Natasha Sharygina, James C. Browne