|
|
|
|
|
John Andrew van der Poll
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 the u...
ver más
|
|
|
|
|