Pattern-Driven Formal Specification
Book chapter, 2006
systems modeling
formal methods
specification languages
program verification
OCL
object-oriented software
Author
Richard Bubel
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Reiner Hähnle
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Verification of Object-Oriented Software. The KeY Approach. Lecture Notes in Computer Science. Bernhard Beckert, Reiner Hähnle, Peter Schmitt (eds.)
Vol. 4334 295-315
978-3-540-68977-5 (ISBN)
Subject Categories
Software Engineering
Computer Science
ISBN
978-3-540-68977-5