5. Production using formal approaches
As we have shown, it is necessary to implement other practices that will enable us to detect defects in the software application as early and more extensively as possible. If we take up the requirements identified in the various sections, we obtain the table 10 .
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Production using formal approaches
Customizable software
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
