Modular refinement diagrams (extended abstract)

MaRDI QIDQ4370289zbMATH OpenFDO

Authors Martin de Groot, Ken Robinson

Publication date 2 February 1998

zbMATH Keywords

model-based reasoning

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Diagram refinements for the design of reactive systems
• Correctness in refinement developments
• Modular refinement of hierarchic reactive machines
• Refinement inference for sequence diagrams
• Concurrency and refinement in the unified modeling language

This page was built for publication: Modular refinement diagrams (extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4370289)