1676 search results - page 29 / 336 » Formal Development of Self-organising Systems |
EDOC
2002
IEEE
14 years 1 months ago
2002
IEEE
Continuous change of user requirements has become a constant for geo-information systems. Designing systems that can adapt to such changes requires an appropriate ethodology that ...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
CICLING
2008
Springer
13 years 11 months ago
2008
Springer
In this article, we present the basic ideas of creating a new information-rich lexical database of Dutch, called Cornetto, that is interconnected with corresponding English synsets...
ICIS
2003
13 years 10 months ago
2003
ThelinkagesbetweenISandbusinessunitsarerecognizedasbeingcriticaltoinformationsystemsdevelopment processes and outcomes. Previous research has found that they are associated with b...
ZUM
1997
Springer
14 years 1 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...