Login / Signup
Ernst-Erich Doberkat über G. P. Smith: The Object-Z Specification Language.
Ernst-Erich Doberkat
Published in:
Softwaretechnik-Trends (2001)
Keyphrases
</>
specification language
description language
programming language
formal specification
error rate
moving objects
software environment
databases
object model
normal form
d objects
model checking
orders of magnitude
software engineering
bit error rate
model checker
symbolic execution
requirements specification