284 search results - page 10 / 57 » Formal Foundation for Pattern-Based Modelling |
93
Voted
JSW
2008
15 years 16 days ago
2008
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
ISIM
2007
15 years 2 months ago
2007
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
ENTCS
2007
15 years 16 days ago
2007
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
96
Voted
ESWS
2008
Springer
15 years 2 months ago
2008
Springer
The goal of this paper is to give an overview of the basics of the theory of RDF databases. We provide a formal definition of RDF that includes the features that distinguish this m...
82
Voted
FOIS
2008
15 years 2 months ago
2008
The purpose of this paper is to examine different modelling strategies available in a multiplicative formal ontology, and the principles that drive their choice. This study is base...