Sciweavers

16206 search results - page 14 / 3242
» Software Engineering is Not Enough
Sort
View
RE
2004
Springer
15 years 3 months ago
Visual Variability Analysis for Goal Models
One of the benefits of goal-oriented requirements engineering is the possibility of conducting formal analysis in order to evaluate alternative solutions of goal models. Superfici...
Bruno González-Baixauli, Julio Cesar Sampai...
ISSTA
2006
ACM
15 years 3 months ago
Application of automated environment generation to commercial software
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
Oksana Tkachuk, Sreeranga P. Rajan