loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
Making Formal Methods Work
Koblenz, Germany
September 07-September 09
ISBN: 0-7695-2435-4
ASCII Text
x 
 
Anthony Hall, "Making Formal Methods Work," Software Engineering and Formal Methods, IEEE International Conference on, pp. 261-262, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/SEFM.2005.27,
author = {Anthony Hall},
title = {Making Formal Methods Work},
journal ={Software Engineering and Formal Methods, IEEE International Conference on},
volume = {0},
year = {2005},
isbn = {0-7695-2435-4},
pages = {261-262},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.27},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering and Formal Methods, IEEE International Conference on
TI - Making Formal Methods Work
SN - 0-7695-2435-4
SP261
EP262
A1 - Anthony Hall,
PY - 2005
KW - null
VL - 0
JA - Software Engineering and Formal Methods, IEEE International Conference on
ER -
 
Anthony Hall, anthonyhall.org
As we have got better at programming, we have come to recognize that the real problems of software development cannot be solved by thinking about program code. We need to address the problems of complex and shifting user requirements in a world of rapid application development, commercial off-theshelf components and concurrent engineering. Formal methods must help us do this if they are to play a significant role in real projects.
Citation:
Anthony Hall, "Making Formal Methods Work," sefm, pp.261-262, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.