NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Formal methods technology transfer: Some lessons learnedIBM has a long history in the application of formal methods to software development and verification. There have been many successes in the development of methods, tools and training to support formal methods. And formal methods have been very successful on several projects. However, the use of formal methods has not been as widespread as hoped. This presentation summarizes several approaches that have been taken to encourage more widespread use of formal methods, and discusses the results so far. The basic problem is one of technology transfer, which is a very difficult problem. It is even more difficult for formal methods. General problems of technology transfer, especially the transfer of formal methods technology, are also discussed. Finally, some prospects for the future are mentioned.
Document ID
19950007758
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Hamilton, David
(IBM Federal Systems Div. Houston, TX, United States)
Date Acquired
September 6, 2013
Publication Date
October 30, 1992
Publication Information
Publication: Research Inst. for Computing and Information Systems, RICIS Symposium 1992: Mission and Safety Critical Systems Research and Applications
Subject Category
Computer Programming And Software
Accession Number
95N14172
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
No Preview Available