Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The Z notation: a reference manual
The Z notation: a reference manual
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
An introduction to assertional reasoning for concurrent systems
ACM Computing Surveys (CSUR)
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
History, principles and application of the SPRINT method
Journal of Systems and Software
Design Patterns with Contracts
Design Patterns with Contracts
Notations for Software Design
Object Orientation in Z
Upgrading the Pre- and Postcondition Technique
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
A Specification Model for Interface Suites
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Supporting partial component matching
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Hi-index | 0.00 |
This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail in a way compatible with object-oriented modelling techniques (UML). The incremental nature of the levels and the underlying formal framework of ISpec allow informal interface specifications to be made formal in steps. The body of the paper consists of a discussion of the main characteristics of ISpec, which reflect the important decisions taken in the design of ISpec. The idea of component-based specifications and specification plug-ins for constructing heterogeneous specifications is discussed and a small example showing the various levels of specification supported by ISpec is presented.