Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Fifth Industrial Revolution (5IR)"'
Autor:
John Andrew van der Poll
Publikováno v:
Systems, Vol 12, Iss 8, p 306 (2024)
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
Externí odkaz:
https://doaj.org/article/d1df892877e34b2fabcd91f7f0c79802
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
John Andrew van der Poll
Publikováno v:
Applied System Innovation, Vol 5, Iss 6, p 127 (2022)
The adoption of formal methods (FMs) as a software development methodology remains low. Advocates of FMs point to the advantages to be gained by producing highly dependable systems, while critics refer to the steep learning curve required to master t
Externí odkaz:
https://doaj.org/article/05e89e20d3254f4ca4b21e2ec48c6c0b
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.