Object-Oriented Requirements: Reusable, Understandable, Verifiable
- 8 October 2019
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 150-162
Abstract
No abstract availableKeywords
All Related Versions
This publication has 13 references indexed in Scilit:
- Natural Language Processing for Requirements Engineering: The Best Is Yet to ComeIEEE Software, 2018
- A systematic literature review of software requirements reuse approachesInformation and Software Technology, 2018
- Seamless requirementsComputer Languages, Systems & Structures, 2017
- Requirements reuse and requirement patterns: a state of the practice surveyEmpirical Software Engineering, 2016
- Complete Contracts through Specification Drivers2016
- Unifying Requirements and Code: An Example2016
- Parameterized unit testsACM SIGSOFT Software Engineering Notes, 2005
- Patterns in property specifications for finite-state verification1999
- On Formalism in Specifications1993
- An axiomatic basis for computer programmingCommunications of the ACM, 1969