loading...
Integrating Object-Oriented Design and Deductive Verification of Software
Pune, India September 11-September 15
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.25Fourth IEEE International Conference ...
 This Article 
 
PURCHASE ARTICLE: $0
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 
 
Bernhard Beckert, Reiner Hahnle, Peter H. Schmitt, "Integrating Object-Oriented Design and Deductive Verification of Software," Software Engineering and Formal Methods, International Conference on, pp. 260, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/SEFM.2006.25,
author = {Bernhard Beckert and Reiner Hahnle and Peter H. Schmitt},
title = {Integrating Object-Oriented Design and Deductive Verification of Software},
journal ={Software Engineering and Formal Methods, International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2678-0},
pages = {260},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.25},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering and Formal Methods, International Conference on
TI - Integrating Object-Oriented Design and Deductive Verification of Software
SN - 0-7695-2678-0
SP
EP
A1 - Bernhard Beckert,
A1 - Reiner Hahnle,
A1 - Peter H. Schmitt,
PY - 2006
KW - null
VL - 0
JA - Software Engineering and Formal Methods, International Conference on
ER -
 
Bernhard Beckert, Key-project.org
Reiner Hahnle, Key-project.org
Peter H. Schmitt, Key-project.org
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages that are used in practice. The objective of this tutorial is to show how formal specification and deductive verification of object-oriented programs can be done within a software development platform that supports contemporary design and implementation methodologies.

The KeY System (developed by the tutorial presenters) is used for demonstration purposes, which implements our approach and integrates formal methods into the commercial CASE tool Borland Together Control Center 6.2 and, alternatively, the open extensible IDE Eclipse.

Citation:
Bernhard Beckert, Reiner Hahnle, Peter H. Schmitt, "Integrating Object-Oriented Design and Deductive Verification of Software," sefm, pp.260, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.