Using Lava to design and verify recursive and periodic sorters.

Koen Claessen Mary Sheeran Satnam Singh

Published in: Int. J. Softw. Tools Technol. Transf. (2003)

Keyphrases

design process
case study
hidden markov models
building blocks
engineering design
databases
learning algorithm
information systems
decision making
web pages
e learning
user interface
software architecture
conceptual framework