Cited By
View all- Ludewig J(1982)Computer-Aided Specification of Process Control SystemsComputer10.1109/MC.1982.165402015:5(12-20)Online publication date: 1-May-1982
Contemporary software development environments
Authors: 
William Howden, Paul Cohen, Al Irvine, James King, Patricia Powell, William Riddle, Leon Stucki, Leonard TrippAuthors Info & Claims
Pages 6 - 15
References
[1]
M. W. Alford, "A Requirements Engineering Methodology for Real-time Processing Requirements, IEEE Transactions on Software Engineering, Vol SE-3, 1977.
[2]
Autoflow II Users Guide, Applied Data Research, Princeton, New Jersey.
[3]
R. Balzer, N. Goldman and D. Wile, "On the Transformational Implementation Approach to Programming," Proceedings 2nd International Conference on Software Engineering, Los Angeles, 1976.
[4]
B. Boehm, "Some Experience with Automated Aids to the Design of Large Scale Reliable Software," IEEE Transactions on Software Engineering, Vol SE-1, 1975.
[5]
J. Brown, "Getting Better Software Cheaper and Quicker," in E. Horowitz, Editor, Practical Strategies for Developing Large Software Systems, Addison-Wesley, Reading, Mass. 1975.
[6]
T. A. Budd, R. J. Lipton, and G. G. Sayward, "The Design of a Prototype Mutation System for Program Testing," Proceeding National Computer Conference, AFIPS, 1978.
[7]
S. H. Caine and K. E. Gordon, "PDL-A Tool for Software Design," National Computer Conference Proceedings, Vol 44, 1975.
[8]
E. D. Callender, "Industrial Practices to Control Computer Program Costs," SAMSO-TR-75-293, 1976.
[9]
I. M. Campos and G. Estrin, "Concurrent Software System Design Supported by SARA at the Age of One," Proceedings 3rd International Conference on Software Engineering, Atlanta, 1978.
[10]
Compare Facility, Network Operating System, CYBER Series, Control Data Corporation.
[11]
Data Manager Users Guide, MSP Inc., Lexington, Mass.
[12]
T. DeMarco, Structured Analysis and System Specification, Yourdon Inc., N.Y., 1978.
[13]
J. R. Ehrman, "The New Tower of Babel," Datamation, Feb., 1980.
[14]
D. P. Freedman and G. Weinberg, Ethnotechnical Review Guide, Ethnotech, Lincoln, Nebraska, 1979.
[15]
M. Hamilton and S. Zelden, "Higher Order Software-A Methodology for Defining Software," IEEE Transactions on Software Engineering, Vol. SE-2, 1976.
[16]
W. E. Howden, "Functional Testing and Design Abstractions," Journal of Systems and Software, (to appear).
[17]
W. E. Howden, "Applicability of Software Validation Techniques to Scientific Programs," ACM Transactions on Programming Languages and Systems, July, 1980.
[18]
W. E. Howden, "Symbolic Testing and the DISSECT Symbolic Evaluation System," IEEE Transactions on Software Engineering, Vol. SE-3, 1977.
[19]
C. A. Irvine and J. W. Brackett, "A System for Software Engineering," Infotech State-of-the-Art Report on Structured Analysis and Design, Infotech, Maidenhead, England, 1978.
[20]
M. Jackson, Principles of Program Design, Academic Press, London, 1975.
[21]
D. B. Knudsen, A. Berfsky, and L. R. Satz, "A Modification Request Control System," Proceeding 2nd International Conference on Software Engineering, Los Angeles, 1976.
[22]
Librarian User Reference Manual, Applied Data Research, Princeton, New Jersey.
[23]
I. Nassi and B. Schneiderman, "Flowchart Techniques for Structured Programming," ACM Sigplan Notices, Vol. 8, 1973.
[24]
L. J. Osterweil and L. D. Fosdick, "DAVE- A Validation Error Detection and Documentation System for FORTRAN Programs," Software Practice and Experience, 6, 1976.
[25]
D. J. Panzl, "Automatic Software Test Drivers," Computer, 11, 1978.
[26]
R. L. Patrick, "A Checklist for System Design," Datamation, January, 1980.
[27]
Program Problem Evaluator (PPE) Users Guide, Boole and Babbage, #U-D503, Palo Alto, California.
[28]
C. V. Ramamorthy and S. F. Ho, "Testing Large Software with Automated Evaluation Systems," IEEE Transactions on Software Engineering, Vol. SE-1, 1975.
[29]
Resolve Users Manual, Boole and Babbage, Palo Alto, California.
[30]
M. J. Rochkind, "The Source Code Control System," IEEE Transactions on Software Engineering, Vol SE-1, 4, 1975.
[31]
D. T. Ross and K. E. Schooman, "Structured Analysis for Requirements Definition," IEEE Transactions on Software Engineering, SE-3, January, 1977.
[32]
SADT, The Softech Approach to System Development, Softech, January, 1976.
[33]
D. J. Schultz, "A Case Study in System Integration Using the Build Approach," Proceedings ACM National Conference, 1979.
[34]
R. A. Snowden and P. Henderson, "The TOPD System for Computer-aided System Development," Infotech State-of-the-Art Report on Structured Analysis and Design, Infotech, Maidenhead, England, 1978.
[35]
J. F. Stay, "HIPO and Integrated System Design," IBM Systems Journal, 2, pp. 143--154.
[36]
S. A. Stephens and L. L. Tripp, "Requirements Expression and Verification Aid," Proceedings 3rd International Conference on Software Engineering, Atlanta, 1978.
[37]
L. G. Stucki, "New Directions in Automated Tools for Improving Software Quality," in R. T. Yeh, Editor, Current Trends in Programming Methodology, Vol. 2, Prentice-Hall, Engelwood Cliffs, N.J., 1978.
[38]
D. Teichroew and E. A. Hershey, "PSA/PSL: A Computer-aided Technique for Structured Documentation and Analysis of Information Processing Systems," IEEE Transactions on Software Engineering, Vol. SE-3, 1, 1977.
[39]
E. Yourdon, Structured Walkthroughs, Yourdon Inc., New York, 1977.
[40]
E. Yourdon and L. Constantine, Structured Design, Prentice-Hall, Englewood Cliffs, N.J., 1979.
Recommendations
Software development: what it is, what it should be, and how to get there
Developing large software systems is notoriously difficult and unpredictable. Software projects are often canceled, finish late and over budget, or yield low quality results --- setting software engineering apart from established engineering ...
Development of a Software Engineering Ontology for Multisite Software Development
This paper aims to present an ontology model of software engineering to represent its knowledge. The fundamental knowledge relating to software engineering is well described in the textbook entitled Software Engineering by Sommerville that is now in its ...
Development of software engineering: co-operative efforts from academia, government and industry
ICSE '06: Proceedings of the 28th international conference on Software engineeringIn the past 40 years, software engineering has emerged as an important sub-field of computer science. The quality and productivity of software have been improved and the cost and risk of software development been decreased due to the contributions made ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 1981 Authors.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 August 1981
Published in SIGSOFT Volume 6, Issue 4
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 331Total Downloads
- Downloads (Last 12 months)47
- Downloads (Last 6 weeks)7
Reflects downloads up to 28 Sep 2024
Other Metrics
Citations
Cited By
View all- Ludewig J(1982)Computer-Aided Specification of Process Control SystemsComputer10.1109/MC.1982.165402015:5(12-20)Online publication date: 1-May-1982
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in