Search Sciweavers | Sciweavers

This paper presents the methodologies and preliminary results of the project to develop a simulation model of the Panama Canal, one of the most famous waterway and locks system of...

Luiz Augusto Gago Franzese, Luiz Otávio Abd...

claim paper

Read More »

168

click to vote

RE
2006
Springer

72views Software Engineering» more RE 2006»

Goal-Oriented Requirements Engineering, Part II

15 years 6 months ago

Download www.ifi.uzh.ch

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 ...

John Mylopoulos

claim paper

Read More »

170

click to vote

SCAM
2009
IEEE

150views Software Engineering» more SCAM 2009»

Engineering Abstractions in Model Checking and Testing

16 years 1 months ago

Download www.dcs.kcl.ac.uk

ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann

Michael Achenbach, Klaus Ostermann