Toward a Mathematical Foundation of Software Engineering Methods
IEEE Transactions on Software Engineering
A comparison of Statecharts step semantics
Theoretical Computer Science
Formal Verification and Hardware Design with Statecharts
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
µ-Chart-Based Specification and Refinement
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
mu-Charts and Z: Hows, Whys, and Wherefores
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Object-oriented programming and software development: a critical assessment
Programming methodology
Logic and refinement for charts
ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
What is in a step: new perspectives on a classical question
Time for verification
A common framework for synchronization in requirements modelling languages
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
| Hi-index | 0.00 |