Guest Editorial: Requirements Engineering for Information Security Annie I. Antón Editorial Pages: 177 - 178
An Approach to Security Requirements Engineering for a High Assurance System* Cynthia E. IrvineTimothy LevinBarbara Pereira Original Article Pages: 192 - 206
A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System Guy HelmerJohnny WongRobyn Lutz Original Article Pages: 207 - 220
Guest Editorial: Special Issue on Model Checking in Requirements Engineering Steve EasterbrookMarsha Chechik Editorial Pages: 221 - 224
Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints Yunja ChoiSanjai RayadurgamMats P.E. Heimdahl Original Article Pages: 225 - 242
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts Rik EshuisDavid N. JansenRoel Wieringa Original Article Pages: 243 - 263
Automatically Detecting and Visualising Errors in UML Diagrams Laura A. CampbellBetty H. C. ChengR. E. K. Stirewalt Original Article Pages: 264 - 287