Login / Signup
The Single Transferable Voting System: Functional Decomposition in Formal Specification.
Michael Poppleton
Published in:
IWFM (1997)
Keyphrases
</>
formal specification
functional decomposition
model checking
specification languages
specification language
object oriented design
reverse engineering
formal methods
process algebra
design methodology
artificial intelligence
multi agent
relational databases
multi agent systems