论文信息 - The complexity of formal specifications - assessments by α - metric - 字舞流文

The complexity of formal specifications - assessments by α - metric

This paper presents the use of α -- metrics in analysing and comparison of various formal specification languages.

Vili Podgorelec | Peter Kokol | Henri Habrias | Nassim Hadj Rabia

[1] Jean-Raymond Abrial,et al. The B-book - assigning programs to meanings , 1996 .

[2] Janez Brest,et al. Fractal structure of random programs , 1998, SIGP.

[3] Egon Börger,et al. Formal methods for industrial applications : specifying and programming the steam boiler control , 1996 .

[4] Peter Kokol. Long-range Correlations in Computer Programs , 1997, Cybern. Syst..

[5] Egon Börger,et al. Formal Methods for Industrial Applications , 1996, Lecture Notes in Computer Science.