The formal specification of ORN semantics.

Bryon K. Ehlmann Naphtali Rishe Jinyu Shi

Published in: Inf. Softw. Technol. (2000)

Keyphrases

formal specification
specification languages
specification language
process algebra
model checking
object oriented design
formal methods
reverse engineering
data abstraction
concurrent systems
model checker
grid workflow
databases
artificial intelligence
information systems
cooperative