Abstraction and context in requirements engineering: Toward a synthesis Colin PottsIdris Hsi OriginalPaper Pages: 23 - 61
Elements underlying the specification of requirements Alan M. DavisKathleen JordanTsuyoshi Nakajima OriginalPaper Pages: 63 - 100
Viewpoints: principles, problems and a practical approach to requirements engineering Ian SommervillePete Sawyer OriginalPaper Pages: 101 - 130
Towards quality requirements via animated formal specifications Jawed I. SiddiqiIan C. MorreyMehmet B. Ozcan OriginalPaper Pages: 131 - 155
Formal methods for telecommunication system requirements: A survey of standardized languages Mark A. Ardis OriginalPaper Pages: 157 - 187
Engineering formal requirements: An analysis and testing method for Z documents P. CiancariniS. CimatoC. Mascolo OriginalPaper Pages: 189 - 219
Synthesizing structured analysis and object‐based formal specifications David L. ColemanAlbert L. Baker OriginalPaper Pages: 221 - 253
Tools for producing formal specifications: a view of current architectures and future directions Sunil VaderaFarid Meziane OriginalPaper Pages: 273 - 290
Software requirements and acceptance testing Pei HsiaDavid KungChris Sell OriginalPaper Pages: 291 - 317
A practical approach to combining requirements definition and object‐oriented analysis Hermann Kaindl OriginalPaper Pages: 319 - 343
Using simulation‐based experiments for software requirements engineering F. Javier LerchDeborah J. BallouDonald E. Harter OriginalPaper Pages: 345 - 366
Dealing with nonfunctional requirements in large software systems Christof Ebert OriginalPaper Pages: 367 - 395
Requirements traceability: Theory and practice Balasubramaniam RameshCurtis StubbsMichael Edwards OriginalPaper Pages: 397 - 415
The concept of operations: The bridge from operational requirements to technical specifications Richard E. FairleyRichard H. Thayer OriginalPaper Pages: 417 - 432
Reconciling requirements: a method for managing interference, inconsistency and conflict George SpanoudakisAnthony Finkelstein OriginalPaper Pages: 433 - 457
Requirements analysis using forward and backward search Robyn R. LutzRobert M. Woodhouse OriginalPaper Pages: 459 - 475