Lutess: a specification-driven testing environment for synchronous software
Proceedings of the 21st international conference on Software engineering
Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Exploiting Formality in Software Engineering
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
Config: a case study in combining software engineering techniques
Scientific Programming
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Testing from Structured Algebraic Specifications: The Veritas Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Lessons learned from rigorous system software development
Information and Software Technology
Automatic model driven animation of SCR specifications
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
An approach to testing conceptual schemas
Data & Knowledge Engineering
Proof and refutation in formal software development
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Extending the test template framework
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
| Hi-index | 0.00 |