Seamless requirements
@article{Naumchev2017SeamlessR,
title={Seamless requirements},
author={Alexandr Naumchev and B. Meyer},
journal={ArXiv},
year={2017},
volume={abs/1704.04189}
}Popular notations for functional requirements specifications frequently ignore developers needs, target specific development models, or require translation of requirements into tests for verification; the results can give out-of-sync or downright incompatible artifacts. Seamless requirements, a new approach to specifying functional requirements, contributes to developers understanding of requirements and to software quality regardless of the process, while the process itself becomes lighter due… CONTINUE READING
Figures and Topics from this paper
17 Citations
AutoReq: Expressing and verifying requirements for control systems
- Computer Science
- J. Comput. Lang.
- 2019
- 5
- PDF
Scratch-Based User-Friendly Requirements Definition for Formal Verification of Control Systems
- Computer Science
- Informatics Educ.
- 2020
- 1
- PDF
Formal Requirements in an Informal World
- Computer Science
- 2020 IEEE Workshop on Formal Requirements (FORMREQ)
- 2020
- PDF
VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper)
- Computer Science
- TOOLS
- 2019
- 2
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment
- Engineering, Computer Science
- Lecture Notes in Computer Science
- 2018
- 17
References
SHOWING 1-10 OF 27 REFERENCES
Requirements Engineering - From System Goals to UML Models to Software Specifications
- Engineering, Computer Science
- 2009
- 1,135
- Highly Influential
- PDF
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques
- Computer Science
- SEFM
- 2011
- 35
- PDF
Eiffel: A language and environment for software engineering
- Computer Science
- J. Syst. Softw.
- 1988
- 114
- PDF
AutoProof: auto-active functional verification of object-oriented programs
- Computer Science
- International Journal on Software Tools for Technology Transfer
- 2016
- 64
- PDF
Complete Contracts through Specification Drivers
- Computer Science
- 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)
- 2016
- 17
- PDF