Bertrand Meyer

Latest

• 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