Jim Woodcock,
"First Steps in the Verified Software Grand Challenge,"
Software Engineering Workshop, Annual IEEE/NASA Goddard, pp. 203-206, 30th Annual IEEE/NASA Software Engineering Workshop SEW-30 (SEW'06), 2006.
BibTex
x
@article{
10.1109/SEW.2006.17, author = {Jim Woodcock}, title = {First Steps in the Verified Software Grand Challenge}, journal ={Software Engineering Workshop, Annual IEEE/NASA Goddard}, volume = {0}, year = {2006}, issn = {1550-6215}, pages = {203-206}, doi = {http://doi.ieeecomputersociety.org/10.1109/SEW.2006.17}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Software Engineering Workshop, Annual IEEE/NASA Goddard TI - First Steps in the Verified Software Grand Challenge SN - 1550-6215 SP203 EP206 A1 - Jim Woodcock, PY - 2006 KW - null VL - 0 JA - Software Engineering Workshop, Annual IEEE/NASA Goddard ER -
The computer science research community is collaborating to develop verification technology that will demonstrably enhance the productivity and reliability with which software is designed, developed, integrated, and maintained.
Citation:
Jim Woodcock, "First Steps in the Verified Software Grand Challenge," sew, pp.203-206, 30th Annual IEEE/NASA Software Engineering Workshop SEW-30 (SEW'06), 2006
PDF
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb