completeness in formal specification language design for process-control systems
We show how UML class diagrams can be used to document design by refinement in the early design stages. This is illustrated by an example from the area of embedded real-time and hybrid systems. A precise semantics is given for the UML class diagrams by translation to the Z schema calculus.
completeness formalism formal specification language formal specification specification language language design language design process-control systems use embedding requirements review experimentation process timing paper automation informal control systems