Deriving tabular event-based specifications from goal-oriented requirements models

Goal-directed requirements acquisition

Anne Dardenne, Axel van Lamsweerde, Stephen Fickas · Science of Computer Programming · 1993 · 2K citations

The Esterel synchronous programming language: design, semantics, implementation

Gérard Berry, Georges Gonthier · Science of Computer Programming · 1992 · 1.7K citations · Full text

Computing, Computer Engineering, Computer Science +9

Goal-oriented requirements engineering: a guided tour

Axel van Lamsweerde · 2002 · 1.7K citations

Engineering, Systems Engineering, Goal Setting +13

Representing and using nonfunctional requirements: a process-oriented approach

John Mylopoulos, Lawrence Chung, Brian A. Nixon · IEEE Transactions on Software Engineering · 1992 · 1K citations

Engineering, Information Systems, Information Systems Development +16

Four dark corners of requirements engineering

Pamela Zave, Michael Jackson · ACM Transactions on Software Engineering and Methodology · 1997 · 727 citations

Engineering, Computer Science, Knowledge Representation +12