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

Subject Categories

Software Engineering

Computer Science

ISBN

978-3-540-68977-5

More information

Created

10/7/2017