Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
Seamless Object-Oriented Requirements
Alexandr Naumchev
July 2019
PDF
Cite
Type
Thesis
"Object-oriented requirements"
"Reusable requirements"
"Understandable requirements"
"Verifiable requirements"
"Expressive requirements"
"seamless requirements"
"Seamless development"
"Design by Contract"
"Exigences expressives"
"Exigences vérifiables"
"Exigences orientées objet"
"Exigences réutilisables"
"Exigences compréhensibles"
"Exigences sans faille"
"Développement sans faille"
"Eiffel"
Related
AutoReq: expressing and verifying requirements for control systems
A contract-based method to specify stimulus-response requirements
AutoReq: expressing and verifying requirements for control systems
Requirements Specific Modeling Language : un langage formel d'expression d'exigences
Examining Requirements Documentation through the Focused Conversation Method
Cite
×