2514 search results - page 107 / 503 » The use of industrial-strength formal methods |
138
click to vote
ICML
2002
IEEE
16 years 7 months ago
2002
IEEE
We present two results which arise from a model-based approach to hierarchical agglomerative clustering. First, we show formally that the common heuristic agglomerative clustering...
160
click to vote
CTW
2006
15 years 6 months ago
2006
This paper reports on the application of a range of human computer interaction (HCI) methods to the redesign of an electronic flight bag (EFB), as part of a commercial software dev...
147
click to vote
ECOOP
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This paper presents a mixin based class and method combination mechanism with block structure propagation. Traditionally, mixins can be composed to form new classes, poss...
126
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
135
click to vote
ICOIN
2001
Springer
15 years 10 months ago
2001
Springer
According to the progress of high-speed networks, many communication protocols are specified as concurrent systems. Such systems can be modeled as concurrent deterministic FSMs (D...