284 search results - page 30 / 57 » Formal Foundation for Pattern-Based Modelling |
138
click to vote
ECMDAFA
2009
Springer
15 years 7 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
110
Voted
SOSYM
2008
15 years 13 days ago
2008
Abstract. The Meta Object Facility (MOF) 2.0 and the Unified Modeling Language Infrastructure introduce new language features such as subsets, (derived) unions and redefinitions, b...
127
click to vote
ADAPTIVE
2007
Springer
15 years 6 months ago
2007
Springer
Ontologies and reasoning are the key terms brought into focus by the semantic web community. Formal representation of ontologies in a common data model on the web can be taken as a...
116
Voted
ESORICS
2006
Springer
15 years 4 months ago
2006
Springer
IDS research still needs to strengthen mathematical foundations and theoretic guidelines. In this paper, we build a formal framework, based on information theory, for analyzing and...
94
Voted
DAGSTUHL
2006
15 years 1 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...