IEEE Transactions on Software Engineering
Object-Z web environment and projections to UML
Proceedings of the 10th international conference on World Wide Web
State, event, time and diagram in system modeling
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A Formal Object Approach to the Design of ZML
Annals of Software Engineering
Modeling Aircraft Mission Computer Task Rates
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Capturing Periodic Concurrent Interactions of Mission Computer Tasks
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Multi-agent system specification using TCOZ
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
| Hi-index | 0.00 |