1676 search results - page 19 / 336 » Formal Development of Self-organising Systems |
TPHOL
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
APAQS
2000
IEEE
14 years 1 months ago
2000
IEEE
Although quality is not easy to evaluate since it is a complex concept compound by different aspects, several properties that make a good object-oriented design have been recogniz...
ECEASST
2006
13 years 8 months ago
2006
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
DFG
2004
Springer
14 years 17 days ago
2004
Springer
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...