A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes
IEEE Transactions on Software Engineering
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Institutions, property-aware programming and testing
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
Verdict functions in testing with a fault domain or test hypotheses
ACM Transactions on Software Engineering and Methodology (TOSEM)
Operational Termination of Membership Equational Programs: the Order-Sorted Way
Electronic Notes in Theoretical Computer Science (ENTCS)
A Formal Foundation for Metamodeling
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Implicit Propagation in Structural Operational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Second-order principles in specification languages for object-oriented programs
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Well-Founded metamodeling for model-driven architecture
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
From conditional specifications to interaction charts
Formal Methods in Software and Systems Modeling
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Automatic Documentation and Mathematical Linguistics
Executable formal specifications of complex distributed systems with CoreASM
Science of Computer Programming
| Hi-index | 0.00 |