A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
A New Approach to Reliable, yet Flexible Software
2011
International Conference on Advanced Information Systems Engineering
Developing reliable, yet flexible software is a hard problem. Formal methods take a precise approach to software development, delivering reliable software; however, in addition to high cost involvements, they require a level of expertise that is not common in commercial development communities. These limitations lead to decreasing their practicality. Semi-formal methods, which are widely used in practical large-scale software development, do not take a rigorous approach to reliability of
dblp:conf/caise/Rasoolzadegan11
fatcat:wia6anjqjjcq7l352bh3snmq5y