Article

Free access

Formal module level specifications

Author:

B. P. BucklesAuthors Info & Claims

ACM '77: Proceedings of the 1977 annual conference

Pages 138 - 144

https://doi.org/10.1145/800179.810194

Published: 01 January 1977 Publication History

Abstract

SSL (Software Specification Language) is part of the growing shift of emphasis in software engineering from the latter software development phases to the earlier ones. The purpose of the language is to aid in the process of decomposing functions into subfunctions or, equivalently, systems into subsystems and modules. A formal description of the syntax and semantics exists which has enabled the construction of an automatic translator. The translator makes a series of nontrivial consistency checks based primarily on a system flow model that is assumed to exist apart from the SSL description. The essence of the flow model is captured implicitly by several features within the language.

References

[1]

Hodges, B. C.; Ryan, J. P., A System for Automatic Software Evaluation, Proc. Second Intern. Conf. on Software Engineering, San Francisco, CA. (Oct. 1976), 617-623.]]

Digital Library

[2]

Reifer, Donald J., Automated Aids for Reliable Software, Proc. Intern. Conf. on Reliable Software, Los Angeles, CA. (April 1975), 131-142.]]

Digital Library

[3]

Bracket, J. W., Experience with Module-Level Specification Methods, Computer 8, 6 (June 1975), 58-61]]

[4]

Wynne, Don, Writing Specifications for Programs, Instruments and Control Systems 46, 10 (Oct. 1973), 62-63.]]

[5]

Chu, Yaohan, Introducing a Software Design Language, Proc. Second Intern. Conf. on Software Engineering, San Francisco, CA. (Oct. 1976), 297-304.]]

Digital Library

[6]

Parnas, D. L., A technique for Software Module Specification with Examples, Comm. ACM 15, 5 (May 1972), 330-336.]]

Digital Library

[7]

Hamilton, Margaret; Zelden, Saydean, Higher Order Software—A Methodology for Defining Software, IEEE Transactions on Software Engineering SE-2, 1 (March 1976), 9-32.]]

Digital Library

[8]

Austin, Sandra L.; Buckles, Billy P.; Ryan, J. Patrick, SSL—A Software Specification Language, National Technical Information Service, N76-21931, (Jan. 1976).]]

[9]

Wegner, Peter, Programming Languages—The First 25 years, IEEE Transactions on Computers C-25, 12 (Dec. 1976), 1207-1225.]]

Digital Library

[10]

Dijkstra, E. W., The Structure of the 'THE' Multiprogramming System, Comm. ACM 11, 5 (May 1968), 341-346.]]

Digital Library

[11]

Liskov, B. H., A Design Methodology for Reliable Software Systems, Proc. AFIPS Fall Jt. Computer Conf., 41, AFIPS Press, (1972), 191-199.]]

[12]

Buckles, B. P.; Hintze, G. C., Levels of Abstraction and Compilers, Proc. ACM National Conf. Houston, TX. (Oct. 1976), 419-423.]]

Digital Library

[13]

Parnas, D. L., On the Criteria to be Used in Decomposing Systems into Modules, Comm. ACM, 15, 12 (Dec. 1972) 1053-1058.]]

Digital Library

[14]

Liskov, Barbara; Zilles, Stephen, Programming with Abstract Data Types, SIGPLAN Notices 9, 4 (April 1974), 50-59.]]

Digital Library

[15]

Goos, G., Hierarchies, Software Engineering An Advanced Course, (F. L. Bauer ed.), Springer-Verlag, New York (1974) 29-46.]]

Digital Library

[16]

Hamilton, M.; Zeldin, S., Top-Down, Bottom-Up, Structured Programming and Program Structuring, Charles S. Draper Laboratory, E2728 (Dec. 1972).]]

[17]

Hoare, C. A. R., Notes on Data Structuring, Structured Programming, Academic Press, New York (1972), 83-174.]]

Digital Library

[18]

Jensen, Kathleen; Wirth, Niklaus, PASCAL User Manual and Report, Second Edition, Springer-Verlag, New York (1975).]]

Digital Library

[19]

Yourdon, Edward; Constantine, Larry L., Structured Design Yourdon Inc., New York (1975).]]

[20]

Abrahams, Paul, Structured Programming Considered Harmful, SIGPLAN Notices 10, 4 (April 1975), 13-24.]]

Digital Library

[21]

Stevens, W. P.; Myers, G. J.; Constantine, L. L., Structured Design, IBM Sys. Journal 13, 2 (1974), 115-139.]]

[22]

. De Remer, Frank; Kron, Hans H., Programming-in-the-Large Versus Programming-in-the-Small, IEEE Transactions on Software Engineering SE-2, 2 (June 1976), 80-86.]]

Digital Library

[23]

Bridge, Robert F.; Thompson, Edward W., A Module Interface Specification Language, National Technical Information Service, AD-A012-020 (Dec. 1974).]]

Cited By

Nejmeh B(1988)The design of a PDL environmentProceedings of the 1988 ACM sixteenth annual conference on Computer science10.1145/322609.322655(287-298)Online publication date: 1-Feb-1988
https://dl.acm.org/doi/10.1145/322609.322655
Ramamoorthy CPrakash AGarg VYamaura TBhide A(1987)Issues in the Development of Large, Distributed, and Reliable SoftwareAdvances in Computers Volume 2610.1016/S0065-2458(08)60011-X(393-443)Online publication date: 1987
https://doi.org/10.1016/S0065-2458(08)60011-X
Sutton SBasili V(1981)Special FeatureComputer10.1109/C-M.1981.22025714:11(95-102)Online publication date: 1-Nov-1981
https://dl.acm.org/doi/10.1109/C-M.1981.220257

Index Terms

Formal module level specifications
1. Social and professional topics
  1. Professional topics
    1. Management of computing and information systems
      1. Software management
2. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis

Recommendations

Structured formal specifications
On the execution of high level formal specifications
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 ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

ACM '77: Proceedings of the 1977 annual conference

January 1977

505 pages

ISBN:9781450339216

DOI:10.1145/800179

Copyright © 1977 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

ACM: Association for Computing Machinery

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 January 1977

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ACM '77

Sponsor:

ACM

October 16 - 19, 1977

Washington, Seattle

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
229
Total Downloads

Downloads (Last 12 months)37
Downloads (Last 6 weeks)13

Reflects downloads up to 20 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Nejmeh B(1988)The design of a PDL environmentProceedings of the 1988 ACM sixteenth annual conference on Computer science10.1145/322609.322655(287-298)Online publication date: 1-Feb-1988
https://dl.acm.org/doi/10.1145/322609.322655
Ramamoorthy CPrakash AGarg VYamaura TBhide A(1987)Issues in the Development of Large, Distributed, and Reliable SoftwareAdvances in Computers Volume 2610.1016/S0065-2458(08)60011-X(393-443)Online publication date: 1987
https://doi.org/10.1016/S0065-2458(08)60011-X
Sutton SBasili V(1981)Special FeatureComputer10.1109/C-M.1981.22025714:11(95-102)Online publication date: 1-Nov-1981
https://dl.acm.org/doi/10.1109/C-M.1981.220257

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents