research
∙
01/05/2023
Lessons from Formally Verified Deployed Software Systems
The technology of formal software verification has made spectacular adva...
share
research
∙
09/06/2022
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests
A paradox of requirements specifications as dominantly practiced in the ...
research
∙
04/29/2020
A Formalization of Group Decision Making in Multi-viewpoints Design
Complex systems are typically designed collaboratively by stakeholders f...
research
∙
11/06/2019
The role of formalism in system requirements (full version)
A major determinant of the quality of software systems is the quality of...
research
∙
11/06/2019
The role of formalism in system requirements (extended version)
A major determinant of the quality of software systems is the quality of...
research
∙
11/06/2019
The role of formalism in system requirements
A major determinant of the quality of software systems is the quality of...
research
∙
11/06/2019
Formality in Software Requirements
A major determinant of the quality of software systems is the quality of...
research
∙
06/15/2019
The Anatomy of Requirements
Requirements engineering is crucial to software development but lacks a ...
research
∙
10/08/2017
