1121 search results - page 79 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
116
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Agile is an iterative approach to software development that relies on strong collaboration and automation to keep pace with dynamic environments. We have successfully ...
146
click to vote
ZUM
1997
Springer
15 years 5 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
98
Voted
EDOC
2006
IEEE
15 years 7 months ago
2006
IEEE
The RM-ODP standard still provides the only comprehensive and coherent framework of concepts for the specification of complex large scale IT systems, and has taken on a new signif...
126
click to vote
ESORICS
2002
Springer
16 years 1 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
141
click to vote
PAAMS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract Many Multi-Agent Systems (MAS) methodologies incorporate a modeldriven approach. Model Driven Engineering is based on three main ideas: models are the “first-class citi...