Object-Z web environment and projections to UML
Proceedings of the 10th international conference on World Wide Web
A Formal Object Approach to the Design of ZML
Annals of Software Engineering
Managing Complex Documents Over the WWW: A Case Study for XML
IEEE Transactions on Knowledge and Data 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
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
Hi-index | 0.00 |