15777 search results - page 454 / 3156 » The Reformulation-Optimization Software Engine |
LCTRTS
2004
Springer
15 years 10 months ago
2004
Springer
EUROMICRO
2003
IEEE
15 years 10 months ago
2003
IEEE
134
Voted
RE
2006
Springer
15 years 4 months ago
2006
Springer
We briefly review the history and key ideas in Goal-Oriented Requirements Engineering research. We then sketch two applications of these ideas. The first involves establishing an ...
141
click to vote
SCAM
2009
IEEE
15 years 11 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann