284 search results - page 14 / 57 » Formal Foundation for Pattern-Based Modelling |
106
Voted
ACSD
2001
IEEE
15 years 4 months ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
120
click to vote
JSS
2010
14 years 7 months ago
2010
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
128
click to vote
PET
2004
Springer
15 years 6 months ago
2004
Springer
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
100
click to vote
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
97
Voted
SLE
2009
Springer
15 years 7 months ago
2009
Springer
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...