Back to Search Start Over

The Role of Formal Methods in Software Development.

Authors :
McDermid, John
Source :
Journal of Information Technology (Routledge, Ltd.). Sep87, Vol. 2 Issue 3, p124. 11p.
Publication Year :
1987

Abstract

Presents summaries of the uses of formal methods in software development organized by the Association for Information Technologies (AIT). Basis of the paper on the premise ethat formal methods are valuable to industry; Significance of their introduction in representing a significant step in the evolution of software development towards a true engineering discipline.

Subjects

Subjects :
*COMPUTER software development
*INFORMATION technology
*SOCIETIES

Details

Language :
English
ISSN :
02683962
Volume :
2
Issue :
3
Database :
Academic Search Index
Journal :
Journal of Information Technology (Routledge, Ltd.)
Publication Type :
Academic Journal
Accession number :
5416446
Full Text :
https://doi.org/10.1057/jit.1987.25
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details