WFRF:(Wojciech W)
Search: WFRF:(Wojciech W) > (2002-2004) > The KeY System: Int...
- 1 of 6
- Previous record
- Next record
- To hitlist
- Ahrendt, Wolfgang,1967Chalmers tekniska högskola,Chalmers University of Technology (author)
The KeY System: Integrating Object-Oriented Design and Formal Methods
- Article/chapterEnglish2002
Publisher, publication year, extent ...
- 2002-03-15
- Berlin, Heidelberg :Springer Berlin Heidelberg,2002
Numbers
- LIBRIS-ID:oai:research.chalmers.se:a827ff80-7b1d-45cf-8f57-18e9b0cd398b
- ISBN:9783540433538
- https://doi.org/10.1007/3-540-45923-5_23DOI
- https://research.chalmers.se/publication/170479URI
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Notes
- This paper gives a brief description of the KeY system, a tool written as part of the ongoing KeY project1, which is aimed at bridging the gap between (a) OO software engineering methods and tools and (b) deductive verification. The KeY system consists of a commercial CASE tool enhanced with functionality for formal specification and deductive verification.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
- Baar, T. (author)
- Beckert, B. (author)
- Giese, Martin,1970 (author)
- Habermalz, E. (author)
- Hähnle, Reiner,1962Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)reiner (author)
- Menzel, W. (author)
- Mostowski, Wojciech,1976Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)woj (author)
- Schmitt, P. (author)
- Chalmers tekniska högskola (creator_code:org_t)
Related titles
- In:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Berlin, Heidelberg : Springer Berlin Heidelberg2306, s. 327-3301611-33490302-97439783540433538
Internet link
Find in a library
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artifici... (Search for host publication in LIBRIS)
To the university's database
- 1 of 6
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Ahrendt, Wolfgan ...
- Baar, T.
- Beckert, B.
- Giese, Martin, 1 ...
- Habermalz, E.
- Hähnle, Reiner, ...
- show more...
- Menzel, W.
- Mostowski, Wojci ...
- Schmitt, P.
- show less...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- Articles in the publication
- Lecture Notes in ...
- By the university
- Chalmers University of Technology
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
