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.
- [Bac80] Correctness Preserving Program Refinement: Proof Theory and ApplicationsMathematical Center Tracts 1311980AmsterdamMathematical CenterGoogle Scholar
- [BBM90] 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.Google Scholar
- [BaG79] Balzer, R, and Goodman, N.: Criteria for Good Specifications and their Impact on Specification Languages.Proc. IEEE Conf. on Specifications, 1979.Google Scholar
- [Boe81] Software Engineering Economics1981Englewood Cliffs, NJPrentice-HallGoogle ScholarDigital Library
- [BoM90] A Database Structure for Software Reuse1990ViennaSpringer VerlagGoogle Scholar
- [Cap78] Langage de SpecificationsThese de Doctorat es-Sciences d'Etat1978FranceInstitut National Polytechnique de GrenobleGoogle Scholar
- [CaR88] Carrington, D. and Robinson, K.: A Prototype Program Refinement Editor.Proc. 12th Australian Computer Science Conf. 1988.Google Scholar
- [Heh91] Hehner, E.C.R.: A Practical Theory of Programming. Book manuscript. Private correspondence, July 1991.Google Scholar
- [HoH86] The Weakest Pre-specificationFundamentae Informatica198695184Google Scholar
- [Hoa89] The Varieties of Programming LanguageProc. TAPSOFT'891989New YorkSpringer-VerlagGoogle Scholar
- [Lar83] Larson, L.C.:Problem-Solving Through Problems. Springer-Verlag, 1983.Google Scholar
- [LiB79] Liskov, B. and Berzins, V.: An Appraisal of Program Specifications. In:Research Directions in Software Technology, P. Wegner (ed.), MIT Press, 1979.Google Scholar
- [LiZ77] An introduction to formal specifications of data abstractionsCurrent Trends in Programming Methodology: Software Specification and Design1977Englewood Cliffs, NJPrentice HallGoogle Scholar
- [Liu77] Elements of Discrete Mathematics1977New YorkMcGraw-HillGoogle Scholar
- [Man74] Mathematical Theory of Computation1974New YorkMcGraw HillGoogle ScholarDigital Library
- [Mey85] Meyer, B.: On Formalism in Specifications.IEEE Software, January, 6–26 (1985).Google Scholar
- [MYQ86] Specification Methodology: an Integrated Relationnal ApproachSoftware Practice and Experience1986161110031030Google ScholarDigital Library
- [MDM87] Relational Heuristics for The Design of Deterministic ProgramsActa Informatica198724239276Google ScholarDigital Library
- [Mor88] The Specification StatementACM Transactions on Programming Languages and Systems1988103403419Google ScholarDigital Library
- [MoG88] 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.Google Scholar
- [MRG88] Morgan, C., Robinson, K. and Gardiner, P.:On The Refinement Calculus. Technical Monograph PRG-70. Oxford University Computing Laboratory, October 1988.Google Scholar
- [Mor87] A Theoretical Basis for Stepwise Refinement and the Programming CalculusScience of Computer Programming19879287306Google ScholarDigital Library
- [Par72] A Technique for Software Module Specification with ExamplesCommunications of the ACM19721210330336Google ScholarDigital Library
- [TrM75] Discrete Mathematical Structures with Applications to Computer Science1975New YorkMcGraw-HillGoogle ScholarDigital Library
- [TuM87] The Specification of Computer Programs1987Reading, MAAddison WesleyGoogle ScholarDigital Library
- [Win88] A Study of 12 Specifications of the Library ProblemIEEE Software1988July6676Google Scholar
Index Terms
- On the lattice of specifications: Applications to a specification methodology
Recommendations
An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks
ICFEM '97: Proceedings of the 1st International Conference on Formal Engineering MethodsCAFE is the name of a network based environment now under development for supporting systematic creation, checking, verification, and maintenance of formal specifications. CAFE has an algebraic specification language called CafeOBJ as its main ...
Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches
Annals of discrete mathematics, 24Few examples of formal specification of the semantics of user interfaces exist in the literature. This paper presents a comparison of four axiomatic approaches which we have applied to the specification of a commercial user interface-the line editor for ...
Facilitating formal specification acquisition by using recursive functions on context-free languages
Although formal specification techniques are very useful in software development, the acquisition of formal specifications is a difficult task. This paper presents the formal specification language LFC, which is designed to facilitate the acquisition ...
Comments