Are constructive formal specifications less abstract?
References
[1]
{1} Ada Joint Program Office (1983). Reference Manual for the Ada Programming Language. Pentagon (U. S. A.) ANSI/MIL-STD 1815 A. January 1983.
[2]
{2} B. Belkhouche and J. E. Urban (1986). Direct Implementation of Abstract Data Types from Abstract Specifications. IEEE Transactions on Software Engineering. May 1986. Vol SE-12. Num 5. 649-661.
[3]
{3} R. S. Boyer and J. S. Moore (1979). A Computational Logic. Academic Pres New York.
[4]
{4} E. W. Dijkstra (1976). A discipline of programming. Prentice Hall.
[5]
{5} H. Ehrig and B. Mahr (1985). Fundamentals of algebraic specifications 1. Equations and Initial Semantics, EATCS Monographs on Theoretical Computer Science. Springer-Verlag. Berlin.
[6]
{6} R. W. Floyd (1967). Assigning meaning to programs. Mathematical aspects of computer science. American Mathematical Society. J. T. Schartz (ed). 19-31.
[7]
{7} J. A. Goguen, J. Thatcher and E. Wagner (1978). An initial algebra approach to the specification, correctness, and implementation of abstract data types. Current trends in programming methodology. R. Yeh (ed). Prentice Hall. 80-149.
[8]
{8} J. A. Goguen (1984). Parameterized Programming. IEEE Transactions on software engineering. Vol SE-10. Num 5. September 1984. 528-543.
[9]
{9} D. E. Knuth and P. B. Bendix (1970). Simple word problems in universal algebras. Computational Problems in Abstract Algebra. J. Leech (ed). Pergamon Press. 1970. 263-297.
[10]
{10} J. Meseguer and J. A. Goguen (1985). Initiality, Induction and Computability. Algebraic Methods in Semantics. Cambridge University Press. 1985. M. Nivat and J. Reynolds (eds) 459-540.
[11]
{11} J. E. Stoy (1977). Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press. Cambridge.
[12]
{12} VADS. VERDIX Ada Development System. Version 5.41 for VAX/UNIX.
[13]
{13} I. Van Horebeek and J. Lewi (1989). Algebraic Specifications in Software Engineering. An Introduction. Springer-Verlag. Berlin.
[14]
{14} N. Wirth (1980). The Programming Language Modula-2. Report Nr. 36 IfI. ETH Zurich.
Recommendations
Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies
Creating a formal specification for a design is an error-prone process. At the same time, debugging incorrect specifications is difficult and time consuming. In this work, we propose a debugging method for formal specifications that does not require an ...
Generating Maude formal specifications from AUML diagrams
Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004In this paper, we present a formal and systematic approach allowing translating the specification of the interactions between agents, described using AUML formalism, in a Maude specification. Based on rewriting logic, the formal and object-oriented ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
May 1990
118 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/382080
- Editor:
- Richard L. Wexelblat
Copyright © 1990 Authors.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 May 1990
Published in SIGPLAN Volume 25, Issue 5
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 135Total Downloads
- Downloads (Last 12 months)17
- Downloads (Last 6 weeks)8
Reflects downloads up to 11 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in