The Role of 4IR-5IR Leadership-Management in the Adoption of Formal Methods
Formal methods (FMs) have been cited as a viable methodology for developing high-quality software. However, the steep learning curve in efficiently using the underlying discrete mathematics and logic has hindered FMs’ adoption, leading to a decline in their initial interest in the 1980s. Traditional...
| Autor principal: | |
|---|---|
| Format: | Article |
| Idioma: | English |
| Publicat: |
MDPI AG
2024-08-01
|
| Col·lecció: | Systems |
| Matèries: | |
| Accés en línia: | https://www.mdpi.com/2079-8954/12/8/306 |