default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th ICSE 1981: San Diego, CA, USA
- Seymour Jeffrey, Leon G. Stucki:
Proceedings of the 5th International Conference on Software Engineering, San Diego, California, USA, March 9-12, 1981. IEEE Computer Society 1981, ISBN 0-89791-146-6
Keynote Presentation
- Niklaus Wirth:
Lilith: A Personal Computer for the Software Engineer. 2-16
Case Studies
- Robert E. Loesh, B. Larman, P. Molko, Donald J. Reifer:
Implementing a Software Management Discipline. 17 - D. L. Paster:
Experience with Application of Modern Software Management Controls. 18-26 - David B. Wortman, James R. Cordy:
Early Experiences with Euclid. 27-33
Software Environments I
- Hans-Ludwig Hausen, Monika Müllerburg:
Conspectus of Software Engineering Environments. 34-43 - Peter H. Feiler, Raul Medina-Mora:
An Incremental Programming Environment. 44-53 - Karen E. Huff:
A Database Model for Effective Configuration Management in the Programming Environment. 54-62
Abstract Models
- James P. Black, David J. Taylor, David E. Morgan:
A Robust B-Tree Implementation. 63-70 - Christer Hultén:
An Index Organization for Applications with Highly Skewed Access Patterns. 71-78 - Nachum Dershowitz:
The Evolution of Programs: Program Abstraction and Instantiation. 79-89
Life Cycle Considerations
- Pentti Kerola, Peter Freeman:
A Comparison of Lifecycle Models. 90-99 - Takeshi Sunohara, Akira Takano, Kenji Uehara, Tsutomu Ohkawa:
Program Complexity Measure for Software Development Management. 100-106 - John W. Bailey, Victor R. Basili:
A Meta-Model for Software Development Resource Expenditures. 107-116 - Eric Chen, Marvin V. Zelkowitz:
Use of Cluster Analysis to Evaluate Software Engineering Methodologies. 117-124
Software Environments II
- Maria Heloisa (Lolo) Penedo, Daniel M. Berry, Gerald Estrin:
An Algorithm to Support Code-Skeleton Generation for Concurrent Systems. 125-135 - P. M. Cashin, Marc L. Joliat, Rym F. Kamel, D. M. Lasker:
Experience with a Modular Typed Language: PROTEL. 136-143 - Erik Sandewall, Claes Strömberg, Henrik Sörensen:
Software Architecture Based on Communicating Residential Environments. 144-152 - Motoei Azuma, M. Takahashi, Susumu Kamiya, K. Minomura:
Interactive Software Development Tool: ISDT. 153-163
Analysis of Testing Methods
- Ira R. Forman:
On the Time Overhead of Counters and Traversal Markers. 164-169 - Arthur G. Duncan, John S. Hutchison:
Using Attributed Grammars to Test Designs and Implementations. 170-178 - Joe W. Duran, Simeon C. Ntafos:
A Report on Random Testing. 179-183 - Steven J. Zeil, Lee J. White:
Sufficient Tset Sets for Path Analysis Testing Strategies. 184-194
Disciplined Approach to Real-Time Software-Design - A Look at Several Case Studies
- K. H. Britton, R. A. Parker, David Lorge Parnas:
A Procedure for Designing Abstract Interfaces for Device Interface Modules. 195-206
Human Engineering
- Sylvia B. Sheppard, Elizabeth Kruesi, Bill Curtis:
The Effects of Symbology and Spatial Arrangement on the Comprehension of Software Specifications. 207-214 - Scott N. Woodfield, Hubert E. Dunsmore, Vincent Y. Shen:
The Effect of Modularization and Comments on Program Comprehension. 215-223 - Thomas G. Moher, G. Michael Schneider:
Methods for Improving Controlled Experimentation in Software Engineering. 224-234
Program Testing Tools & Techniques
- William E. Howden:
Completeness Criteria for Testing Elementary Program Functions. 235-243 - Debra J. Richardson, Lori A. Clarke:
A Partition Analysis Method to Increase Program Reliability. 244-253 - Dorothy M. Andrews, Jeoffrey P. Benson:
An Automated Program Testing Methodology and Its Implementation. 254-262
Data Abstraction
- Paulo R. F. Cunha, T. S. E. Maibaum:
Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming. 263-272 - Richard L. Schwartz, P. M. Melliar-Smith:
The Finalization Operation for Abstract Types. 273-282 - M. L. Wilson:
A Requirements and Design Aid for Relational Data Bases. 282-294
Requirements Engineering
- Pamela Zave, Raymond T. Yeh:
Executable Requirements for Embedded Systems. 295-304 - N. Komoda, K. Haruna, H. Kaji, H. Shinozawa:
An Innovative Approach to System Requirements Analysis by Using Structural Modeling Method. 305-313 - Victor R. Basili, David M. Weiss:
Evaluation of a Software Requirements Document by Analysis of Change Data. 314-324
Design Techniques
- Y. Futamura, T. Kawai, H. Horikoshi, M. Tsutsumi:
Development of Computer Programs by Problem Analysis Diagram (PAD). 325-332 - Hassan Gomaa, D. B. H. Scott:
Prototyping as a Tool in the Specification of User Requirements. 333-342 - T. Katayama:
HFP: A Hierarchical and Functional Programming Based on Attribute Grammar. 343-353
Concurrent Systems
- Gregory R. Andrews, David P. Dobkin, Peter J. Downey:
Active Data Structures. 354-362 - Jean-Loup Baer, Georges Gardarin, Claude Girault, Gérard Roucairol:
The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology. 363-373 - Krithi Ramamritham, Robert M. Keller:
Specifying and Proving Properties of Sentinel Processes. 374-386
Interactive Systems
- Anthony I. Wasserman:
User Software Engineering and the Design of Interactive Systems. 387-393 - R. W. Lingard:
A Software Methodology for Buidling Interactive Tools. 394-399 - Nathan Relles, Lynne A. Price:
A User Interface for Online Assistance. 400-409
Programming Tools
- Eugene W. Myers, Leon J. Osterweil:
BIGMAC II: A FORTRAN Language Augmentation Tool. 410-421 - J. W. Lewis:
Beyond ALBE/P: Language Neutral Form. 422-429 - Thomas E. Cheatham Jr., Glenn H. Holloway, Judy A. Townley:
Program Refinement by Transsformation. 430-438
Program Decomposition
- Mark D. Weiser:
Program Slicing. 439-449 - Robert Balzer, Alvin S. Cooperband, Martin S. Feather, Philip E. London, David S. Wile:
Application Downloading. 450-459 - Anne Adam, Paul Y. Gloess, Jean-Pierre H. Laurent:
An Interactive Tool for Program Manipulation. 460-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-19 20:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
