Bertrand Meyer

Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests
Special Issue on New Paradigms of Software Production and Deployment
The Role of Formalism in System Requirements
A contract-based method to specify stimulus-response requirements

Published with Wowchemy — the free, open source website builder that empowers creators.