Cited By
View all- Calm FWhite J(1979)An extension to algebraic specifications to incorporate state behaviorProceedings of the 1979 annual conference10.1145/800177.810070(212-220)Online publication date: 1-Jan-1979
Towards an engineering approach to software design
Abstract
The software design process is discussed from an engineering point of view. Initially, a distinction is made between software design and program design. Software design is then described in terms of evolving a system architecture independently of implementation considerations. Computation structures are introduced as a means of modeling the dynamic behavior of a software architecture. Functional completeness, quality, machine independence, and performance completeness of a design are then used as criteria for engineering design decisions. Finally, the basic elements of a system to support the software design process are described.
References
[1]
Dennis, J. B., MIT Notes on Computation Structures (1969)]]
[2]
Dennis, J. B., "A first version of a data flow procedure language," in Proc. Programming Symposium, Paris, France, (April 1974).]]
[3]
Parnas, D. L., "A technique for the specification of software modules with examples," |Comm. ACM,# 15, 5 (May 1972).]]
[4]
Liskov, B. H., and Zilles, S. N., "Specification techniques for data abstractions," IEEE Trans. Software. Engr., 1, 1 (March 1975).]]
[5]
Donahue, J., Gannon, J.D., Guttag, J. W., and Horning, J. J., "Three approaches to reliable software: language design, dyadic specification, and complimentary semantics," Technical Report 45, Computer Systems Research Group, University of Toronto, Toronto, Ont., Canada (1975).]]
[6]
Infotech State-of-the-Art Report on Performance Evaluation (1975).]]
[7]
Buston, J. N. and Randell, B. "Software engineering techniques," Report on a Conference Sponsored by the NATO Science Community, Rome Italy (1969).]]
[8]
Dijkstra, E. W., "Notes on structured programming," in Structured Programming, Academic Press (1972).]]
[9]
Mills, H. D., "Structured programming in large systems" in Debugging Techniques in Large Systems, Prentice Hall (1971).]]
[10]
N. Wirth, "Program development by step-wise refinement," Comm. ACM 14, 4 (April 1971)]]
[11]
Liskov, B. H., "A design methodology for reliable software systems," in Proc. 1072 FJCC, AFIPS Press.]]
[12]
Wulf, W., "A case against the goto," in Proc. ACM National Conference, Boston, Ma. (1972).]]
[13]
Dahl, O.J., "Hiearchical program structures," in Structured Programming, Academic Press (1972).]]
[14]
Wirth N., "The programming language PASCAL," ACTA Informatica, 1, 1 (1971).]]
[15]
Morris, J. H., "Types are not sets," in Proc. of First Symposium on the Principles of Programming Languages, Boston, Ma., (October 1973).]]
[16]
Liskov, B. H., and Zilles, S. N., "Programming with abstract data types," in Proc. ACM Conference on Very High LEvel Languages, SIGPLAN notices, 9, 4 (April 1974).]]
[17]
Wulf, W., "ALPHARD: towards a language to support structured programs," Internal Report Dept. of Computer Science, Carnegie-Mellon University, April 1974.]]
[18]
Morris, J. B., and Johnson, R. T., "Abstract data types in the MODEL programming language," in Proc. symposium on Data: Abstraction, Definition, and Structure, Salt Lake City, Utah (March 1976).]]
[19]
Lindon, T.A., "The use of abstract data types to simplify program modification," in Proc. ACM Conference on Data: Abstraction, Definition, and Structure, Salt Lake City, Utah (Mar. 1976).]]
[20]
Morris, J. B., "Structured programming - Chapter 2," in Proc. Fourth Texas Conference on Computing Systems, Austin, Texas (Nov.1975).]]
[21]
Flon, L., "Program design with abstract data types," Internal Report, Dept. of Computer Science, Carnegie-Mellon University, Pittsburgh, Pa. (June 1975).]]
[22]
Dennis, J.B., "An example of programming with abstract data types," SIGPLAN Notices 10,7 (July 1975).]]
[23]
Sholl, H. A. and Booth, T. L., "Software performance modelling using computation structures," in IEEE Trans. on Soft. Engr. 1, 4 (Dec 1975).]]
[24]
Booth, T. L., "Design of minimal expected processing time finite-state transducers," in Proc. IFIP-74, North Holland Publishing Co.]]
[25]
Teichroew, D., and Sayari, H., "Automation of system building," Datamation (August 1971).]]
[26]
Reifer, D. J., "Automated aids for reliable software," SIGPLAN Notices, 10, 6, (June 1975).]]
[27]
Ramamoorthy, C.V., and Ho, S.F., "Testing large software with automated software evaluation systems," SIGPLAN Notices, 10, 6 (June 1975).]]
[28]
Cheatham, T. E. and Townley, "A proposed system for structured programming," in Proc.Programming Symposium, Paris, France (Apr. 1974). Lecture Notes in Computer Science, Vol 19, Springer Verlag, New York.]]
[29]
Henderson, P. and Snowdon, R. A., "Some design criteria for program development tools," in Proc. IFIP-74, North Holland Publishing, Co.]]
[30]
Anderson, R. K., and White, J. R., "A system to support the structured development of complex PL/I software systems," Technical Report CS-75-9, Department of Electrical Engineering and Computer Science, Univ. of Connecticut, Storrs, Ct., (July 1975).]]
Index Terms
- Towards an engineering approach to software design
Recommendations
Casting Software Design in the Function-Behavior-Structure Framework
How does software design compare with design in other disciplines? Using a general design framework--John Gero's Function-Behavior-Structure framework--as a reference, the author contrasts the software engineering process with processes in other ...
Design issues in client-server software maintenance
Software requires maintenance because there are often some errors remaining in the system that must be removed as they are discovered. Even without errors, software frequently undergoes change. The main reason is that software must be enhanced to ...
Critical Decisions in Software Development: Updating the State of the Practice
This article focuses on how to choose the "right" software development process, how to structure global software design chains, how to manage the interaction of project structure and software design, and how to balance innovation and efficiency in a ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Sponsors
- NBS: National Bureau of Standards
- SIGSOFT: ACM Special Interest Group on Software Engineering
- IEEE-CS: Computer Society
Publisher
IEEE Computer Society Press
Washington, DC, United States
Publication History
Published: 13 October 1976
Check for updates
Author Tags
Qualifiers
- Article
Acceptance Rates
Overall Acceptance Rate 276 of 1,856 submissions, 15%
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 579Total Downloads
- Downloads (Last 12 months)51
- Downloads (Last 6 weeks)14
Reflects downloads up to 16 Nov 2024
Other Metrics
Citations
Cited By
View all- Calm FWhite J(1979)An extension to algebraic specifications to incorporate state behaviorProceedings of the 1979 annual conference10.1145/800177.810070(212-220)Online publication date: 1-Jan-1979
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