article

Free access

A technique for software module specification with examples

Author:

D. L. ParnasAuthors Info & Claims

Communications of the ACM, Volume 15, Issue 5

Pages 330 - 336

https://doi.org/10.1145/355602.361309

Published: 01 May 1972 Publication History

PDF eReader

Abstract

This paper presents an approach to writing specifications for parts of software systems. The main goal is to provide specifications sufficiently precise and complete that other pieces of software can be written to interact with the piece specified without additional information. The secondary goal is to include in the specification no more information than necessary to meet the first goal. The technique is illustrated by means of a variety of examples from a tutorial system.

References

[1]

Buxton, J.N. and Randell, B. (Eds.), Software Engineering Methods. Report of a conference sponsored by the NATO Science Committee, Rome, Italy, 27-31 October 1969.

Google Scholar

[2]

Parnas, D.L. Information Distribution Aspects of Design Methodology. Technical Report, Depart. of Comput. Science, Carnegie-Mellon U., Feb., 1971. Presented at the IFIP Congress, 1971, Ljubljana, Yugoslavia, and included in the proceedings.

Google Scholar

[3]

Floyd, R.W. Treesort 3 Algorithm 245. Comm. ACM 7, 12 (Dec. 1964), 701.

Digital Library

Google Scholar

[4]

Hoare, C.A.R. Proof of a program, FIND. Comm. ACM 14, 1 (Jan. 1971), 39-45.

Digital Library

Google Scholar

[5]

Wirth, N. and H. Weber. Euler: A generalization of ALGOL and its formal definition. Comm. ACM 9, 1 (Jan. 1966), 13-23.

Digital Library

Google Scholar

[6]

Parnas, D.L., Sample Specification for the Man Machine Interface. Presented at the NATO Advanced Study Institute on Graphics and the Man Machine Interface, April 1971, Erlangen, West Germany (to be included in the proceedings of that institute).

Google Scholar

Cited By

View all

Schick JWagner MLippe W(2024)Graphical and Textual Models Embedded in a Constructor-Driven Transformation2024 IEEE 18th International Conference on Semantic Computing (ICSC)10.1109/ICSC59802.2024.00065(226-230)Online publication date: 5-Feb-2024
https://doi.org/10.1109/ICSC59802.2024.00065
Liu BTyszberowicz SLiu Z(2024)The rCOS framework for multi-dimensional separation of concerns in model-driven engineeringJournal of Systems Architecture10.1016/j.sysarc.2024.103287156(103287)Online publication date: Nov-2024
https://doi.org/10.1016/j.sysarc.2024.103287
Baldwin CBogers MKapoor RWest J(2024)Focusing the ecosystem lens on innovation studiesResearch Policy10.1016/j.respol.2023.10494953:3(104949)Online publication date: Apr-2024
https://doi.org/10.1016/j.respol.2023.104949
Show More Cited By

Recommendations

A technique for software module specification with examples
Special 25th Anniversary Issue

This paper presents an approach to writing specifications for parts of software systems. The main goal is to provide specifications sufficiently precise and complete that other pieces of software can be written to interact with the piece specified ...
Design and Implementation of a Tool for Specifying Specification in SOFL
Revised Selected Papers of the Second International Workshop on Structured Object-Oriented Formal Language and Method - Volume 7787

Structure Object-oriented Formal Language SOFL is not just a formal language for writing formal specification. It is also an approach and a methodology. SOFL provides a three-step approach for modelling a software system using formal specification. ...
Specs: Making Formal Techniques Usable

Specs, one of the RACE I programming-infrastructure projects, designed to improve software engineering for integrated, broadband communication, is described. Specs is a development methodology that maximizes the automation of telecommunications-software ...

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 15, Issue 5

May 1972

105 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/355602

Editor:
M. Stuart Lynn
Rice Univ., Houston, TX

Issue’s Table of Contents

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 1972

Published in CACM Volume 15, Issue 5

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

580
Total Citations
View Citations
3,138
Total Downloads

Downloads (Last 12 months)454
Downloads (Last 6 weeks)39

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Schick JWagner MLippe W(2024)Graphical and Textual Models Embedded in a Constructor-Driven Transformation2024 IEEE 18th International Conference on Semantic Computing (ICSC)10.1109/ICSC59802.2024.00065(226-230)Online publication date: 5-Feb-2024
https://doi.org/10.1109/ICSC59802.2024.00065
Liu BTyszberowicz SLiu Z(2024)The rCOS framework for multi-dimensional separation of concerns in model-driven engineeringJournal of Systems Architecture10.1016/j.sysarc.2024.103287156(103287)Online publication date: Nov-2024
https://doi.org/10.1016/j.sysarc.2024.103287
Baldwin CBogers MKapoor RWest J(2024)Focusing the ecosystem lens on innovation studiesResearch Policy10.1016/j.respol.2023.10494953:3(104949)Online publication date: Apr-2024
https://doi.org/10.1016/j.respol.2023.104949
Lee EIlseven EPuranam P(2023)Scaling Non-hierarchically: A Theory of Conflict-free Organizational Growth with Limited Hierarchical GrowthSSRN Electronic Journal10.2139/ssrn.4506650Online publication date: 2023
https://doi.org/10.2139/ssrn.4506650
Waszek D(2023)Informational Equivalence but Computational Differences? Herbert Simon on Representations in Scientific PracticeMinds and Machines10.1007/s11023-023-09630-434:S1(93-116)Online publication date: 17-Mar-2023
https://doi.org/10.1007/s11023-023-09630-4
Liu ZTeng JLiu B(2023)Multi-dimensional Abstraction and Decomposition for Separation of ConcernsDependable Software Engineering. Theories, Tools, and Applications10.1007/978-981-99-8664-4_9(152-170)Online publication date: 27-Nov-2023
https://dl.acm.org/doi/10.1007/978-981-99-8664-4_9
Maurer CMaurer C(2023)Grundzüge objektbasierter EntwicklungObjektbasierte Programmierung mit Go10.1007/978-3-658-42014-7_1(3-16)Online publication date: 4-Oct-2023
https://doi.org/10.1007/978-3-658-42014-7_1
Hu CHu C(2023)Design of MethodsAn Introduction to Software Design10.1007/978-3-031-28311-6_4(75-103)Online publication date: 25-Jul-2023
https://doi.org/10.1007/978-3-031-28311-6_4
Lee EIlseven EPuranam P(2023)Scaling nonhierarchically: A theory of conflict‐free organizational growth with limited hierarchical growthStrategic Management Journal10.1002/smj.354144:12(3042-3064)Online publication date: 31-Jul-2023
https://doi.org/10.1002/smj.3541
Shaw M(2022)Myths and mythconceptions: what does it mean to be a programming language, anyhow?Proceedings of the ACM on Programming Languages10.1145/34809474:HOPL(1-44)Online publication date: 4-Apr-2022
https://dl.acm.org/doi/10.1145/3480947
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

Abstract

References

Cited By

Recommendations