Communicating sequential processes
Communicating sequential processes
Proof in VDM: a practitioner's guide
Proof in VDM: a practitioner's guide
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
The Object-Z specification language
The Object-Z specification language
IEEE Transactions on Software Engineering
Object-Z web environment and projections to UML
Proceedings of the 10th international conference on World Wide Web
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Proceedings of the 1st International Conference on Integrated Formal Methods
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
Proceedings of the Second International Conference on Integrated Formal Methods
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Proceedings of the Z User Workshop
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Visualizing Z Notation in HTML Documents
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
csp2B: A Practical Approach to Combining CSP and B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Model-Checking CSP-OZ Specifications with FDR
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
Using a Process Algebra to Control B Operations
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
Timed CSP: Theory and Practice
Proceedings of the Real-Time: Theory in Practice, REX Workshop
The state-based CCS semantics for concurrent Z specification
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
An operational semantics for ZCCS
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
The Steam Boiler in a Unified Theory of Z and CSP
APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference
Formal method integration via heterogeneous notations
Formal method integration via heterogeneous notations
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Software Modeling Techniques and the Semantic Web
Proceedings of the 26th International Conference on Software Engineering
TCOZ approach to semantic web services design
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
A semantic web environment for components
The Knowledge Engineering Review
Enhanced semantic access to formal software models
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
| Hi-index | 0.00 |
The diversity of various formal specification techniques and the need for their effective combinations requires an extensible and integrated supporting environment. The Web provides infrastructure for such an environment for formal specification and design because it allows sharing of various design models and provides hyper textual links among the models. Recently the Semantic Web Activity proposed the idea of having data on the web defined and linked in a way that it can be used for automation, extension and integration. The success of the Semantic Web may have profound impact on the web environment for formal specifications, especially for extending and integrating different formalisms. This paper demonstrates how RDF and DAML can be used to build a Semantic Web environment for supporting, extending and integrating various formal specification languages. Furthermore, the paper illustrates how RDF query techniques can facilitate specification comprehension.