Abstract
Examples of the use of formal methods are given. The benefits of using formal methods are examined, as well as the problem of making formal methods more widely used. The relation between using formal methods and using other approaches to software development, like rapid prototyping, is also considered. © 1988.
Author supplied keywords
Cite
CITATION STYLE
APA
Gibbins, P. (1988). What are formal methods? Information and Software Technology, 30(3), 131–137. https://doi.org/10.1016/0950-5849(88)90059-6
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free