Jean‐Louis Boulanger
Abstract
This chapter contains sections titled: Introduction Classic development Structured, semi-formal and/or formal methods Formal methods Conclusion Bibliography
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
This chapter contains sections titled: Introduction Classic development Structured, semi-formal and/or formal methods Formal methods Conclusion Bibliography
Key concepts: Formal methods, Formal language, Computer science, Formal system, Formal description, Formal synthesis, Programming language, Refinement