Institutionalising ontology-based semantic integration
Applied Ontology
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Automating Algebraic Specifications of Non-freely Generated Data Types
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Verdict functions in testing with a fault domain or test hypotheses
ACM Transactions on Software Engineering and Methodology (TOSEM)
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated Flaw Detection in Algebraic Specifications
Journal of Automated Reasoning
Proof-Guided Test Selection from First-Order Specifications with Equality
Journal of Automated Reasoning
From conditional specifications to interaction charts
Formal Methods in Software and Systems Modeling
High-level nets with nets and rules as tokens
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Improving the usability of specification languages and methods for annotation-based verification
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Institutionalising ontology-based semantic integration
Applied Ontology
Parameterisation for abstract structured specifications
Theoretical Computer Science
Hi-index | 0.00 |