arXiv
Open Access
2020
The Bourgeois Gentleman, Engineering and Formal Methods
Thierry Lecomte
Abstrak
Industrial applications involving formal methods are still exceptions to the general rule. Lack of understanding, employees without proper education, difficulty to integrate existing development cycles, no explicit requirement from the market, etc. are explanations often heard for not being more formal. This article reports some experience about a game changer that is going to seamlessly integrate formal methods into safety critical systems engineering.
Topik & Kata Kunci
Penulis (1)
T
Thierry Lecomte
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2020
- Bahasa
- en
- Sumber Database
- arXiv
- Akses
- Open Access ✓