Real-time object-oriented modeling
Real-time object-oriented modeling
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
The Book of Traces
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Graphical Development of Consistent System Specifications
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Consistent Graphical Specification of Distributed Systems
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Domain Consistency in Requirements Specification
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Formalization and Rule-Based Transformation of EMF Ecore-Based Models
Software Language Engineering
Library Concepts for Model Reuse
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represent different views of the same system, only together forming a complete specification. Here, the question of the integration of those description techniques and views becomes a major issue, raising questions of consistency and completeness. In this paper, we present an approach to ensuring conceptual and semantic consistency, influenced by experience gained from a first implementation of the AUTOFOCUS tool prototype. Finally, we show how this approach forms the basis for the definition of specification modules.