Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1145/800283.811103acmconferencesArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article
Free access

Design feedback and its use in software design aid systems

Published: 01 January 1978 Publication History

Abstract

It is argued that software system designers would benefit greatly from feedback about the consequences of a proposed design if this feedback could be obtained early in the development process. A taxonomy of possible types of feedback and other design aids is presented, and the capabilities of several existing design aid systems are described relative to this taxonomy.

References

[1]
N. Wirth. Toward a discipline of real-time programming. Comm. ACM 20, 8 (August 1977), 577-583.
[2]
W.E. Riddle and J.C. Wileden. Languages for representing software specifications and designs. Software Engineering Notes 3, 4 (October 1978).
[3]
W.E. Riddle. A formalism for the comparison of software analysis techniques. RSSM/29, Department of Computer and Communication Sciences, University of Michigan, July 1977.
[4]
E.W. Dijkstra. The humble programmer. Comm. ACM 15, 10 (October 1972), 864.
[5]
P. Henderson, et al. The TOPD system. Tech. Report 77, Computing Laboratory, University of Newcastle upon Tyne, England, September 1975.
[6]
P. Henderson and R.A. Snowdon. A tool for structured program development. Information Processing 74, Proceedings of IFIP Congress 74. Amsterdam: North-Holland, 1974.
[7]
P. Henderson and P. Quarendon. Finite state testing of structured programs. Lecture Notes in Computer Science 19. New York: Springer Verlag, 1974.
[8]
P. Henderson. Finite state modelling in program development. Proc. 1975 International Conf. on Reliable Software, Los Angeles, April 1975.
[9]
R.A. Snowdon. PEARL - a system for the preparation and validation of structured programs. In Program Test Methods, ed. W.C. Hetzel, pp. 57-72. Englewood Cliffs, N.J.: Prentice-Hall, 1973.
[10]
O.J. Dahl, Bjorn Myhrhaug, and Kristen Nygaard. Common Base Language. Oslo: Norwegian Computing Center, 1970.
[11]
T.E. Bell, D.E. Bixler, and M.E. Dyer. An extendable approach to computer-aided software requirements engineering. IEEE Transactions on Software Engineering, vol. SE-3, no. 1 (January 1977), 49-60.
[12]
Anonymous. Requirements Engineering and Validation System Users Manual. TRW Defense and Space Systems Group, Huntsville, Alabama, 15 July 1976.
[13]
D. Teichroew and E.A. Hershey III. PSL/PSA: A computer-aided technique for structured documentation and analysis of information processing systems. IEEE Transactions on Software Engineering, vol. SE-3, no. 1 (January 1977), 41-48.
[14]
D. Teichroew and M. Bastarache. Problem statement analyzer reports. ISDOS Working Paper No. 99, ISDOS Research Project, University of Michigan, November 1975.
[15]
W.E. Riddle, J.H. Sayler, A.R. Segal, A.M. Stavely and J.C. Wileden. A description scheme to aid the design of collections of concurrent processes. Proc. National Computer Conference 1978, Anaheim, June 1978.
[16]
W.E. Riddle, J.C. Wileden, J.H. Sayler, A.R. Segal, and A.M. Stavely. Behavior modeling during software design. IEEE Transactions on Software Engineering, vol. SE-4, no. 4 (July 1978), 283-292.
[17]
W.E. Riddle. DDN user's guide. RSSM/37, Department of Computer Science, University of Colorado, in preparation.
[18]
W.E. Riddle. Computer augmented design of complex software systems. Invited paper, Fourth Texas Conference on Computing Systems, Austin, Texas, November 1975.
[19]
J.W. Sanguinetti. Performance prediction in an operating system design methodology. RSSM/32, Department of Computer and Communication Sciences, University of Michigan, May 1977.

Cited By

View all
  • (1985)Development concerns for a software design quality expert systemProceedings of the 22nd ACM/IEEE Design Automation Conference10.5555/317825.317946(562-568)Online publication date: 1-Jun-1985
  • (1985)Development Concerns for a Software Design Quality Expert System22nd ACM/IEEE Design Automation Conference10.1109/DAC.1985.1585999(562-568)Online publication date: 1985
  • (1980)Computer-aided requirements engineeringProceedings of the ACM 1980 annual conference10.1145/800176.809992(369-381)Online publication date: 1-Jan-1980

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
Proceedings of the software quality assurance workshop on Functional and performance issues
January 1978
187 pages
ISBN:9781450373944
DOI:10.1145/800283
  • cover image ACM SIGSOFT Software Engineering Notes
    ACM SIGSOFT Software Engineering Notes  Volume 3, Issue 5
    November 1978
    182 pages
    ISSN:0163-5948
    DOI:10.1145/953579
    Issue’s Table of Contents
  • cover image ACM SIGMETRICS Performance Evaluation Review
    ACM SIGMETRICS Performance Evaluation Review  Volume 7, Issue 3-4
    November 1978
    182 pages
    ISSN:0163-5999
    DOI:10.1145/1007775
    Issue’s Table of Contents
Permission to make digital or hard copies of part or all 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 third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 January 1978

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)70
  • Downloads (Last 6 weeks)19
Reflects downloads up to 20 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (1985)Development concerns for a software design quality expert systemProceedings of the 22nd ACM/IEEE Design Automation Conference10.5555/317825.317946(562-568)Online publication date: 1-Jun-1985
  • (1985)Development Concerns for a Software Design Quality Expert System22nd ACM/IEEE Design Automation Conference10.1109/DAC.1985.1585999(562-568)Online publication date: 1985
  • (1980)Computer-aided requirements engineeringProceedings of the ACM 1980 annual conference10.1145/800176.809992(369-381)Online publication date: 1-Jan-1980

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media