1057 search results - page 38 / 212 » Testing from Formal Specifications, a Generic Approach |
146
click to vote
ESWS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this document we describe our approach to a specific subtask of ontology population, the extraction of instances of relations. We present a generic approach with which...
147
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
The Semantic Web requires automatic ontology population methods. We developed an approach, that given existing ontologies, extracts instances of ontology relations, a specific subt...
175
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
148
click to vote
MBEES
2010
15 years 1 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
151
click to vote
ENTCS
2010
15 years 21 days ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...