16206 search results - page 14 / 3242 » Software Engineering is Not Enough |
154
click to vote
RE
2004
Springer
16 years 7 days ago
2004
Springer
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...
166
Voted
ISSTA
2006
ACM
16 years 26 days ago
2006
ACM
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...
277
Voted
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM