Sciweavers

RE
2002
Springer
14 years 2 days ago
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
Rik Eshuis, David N. Jansen, Roel Wieringa
RE
2002
Springer
14 years 2 days ago
Rationale-Based Use Case Specification
Abstract. Few requirements engineering techniques are widely applied in industry. This can
Allen H. Dutoit, Barbara Paech
RE
2002
Springer
14 years 2 days ago
Effective Communication in Requirements Elicitation: A Comparison of Methodologies
The elicitation or communication of user requirements comprises an early and critical but highly error-prone stage in system development. Socially-oriented methodologies provide m...
Jane Coughlan, Robert D. Macredie
RE
2002
Springer
14 years 2 days ago
A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System
Requirements analysis for an Intrusion Detection System (IDS) involves deriving requirements for the IDS from analysis of the intrusion domain. When the IDS is, as here, a collecti...
Guy G. Helmer, Johnny S. Wong, Mark Slagell, Vasan...
RE
2002
Springer
14 years 2 days ago
On Abstraction in Scenarios
Ian F. Alexander