loading...
The use of industrial-strength formal methods
Washington, DC August 11-August 15
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CMPSAC.1997.624973COMPSAC '97 - 21st International Comp ...
 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 
 
J.P. Bowen, M.G. Hinchey, "The use of industrial-strength formal methods," Computer Software and Applications Conference, Annual International, pp. 332, COMPSAC '97 - 21st International Computer Software and Applications Conference, 1997.
 
 
BibTex
x
 
@article{ 10.1109/CMPSAC.1997.624973,
author = {J.P. Bowen and M.G. Hinchey},
title = {The use of industrial-strength formal methods},
journal ={Computer Software and Applications Conference, Annual International},
volume = {0},
year = {1997},
issn = {0730-3157},
pages = {332},
doi = {http://doi.ieeecomputersociety.org/10.1109/CMPSAC.1997.624973},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - The use of industrial-strength formal methods
SN - 0730-3157
SP
EP
A1 - J.P. Bowen,
A1 - M.G. Hinchey,
PY - 1997
KW - formal specification; industrial-strength formal methods
VL - 0
JA - Computer Software and Applications Conference, Annual International
ER -
 
J.P. Bowen, Dept. of Comput. Sci., Reading Univ., UK
M.G. Hinchey, Dept. of Comput. Sci., Reading Univ., UK
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still be considered a niche market, there is growing evidence that they can be used successfully in industry if applied judiciously. The paper discusses same of the issues concerning the successful application of formal methods and surveys a number of examples of industrial usage, with a large bibliography for further reading on the state of the art in this area.
Index Terms:
formal specification; industrial-strength formal methods
Citation:
J.P. Bowen, M.G. Hinchey, "The use of industrial-strength formal methods," compsac, pp.332, COMPSAC '97 - 21st International Computer Software and Applications Conference, 1997
Usage of this product signifies your acceptance of the Terms of Use.