1856 search results - page 78 / 372 » Formal Dialectic Specification |
148
Voted
FASE
2008
Springer
15 years 4 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
120
Voted
INFSOF
2006
15 years 2 months ago
2006
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
119
Voted
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...
174
Voted
ODR
2008
15 years 4 months ago
2008
The paper has two goals: firstly, we explain how ontology mapping formalisms can be used to denote the many interpretations of a given legal concept; secondly, we provide a short c...
97
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assi...