On the lattice of specifications: Applications to a specification methodology-Reference-Cited by-同舟云学术

On the lattice of specifications: Applications to a specification methodology

Published:1992-11 Issue:6 Volume:4 Page:544-571
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Boudriga Noureddine¹,Elloumi Fathi²,Mili Ali¹

Affiliation:

1. Faculty of Sciences, University of Tunis II, Tunisia

2. Faculty of Sciences, University of Sousse, Tunisia

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01211474.pdf

Reference26 articles.

1. 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.

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

Cited by 47 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Toward a theory of program repair;Acta Informatica;2023-03-27

2. What is a fault? and why does it matter?;Innovations in Systems and Software Engineering;2017-08-22

3. Projecting programs on specifications: Definition and implications;Science of Computer Programming;2017-05

4. Implementability of requirements in the four-variable model;Science of Computer Programming;2015-11

5. Nondeterministic semantics of compound diagrams;Discrete & Continuous Dynamical Systems - S;2015