Volume 7, Issue 4 | Requirements Engineering

Search all Requirements Engineering articles

Volume 7, Issue 4

December 2002

Filter by

Volume:

Sort by

Date published:

New to old Old to new

8 articles in this issue

Guest Editorial: Requirements Engineering for Information Security
Annie I. Antón
Editorial Pages: 177 - 178
Authorisation Requirements on a Budget
Darrell Raymond
Original Article Pages: 179 - 191
An Approach to Security Requirements Engineering for a High Assurance System^*
Cynthia E. Irvine
Timothy Levin
Barbara Pereira
Original Article Pages: 192 - 206
A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System
Guy Helmer
Johnny Wong
Robyn Lutz
Original Article Pages: 207 - 220
Guest Editorial: Special Issue on Model Checking in Requirements Engineering
Steve Easterbrook
Marsha Chechik
Editorial Pages: 221 - 224
Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints
Yunja Choi
Sanjai Rayadurgam
Mats P.E. Heimdahl
Original Article Pages: 225 - 242
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
Rik Eshuis
David N. Jansen
Roel Wieringa
Original Article Pages: 243 - 263
Automatically Detecting and Visualising Errors in UML Diagrams
Laura A. Campbell
Betty H. C. Cheng
R. E. K. Stirewalt
Original Article Pages: 264 - 287