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
∙
02/04/2022
Extracting Software Requirements from Unstructured Documents
Requirements identification in textual documents or extraction is a tedi...
research
∙
09/14/2021
The concept of class invariant in object-oriented programming
Class invariants – consistency constraints preserved by every operation ...
research
∙
04/19/2020
Code Review in the Classroom
This paper presents a case study to examine the affinity of the code rev...
research
∙
11/23/2019
Seamless Object-Oriented Requirements
Design by Contract enables seamless software development by unifying sof...
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
∙
04/04/2019
DevOps and its Philosophy : Education Matters!
DevOps processes comply with principles and offer practices with main ob...
research
∙
03/11/2019
Object-oriented requirements: reusable, understandable verifiable
Insufficient requirements reusability, understandability and verifiabili...
research
∙
07/04/2018
Teaching DevOps in Corporate Environments: An experience report
This paper describes our experience of training a team of developers of ...
research
∙
11/17/2017
Towards operational natural language
The multiplicity of software projects' stakeholders and activities leads...
research
∙
10/08/2017