A Weakest Precondition Semantics for Refinement of Object-Oriented Programs
IEEE Transactions on Software Engineering
Coordination Among Mobile Objects
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Developing Control Systems Components
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Verification and refinement with fine-grained action-based concurrent objects
Theoretical Computer Science - Formal methods for components and objects
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
rCOS: a refinement calculus of object systems
Theoretical Computer Science - Components and objects
Electronic Notes in Theoretical Computer Science (ENTCS)
UML in action: a two-layered interpretation for testing
ACM SIGSOFT Software Engineering Notes
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Fault-based generation of test cases from UML-Models: approach and some experiences
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
A language for modeling network availability
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Stepwise development of peer-to-peer systems
IWFM'03 Proceedings of the 6th international conference on Formal Methods
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
| Hi-index | 0.00 |