4. Using formal methods to build a software application
4.1 Software requirements specification
Software requirements must comply with at least three points:
be clear, precise, unambiguous, verifiable, testable, maintainable and achievable;
be traceable to input elements ;
be unambiguous and not open to misunderstanding.
As far as requirements management is concerned, we have presented the concepts and methods...
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Using formal methods to build a software application
Production using formal approaches
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Article included in this offer
"Railway systems"
(
61 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
