Model-Based Specification Animation Using Testgraphs
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
An automated approach to specification animation for validation
Journal of Systems and Software
Unit Testing of Z Specifications
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Automatic model driven animation of SCR specifications
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Um método de validação da conformidade entre processos e regras de negócio através da animação
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
| Hi-index | 0.00 |