Object-oriented subsystem specification
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Aligning Logical and Psychological Perspectives on Diagrammatic Reasoning
Artificial Intelligence Review
Requirements Engineering: A Good Practice Guide
Requirements Engineering: A Good Practice Guide
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Object-Oriented Process Specification
Proceedings of the BCS-FACS Workshop on Specification and Verification of Concurrent Systems
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Aligning syntax and semantics in formalisations of visual languages
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
Towards a Formalization of Constraint Diagrams
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
A Decidable Constraint Diagram Reasoning System
Journal of Logic and Computation
Automated Theorem Proving in Euler Diagram Systems
Journal of Automated Reasoning
Visual Mathematics: Diagrammatic Formalization and Proof
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
The semantics of augmented constraint diagrams
Journal of Visual Languages and Computing
Using VCL as an aspect-oriented approach to requirements modelling
Transactions on aspect-oriented software development VII
Using VCL as an aspect-oriented approach to requirements modelling
Transactions on aspect-oriented software development VII
| Hi-index | 0.01 |
This paper presents a diagrammatic logic framework that is suitable for use in formal specification and for reasoning about and refining formal software models. We take a case study style approach to presenting the framework by developing, in some detail, an abstract model for a transparent configuration control platform. The model is built up by stages, corresponding to separate concerns of configuration control. Each successive level is a refinement of the previous level. We discuss the possibilities for developing tools to support the use of the diagrammatic logic, including automated diagram drawing and reasoning procedures. Our wider goal is to make a formal specification easier for its clients to understand.