Software Engineering

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

claim paper

Read More »

23

click to vote

RE
2002
Springer

113views Software Engineering» more RE 2002»

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

13 years 7 months ago

Download www.cs.toronto.edu

Steve M. Easterbrook, Marsha Chechik

claim paper

Read More »

23

click to vote

RE
2002
Springer

120views Software Engineering» more RE 2002»

Rationale-Based Use Case Specification

13 years 7 months ago

Download www1.in.tum.de

Abstract. Few requirements engineering techniques are widely applied in industry. This can

Allen H. Dutoit, Barbara Paech

claim paper

Read More »

26

click to vote

RE
2002
Springer

188views Software Engineering» more RE 2002»

Effective Communication in Requirements Elicitation: A Comparison of Methodologies

13 years 7 months ago

Download bura.brunel.ac.uk

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

claim paper

Read More »

20

click to vote

RE
2002
Springer

129views Software Engineering» more RE 2002»

Goal-Oriented Requirements Engineering: A Unifying Framework

13 years 7 months ago

Download www.ct.aegean.gr

Evangelia Kavakli

claim paper