Integrating formal methods with domain analysis
Laura Felice, María Carmen Leonardi, María Virginia Mauco, Germán Antonio Montejano, Daniel Eduardo Riesco, Narayan Chandra Debnath · Journal of Computational Methods in Sciences and Engineering · 2010
The use of formal methods should help to achieve a high degree of confidence that a system will conform to its specification, enhancing in consequence software quality and reliability. However, a general acceptance of formal methods among software en