Advantages of a Formal Specification of a Case - From Informal Description via Formal Specification to Realization.

Published in: BMSD (2022)

Keyphrases

formal specification
specification languages
model checking
object oriented design
specification language
formal methods
process algebra
data abstraction
reverse engineering
concurrent systems
model checker
high level
software components
formal specification language
databases
xml documents
cooperative
real world