loading...
Formal Methods Pilot Project
Seoul, SOUTH KOREA December 04-December 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.1996.566758Third Asia-Pacific Software Engineeri ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
T. Hart, F. Linn, R. Morello, G. Royle, P. Kearney, P. Lindsay, K. Ross, O. Traynor, "Formal Methods Pilot Project," Asia-Pacific Software Engineering Conference, pp. 238, Third Asia-Pacific Software Engineering Conference (APSEC'96), 1996.
 
 
BibTex
x
 
@article{ 10.1109/APSEC.1996.566758,
author = {T. Hart and F. Linn and R. Morello and G. Royle and P. Kearney and P. Lindsay and K. Ross and O. Traynor},
title = {Formal Methods Pilot Project},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {1996},
isbn = {0-8186-7638-8},
pages = {238},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1996.566758},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - Formal Methods Pilot Project
SN - 0-8186-7638-8
SP
EP
A1 - T. Hart,
A1 - F. Linn,
A1 - R. Morello,
A1 - G. Royle,
A1 - P. Kearney,
A1 - P. Lindsay,
A1 - K. Ross,
A1 - O. Traynor,
PY - 1996
KW - formal specification; collaborative project; pilot project; formal methods; safety-related software development; SVRC Cogito methodology; formal specification; validation; mathematical consistency checks; hazard analysis; safety requirements
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -
 
Reports on a collaborative project to pilot the use of formal methods in the development of safety-related software. Using the SVRC's Cogito methodology, staff from CSC Australia undertook: formal specification; validation of the specification by mathematical consistency checks; hazard analysis; and validation of the specification against the safety requirements. Part of the design was modelled formally and verified.
Index Terms:
formal specification; collaborative project; pilot project; formal methods; safety-related software development; SVRC Cogito methodology; formal specification; validation; mathematical consistency checks; hazard analysis; safety requirements
Citation:
T. Hart, F. Linn, R. Morello, G. Royle, P. Kearney, P. Lindsay, K. Ross, O. Traynor, "Formal Methods Pilot Project," apsec, pp.238, Third Asia-Pacific Software Engineering Conference (APSEC'96), 1996
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions