Safety Patterns - The Key to Formal Specification of Safety Requirements.

Friedemann Bitsch

Published in: SAFECOMP (2001)

Keyphrases

formal specification
specification languages
model checking
reverse engineering
real world
specification language
data abstraction
grid workflow
database systems
object oriented design
machine learning
web services
relational databases
key features
service oriented
concurrent systems