Unifying Requirements and Code: an Example

2016/02/17 by Alexandr Naumchev, Bertrand Meyer, Naumchev, Alexandr +3
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Logic, programming, and type systems #Software Engineering (cs.SE) #Software Engineering Research

paper · pdf · doi:10.48550/arxiv.1602.05395

openalex publication_date 2016/02/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Requirements and code, in conventional software engineering wisdom, belong to entirely different worlds. Is it possible to unify these two worlds? A unified framework could help make software easier to change and reuse. To explore the feasibility of such an approach, the case study reported here takes a classic example from the requirements engineering literature and describes it using a programming language framework to express both domain and machine properties. The paper describes the solution, discusses its benefits and limitations, and assesses its scalability.

Related

• The Anatomy of Requirements
• Object-oriented requirements: reusable, understandable, verifiable
• From Requirements to Code: Understanding Developer Practices in LLM-Assisted Software Engineering
• Requirements are All You Need: From Requirements to Code with LLMs
• Requirements are All You Need: The Final Frontier for End-User Software Engineering