On the lattice of specifications: Applications to a specification methodology

Formal Aspects of Computing - 1992
Noureddine Boudriga1, Fathi Elloumi2, Ali Mili1
1Faculty of Sciences, University of Tunis II, Tunisia
2Faculty of Sciences, University of Sousse, Tunisia

Tóm tắt

Abstract

In this paper we investigate the lattice properties of the natural ordering between specifications, which expresses that a specification expresses a stronger requirement than another specification. The lattice-like structure that we uncover is used as a basis for a specification methodology.

Từ khóa


Tài liệu tham khảo

Back R.J.R., 1980, Mathematical Center Tracts 131

Backhouse R.C. de Bruin P.J. Malcolm G. and van der Woude J.: A Relational Theory of Types . Document 638 BUR-3. IFIP Working Group 2.1 Meeting Manchester UK May 1990.

Balzer R and Goodman N.: Criteria for Good Specifications and their Impact on Specification Languages. Proc. IEEE Conf. on Specifications 1979.

10.5555/539425

Boudriga N., 1990, A Database Structure for Software Reuse

Caplain M., 1978, These de Doctorat es-Sciences d'Etat

Carrington D. and Robinson K.: A Prototype Program Refinement Editor. Proc. 12th Australian Computer Science Conf. 1988.

Hehner E.C.R.: A Practical Theory of Programming. Book manuscript. Private correspondence July 1991.

Hoare C.A.R., 1986, The Weakest Pre-specification, Fundamentae Informatica, 9, 51

Hoare C.A.R., 1989, Proc. TAPSOFT'89

Larson L.C.: Problem-Solving Through Problems . Springer-Verlag 1983.

Liskov B. and Berzins V.: An Appraisal of Program Specifications. In: Research Directions in Software Technology P. Wegner (ed.) MIT Press 1979.

Liskov B., 1977, Current Trends in Programming Methodology: Software Specification and Design

Liu C.L., 1977, Elements of Discrete Mathematics

Manna Z., 1974, Mathematical Theory of Computation

Meyer B.: On Formalism in Specifications. IEEE Software January 6–26 (1985).

Mili A., 1986, Specification Methodology: an Integrated Relationnal Approach, Software Practice and Experience, 16, 1003, 10.1002/spe.4380161105

10.5555/25591.25592

10.1145/44501.44503

Morgan C. and Gardiner P.H.B.: Data Refinement by Calculation . In: On The Refinement Calculus . C. Morgan K. Robinson and P. Gardiner (eds.) Technical Monograph PRG-70. Oxford University Computing Laboratory October 1988.

Morgan C. Robinson K. and Gardiner P.: On The Refinement Calculus . Technical Monograph PRG-70. Oxford University Computing Laboratory October 1988.

10.1016/0167-6423(87)90011-6

10.1145/355602.361309

10.5555/578739

10.5555/26922

Wing J., 1988, A Study of 12 Specifications of the Library Problem, IEEE Software, 66, 10.1109/52.17803

Thông tin
Thông tin xuất bản

Formal Aspects of Computing

Thông tin tác giả