Object-Z web environment and projections to UML

Authors:
Jing Sun;Jin Song Dong;Jing Liu;Hai Wang
Affiliations:
Department of Computer Science, National University of Singapore;Department of Computer Science, National University of Singapore;Department of Computer Science, National University of Singapore;Department of Computer Science, National University of Singapore
Venue:
Proceedings of the 10th international conference on World Wide Web
Year:
2001

A brief history of Timed CSP

MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
The Object-Z specification language

The Object-Z specification language
Timed Communicating Object Z

IEEE Transactions on Software Engineering
Z on the Web Using Java

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
An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study

APSEC '00 Proceedings of the Seventh Asia-Pacific Software Engineering Conference
The role of secondary attributes in formal object modelling

ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
Active Objects in TCOZ

ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods

XML-Based Static Type Checking and Dynamic Visualization for TCOZ

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Z Approach to Semantic Web

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Semantic Web for Extending and Linking Formalisms

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
TCOZ approach to semantic web services design

Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Formalizing semantics of XSLT using object-Z

APWeb'03 Proceedings of the 5th Asia-Pacific web conference on Web technologies and applications
Enhanced semantic access to formal software models

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
SVG web environment for z specification language

ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
A survey of formal concept analysis support for software engineering activities

Formal Concept Analysis
Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification

Journal of Systems and Software

Hi-index	0.00