Maurice V. Wilkes, Laszlo A. Belady, Y. H. Su, Harry Hayman, Philip H. Enslow Jr.
Proceedings of the Third International Conference on Software Engineering
ICSE, 1978.
@proceedings{ICSE-1978,
acmid = "800099",
address = "Atlanta, Georgia, USA",
editor = "Maurice V. Wilkes and Laszlo A. Belady and Y. H. Su and Harry Hayman and Philip H. Enslow Jr.",
publisher = "{IEEE Computer Society}",
title = "{Proceedings of the Third International Conference on Software Engineering}",
year = 1978,
}
Contents (45 items)
- ICSE-1978-Hoare #re-engineering
- Software Engineering: A Keynote Address (CARH), pp. 1–4.
- ICSE-1978-Lindstrom #parsing #top-down #using
- Control Structure Aptness: A Cast Study Using Top-Down Parsing (GL), pp. 5–12.
- ICSE-1978-RiddleWSSS #behaviour #design #modelling
- Behavior Modelling During Software Design (WER, JCW, JHS, ARS, AMS), pp. 13–22.
- ICSE-1978-KieburtzBH #pascal
- A Type-Checking Program Linkage System for Pascal (RBK, WB, CRH), pp. 23–28.
- ICSE-1978-HamiltonM #reliability
- Measuring Reliability of Computer Center Software (PAH, JDM), pp. 29–36.
- ICSE-1978-Littlewood #how #reliability
- How to Measure Software Reliability, and How Not To (BL), pp. 37–45.
- ICSE-1978-Miyamoto #effectiveness #evaluation #reliability #towards
- Toward an Effective Software Reliability Evaluation (IM), pp. 46–55.
- ICSE-1978-FreemanW #education #re-engineering
- A Proposed Curriculum for Software Engineering Education (PF, AIW), pp. 56–62.
- ICSE-1978-PetersT #re-engineering
- A Model of Software Engineering (LJP, LLT), pp. 63–70.
- ICSE-1978-King #verification
- Prospects for Program Verification (JCK), p. 71.
- ICSE-1978-Jackson #information management #modelling
- Information Systems: Modelling, Sequencing and Transformations (MJ), pp. 72–81.
- ICSE-1978-Fisher #design #higher-order #interactive #requirements
- The Interaction Between the Preliminary Designs and the Technical Requirements for the DoD Common High Order Language (DAF), pp. 82–83.
- ICSE-1978-Stucki #how #question
- How Software is Really Engineered? (LGS), p. 84.
- ICSE-1978-PedersenB #industrial
- Kongsberg’s Road to an Industrial Software Methodology (JTP, JKB), pp. 85–93.
- ICSE-1978-BoydP #design
- Introduction to the Wellmade Design Methodology (DLB, AP), pp. 94–100.
- ICSE-1978-StephensT #requirements #verification
- Requirements Expression and Verification Aid (SAS, LLT), pp. 101–108.
- ICSE-1978-Willis #analysis #automation #design #named
- DAS: An Automated System to Support Design Analysis (RRW), pp. 109–115.
- ICSE-1978-BasiliRZ #development
- Analyzing Medium-Scale Software Development (VRB, MVZ), pp. 116–123.
- ICSE-1978-DniestrowskiGM #re-engineering
- Software Engineering in Avionics Applications (AD, JMG, RM), pp. 124–131.
- ICSE-1978-GainerKKM #design #reliability
- The Design of a Reliable Applications System (EG, EK, AAK, AM), pp. 132–135.
- ICSE-1978-BrownF #approach #graph #verification
- A Graph Theoretic Approach to the Verification of Program Structures (JRB, KFF), pp. 136–141.
- ICSE-1978-BrowneJ #generative #named #performance #program analysis
- FAST: A Second Generation Program Analysis System (JCB, DBJ), pp. 142–148.
- ICSE-1978-McClure #analysis #complexity
- A Model for Program Complexity Analysis (CLM), pp. 149–157.
- ICSE-1978-DershowitzM
- Inference Rules for Program Annotation (ND, ZM), pp. 158–167.
- ICSE-1978-AzemaAB #approach #bottom-up #communication #design #verification
- Design and Verification of Communication Procedures: A Bottom-Up Approach (PA, JMA, BB), pp. 168–174.
- ICSE-1978-MannaW #source code #synthesis
- The Synthesis of Structure Changing Programs (ZM, RJW), pp. 175–187.
- ICSE-1978-DzidaHI #interactive #quality
- User Perceived Quality of Interactive Systems (WD, SH, WDI), pp. 188–195.
- ICSE-1978-Brooks #behaviour #comprehension #re-engineering #using
- Using a Behavioral Theory of Program Comprehension in Software Engineering (REB), pp. 196–201.
- ICSE-1978-HerndonK #analysis #fault #validation
- Analysis of Error Remediation Expenditures During Validation (MAH, APK), pp. 202–206.
- ICSE-1978-BoiM #design #fault tolerance
- Design and Principles of a Fault Tolerant System (LB, PM), pp. 207–214.
- ICSE-1978-ChungG #diagrams #using
- Use of State Diagrams to Engineer Communications Software (PC, BG), pp. 215–221.
- ICSE-1978-Scott #architecture #functional
- An Engineering Methodology for Presenting Software Functional Architecture (LRS), pp. 222–229.
- ICSE-1978-CamposE #concurrent #design
- Concurrent Software System Design, Supported by SARA at the Age of One (IMC, GE), pp. 230–242.
- ICSE-1978-Wegner #research
- Research Directions in Software Technology (PW), pp. 243–259.
- ICSE-1978-Hetzel #development
- A Perspective on Software Development (BH), pp. 260–263.
- ICSE-1978-Parnas #design
- Designing Software for Ease of Extension and Contraction (DLP), pp. 264–277.
- ICSE-1978-VleckC #multi #process #programming
- The Multics System Programming Process (THVV, CTC), pp. 278–280.
- ICSE-1978-Cook #memory management
- Measuring Memory Protection (DC), pp. 281–287.
- ICSE-1978-AlmesR #file system
- An Extensible File System for Hydra (GTA, GGR), pp. 288–294.
- ICSE-1978-GoullonIL #operating system
- Dynamic Restructuring in an Experimental Operating System (HG, RI, KPL), pp. 295–304.
- ICSE-1978-Howden #empirical #testing
- Theoretical and Empirical Studies of Program Testing (WEH), pp. 305–311.
- ICSE-1978-PerschW #pascal
- Symbolic Interpretation and Tracing of PASCAL-Programs (GP, GW), pp. 312–319.
- ICSE-1978-Panzl #automation #testing
- Automatic Revision of Formal Test Procedures (DJP), pp. 320–326.
- ICSE-1978-Stern #experience
- Some Experience in Building Portable Software (MS), pp. 327–332.
- ICSE-1978-Thalmann #automaton #design #evolution
- Evolution in the Design of Abstract Machines for Software Portability (DT), pp. 333–340.
10 ×#design
5 ×#re-engineering
4 ×#reliability
4 ×#verification
3 ×#analysis
2 ×#approach
2 ×#automation
2 ×#behaviour
2 ×#development
2 ×#how
5 ×#re-engineering
4 ×#reliability
4 ×#verification
3 ×#analysis
2 ×#approach
2 ×#automation
2 ×#behaviour
2 ×#development
2 ×#how