Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
The Z notation: a reference manual
The Z notation: a reference manual
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
The Unified Modeling Language user guide
The Unified Modeling Language user guide
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Turning clockwise: using UML in the real-time domain
Communications of the ACM
Data Refinement: Model-Oriented Proof Methods and Their Comparison
Data Refinement: Model-Oriented Proof Methods and Their Comparison
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Hybrid Systems
A Method for the Development of Correct Software
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Graphical Formalization of Real-Time Requirements
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Object-Oriented Specification of Hybrid Systems Using UMLh and ZimOO
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Translating the OMT Dynamic Model into Object-Z
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
PLC-Automata: A New Class of Implementable Real-Time Automata
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Formalizing the UML class diagram using object-Z
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A CSP View on UML-RT Structure Diagrams
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Object models as heap invariants
Programming methodology
Formalizing UML class diagrams
UML and the unified process
Hi-index | 0.00 |
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.