Heterogeneous colimits

Authors:
Mihai Codescu;Till Mossakowski
Affiliations:
-;-
Venue:
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Year:
2008

Citing 0
Cited 5

Natural Language Meets Spatial Calculi

Proceedings of the international conference on Spatial Cognition VI: Learning, Reasoning, and Talking about Space
Exploring Multi-Paradigm Modeling Techniques

Simulation
Towards a Functional Approach to Modular Ontologies using Institutions

Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Towards ontological blending

AIMSA'10 Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications
Towards a Functional Approach to Modular Ontologies Using Institutions

Studia Logica

Quantified Score

Hi-index	0.00

Visualization

Abstract

Some approaches to Model-Based Testing focus on test case generation from assertions (operation pre- and post- conditions) and invariants, e.g., written in the Object Constraint Language. In such a setting, assertions must be val- idated. Validation ...