780 search results - page 73 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
IFM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
CADE
2009
Springer
14 years 9 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
TABLEAUX
2009
Springer
14 years 3 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
IJSWIS
2007
13 years 8 months ago
2007
An ontology is a formal representation of a domain modeling the entities in the domain and their relations. When a domain is represented by multiple ontologies, there is need for ...
DLOG
1996
1996
Resolving Semantic Heterogeneity in Databases with a Terminological Model: Correspondence Refinement
13 years 10 months ago
The success of schema integration in multidatabase systems relies heavily on the determination of complete and refined correspondence relationships between them. So, the candidate...