1722 search results - page 61 / 345 » Ontology Formalism Transformation |
96
Voted
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
129
Voted
AGTIVE
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
124
click to vote
FOMI
2009
14 years 10 months ago
2009
Abstract. The paper presents the preliminary version of Ontobella - a domain ontology of beliefs. The philosophical assumptions of this system are taken from the philosophy of Roma...
110
Voted
VL
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple view...
109
click to vote
MPC
2010
Springer
15 years 5 months ago
2010
Springer
Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and...