6581 search results - page 155 / 1317 » Formalizing Design Patterns |
149
Voted
WSPI
2008
15 years 4 months ago
2008
Many of our modern computerized activities, may they be personal, industrial or artistic, involve searching, classifying and browsing large numbers of digital objects. The tools w...
106
click to vote
ENTCS
2008
15 years 3 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
132
click to vote
JCP
2008
15 years 3 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
144
click to vote
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
106
Voted
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...