Structuring Meachanisms for an Object-Oriented Formal Specification Language.

Márcio Cornélio Paulo Borba

Published in: ICSR (2000)

Keyphrases

formal specification language
temporal logic
formal methods
formal specification
object oriented
user interface
model checking
artificial intelligence
decision making
high level
distributed systems
object oriented technology