Compositional refinement of interactive systems
Journal of the ACM (JACM)
Deriving Software Specifications from Event Based Models
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Power simulation and its relation to traces and failures refinement
Theoretical Computer Science
ACM SIGSOFT Software Engineering Notes
Formally refining software architectures with π-ARL: a case study
ACM SIGSOFT Software Engineering Notes
Model-driven refinement of software architectures with π-ARL
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
Hi-index | 0.00 |