Annals of Software Engineering, Volume 3
Software Requirements Engineering
, Idris Hsi
: Abstraction and Context in Requirements Engineering: Toward a Synthesis.
Mark A. Ardis
: Formal Methods for Telecommunication System Requirements: A Survey of Standardized Languages.
, Farid Meziane
: Tools for Producing Formal specifications: A view of Current Architectures and Future Directions.
: A Practical Approach to Combining Requirements Definition and Object-Oriented Analysis.
: Dealing with Nonfunctional Requirements in large Software Systems.