Case Study: Specification and Refinement of the PI-Bus.

Published in: FME (1994)

Keyphrases

case study
high speed
high level
formal specification
refinement process
formal methods
lessons learned
business process
software development
real world
information retrieval
image sequences
artificial intelligence
design process
development process
databases
real time
database