Article

Free access

A form-based approach to human engineering methodologies

Authors:

J. RamanathanAuthors Info & Claims

ICSE '82: Proceedings of the 6th international conference on Software engineering

Pages 254 - 263

Published: 13 September 1982 Publication History

Abstract

Experience in the development and maintenance of software leads to the design of methodologies for different phases of the software engineering process. Such methodologies attempt to usefully support the programmer's thought process for re-creating only good, standard patterns of programming without limiting creativity. However methodologies, as they are generally used, are limited in their impact on software quality. In this paper we present an approach for human engineering methodologies based on forms. The advantages of using a form-based interface for a software engineering environment are discussed by focusing on the design of forms, on the impact of forms on the software engineering process, and on the improved tool support facilitated by the standardization achieved by forms.

References

[1]

Kant, E., and Barstow, D. R., "The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis", IEEE TSE, Vol. 7, No. 5, Sept. 1981.

Digital Library

[2]

Department of Defense, "Requirements for ADA Programming Support Environments", Stoneman, Feb. 1980.

[3]

Demers, A. L., Reps, T., and Teitelbaum, T., "Incremental Evaluation for Attribute Grammars, with Application to Syntax-directed Editors", Eighth Annual ACM Symposium on POPL, Williamsburg, Virginia, Jan. 1981.

Digital Library

[4]

Dungan, D. M., "Bibliography on Data Types", SIGPLAN Notices, Vol. 14, Nov. 1979.

[5]

Donzeau-Gouge, V., et al., "Programming Environments Based on Structured Editors: The MENTOR Experience", INRIA, Rocquencourt, France, May 1980.

[6]

Geschke, C. M., Morris, J. H., and Satterthwaite, E. H., "Early Experience with Mesa", CACM 20, August 1977, pp. 540-553.

Digital Library

[7]

Goguen, Thatcher, and Wagner, "Abstract Data Types as Initial Algebras and the Correctness of Data Representations", Current Trends in Programming Methodology, Editor Yeh, R., Vol. 4, Prentice-Hall, 1978.

[8]

Guttag, J., Horowitz, E., and Musser, D., "The Design of Data Type Specifications", Current Trends in Programming Methodology, Editor Yeh, R., Vol. 4, Prentice-Hall, 1978.

[9]

Jackson, M. A., Principles of Program Design, Academic Press, New York, 1975.

Digital Library

[10]

Kuo, H. C. and Ramanathan, J. "A Concept Based Tool for Standardized Program Development", COMPSAC, 1981.

[11]

Liskov, B., Snyder, A., Atkinson, R., and Schaffert, C., "Abstraction Mechanisms in CLU", CACM 20, August 1977, pp. 564-576.

Digital Library

[12]

Liskov, B., and Zilles, S., "An Introduction to Formal Specifications of Data Abstraction", Current Trends in Programming Methodology, Editor Yeh, R., Vol. 1, Prentice-Hall, 1977.

[13]

Madnick, S. E., and Donovan, J. J., Operating Systems, McGraw-Hill, 1974.

Digital Library

[14]

Ramanathan, J., and Shubra, C. J., "The Modelling of Problem Domains for Driving Program Development Systems", Eightth Annual Symposium on Principles of Programming Languages, Jan. 1981

Digital Library

[15]

Ramanathan, J., and Soni, D., "A Grammar Form Based Environment for Supporting Evolving Methodologies", submitted to Computer Languages for publication, 1982.

[16]

Riddle, W. E., "An Assessment of Dream", Department of Computer Science, University of Colorado at Boulder, March 1980.

[17]

Stay, J. F., "HIPO and Interactive Program Design", IBM Systems Journal, 1976.

[18]

Sutton, S. A., and Basili, V. R., "The Flex Software Design System: Designers Also Need Languages, Too." Computer, Vol. 14, Nov. 1981.

[19]

Wirth, N., "Lilith: A Personal Computer for the Software Engineer", Proceedings of the 5th International Conference on Software Engineering, March 1981.

Digital Library

Cited By

Koenig S(1989)(ISEF): an integrated industrial-strength software engineering frameworkProceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments10.1145/64135.65008(45-54)Online publication date: 3-Jan-1989
https://dl.acm.org/doi/10.1145/64135.65008
Koenig S(1988)(ISEF): an integrated industrial-strength software engineering frameworkACM SIGPLAN Notices10.1145/64140.6500824:2(45-54)Online publication date: 3-Nov-1988
https://dl.acm.org/doi/10.1145/64140.65008
Koenig S(1988)(ISEF): an integrated industrial-strength software engineering frameworkACM SIGSOFT Software Engineering Notes10.1145/64137.6500813:5(45-54)Online publication date: 3-Nov-1988
https://dl.acm.org/doi/10.1145/64137.65008
Show More Cited By

Index Terms

A form-based approach to human engineering methodologies
1. Software and its engineering
  1. Software creation and management
    1. Software development process management
      1. Software development methods
  2. Software notations and tools
    1. Development frameworks and environments
      1. Integrated and visual development environments

Recommendations

Applying a requirement engineering based approach to evaluate the security requirements engineering methodologies
SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing

Considering the multitude of security requirements engineering methodologies available today, selecting a security requirement engineering methodology that fits the security engineering context becomes a promising task. In previous work, we outlined a ...
Quality evaluation for Model-Driven Web Engineering methodologies

Context: There are lots of approaches or methodologies in the Model-Driven Web Engineering (MDWE) context to develop Web Applications without reaching a consensus on the use of standards and scarcity of both, practical experience and tool support. ...
Empirical Methodologies in Software Engineering
STEP '03: Proceedings of the Eleventh Annual International Workshop on Software Technology and Engineering Practice

The collection and use of evidence in Software Engineering practice and research are essential elements in the development of the discipline. This paper discusses the need for evidence-based software engineering, the nature of evidence in its various ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

ICSE '82: Proceedings of the 6th international conference on Software engineering

September 1982

439 pages

Sponsors

NBS: National Bureau of Standards
IPSJ: Information Processing Society of Japan
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 September 1982

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
325
Total Downloads

Downloads (Last 12 months)44
Downloads (Last 6 weeks)7

Reflects downloads up to 09 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Koenig S(1989)(ISEF): an integrated industrial-strength software engineering frameworkProceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments10.1145/64135.65008(45-54)Online publication date: 3-Jan-1989
https://dl.acm.org/doi/10.1145/64135.65008
Koenig S(1988)(ISEF): an integrated industrial-strength software engineering frameworkACM SIGPLAN Notices10.1145/64140.6500824:2(45-54)Online publication date: 3-Nov-1988
https://dl.acm.org/doi/10.1145/64140.65008
Koenig S(1988)(ISEF): an integrated industrial-strength software engineering frameworkACM SIGSOFT Software Engineering Notes10.1145/64137.6500813:5(45-54)Online publication date: 3-Nov-1988
https://dl.acm.org/doi/10.1145/64137.65008
Dobbs VMamrak SHealy BSchlesinger J(1985)A methodology for the design and implementation of virtual interfacesProceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective10.1145/320435.320485(158-173)Online publication date: 1-Oct-1985
https://dl.acm.org/doi/10.1145/320435.320485
Mohri TOno EUehara STakao TSato HStraeter THowden WRault J(1984)PDASProceedings of the 7th international conference on Software engineering10.5555/800054.801958(108-115)Online publication date: 26-Mar-1984
https://dl.acm.org/doi/10.5555/800054.801958
Ramanathan JShubra CBranstad MZelkowitz MSquires S(1982)Use of annotated schemes for developing prototype programsProceedings of the workshop on Rapid prototyping10.1145/1006259.1006283(141-149)Online publication date: 19-Apr-1982
https://dl.acm.org/doi/10.1145/1006259.1006283
Ramanathan JShubra C(1982)Use of annotated schemes for developing prototype programsACM SIGSOFT Software Engineering Notes10.1145/1006258.10062837:5(141-149)Online publication date: 19-Apr-1982
https://dl.acm.org/doi/10.1145/1006258.1006283

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