NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Recent trends related to the use of formal methods in software engineeringAn account is given of some recent developments and trends related to the development and use of formal methods in software engineering. Ongoing activities in Europe are focussed on, since there seems to be a notable difference in attitude towards industrial usage of formal methods in Europe and in the U.S. A more detailed account is given of the currently most widespread formal method in Europe: the Vienna Development Method. Finally, the use of Ada is discussed in relation to the application of formal methods, and the potential for constructing Ada-specific tools based on that method is considered.
Document ID
19890006936
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Prehn, Soren (Dansk Datamatik Center Copenhagen., United States)
Date Acquired
September 5, 2013
Publication Date
January 1, 1986
Publication Information
Publication: NASA, Lyndon B. Johnson Space Center, First International Conference on Ada (R) Programming Language Applications for the NASA Space Station, Volume 1
Subject Category
Computer Programming And Software
Accession Number
89N16307
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available