Improving the Process of System Specification and Refinement in B.

Kevin Lano Howard P. Haughton

Published in: Refine (1994)

Keyphrases

high level
case study
data structure
multiresolution
conceptual model
data sets
real world
e learning
image sequences
objective function
information technology
process model
refinement process