Formal Specification of Opinions Applied to the Consensus Problem.

Guillaume Vauvert Amal El Fallah Seghrouchni

Published in: IBERAMIA (2002)

Keyphrases

formal specification
object oriented design
real world
model checking
reverse engineering
artificial intelligence
high level
database systems
software maintenance
formal methods
specification language
grid workflow