Semantically Extended Dataflow Diagrams: A Formal Specification Tool
IEEE Transactions on Software Engineering
Experiences Using Lightweight Formal Methods for Requirements Modeling
IEEE Transactions on Software Engineering
The UML as a formal modeling notation
Computer Standards & Interfaces - Special issue on semantics in specifications
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Towards a Precise Semantics for Object-Oriented Modeling Techniques
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
An approach to integrating semi-formal and formal notations in software specification
Proceedings of the 2002 ACM symposium on Applied computing
A New UML Profile for Real-Time System Formal Design and Validation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Contributions for Modelling UML State-Charts in B
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Modeling Class Operations in B: Application to UML Behavioral Diagrams
Proceedings of the 16th IEEE international conference on Automated software engineering
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit
IEEE Transactions on Software Engineering
Proceedings of the 28th international conference on Software engineering
An integrated framework for security protocol analysis
Proceedings of the 2008 ACM symposium on Information, computer and communications security
Faithfully formalizing OSEK/VDX operating system specification
Proceedings of the Third Symposium on Information and Communication Technology
| Hi-index | 0.00 |
This paper is an overview of the panel session on integrating specification techniques that was held in the International Workshop on Industrial-strength Formal Techniques in October 22nd 1998.