Meir M. Lehman, Horst Hünke, Barry W. Boehm
Proceedings of the Eighth International Conference on Software Engineering
ICSE, 1985.
@proceedings{ICSE-1985,
acmid = "319568",
address = "London, England, United Kingdom",
editor = "Meir M. Lehman and Horst Hünke and Barry W. Boehm",
isbn = "0-8186-0620-7",
publisher = "{IEEE Computer Society}",
title = "{Proceedings of the Eighth International Conference on Software Engineering}",
year = 1985,
}
Contents (49 items)
- ICSE-1985-Rosenberg #named
- PRISM — Productivity Improvement for Software Engineers and Managers (DR), pp. 2–7.
- ICSE-1985-HorowitzW #documentation #named
- SODOS — A Software Documentation Support Environment: Its Use (EH, RW), pp. 8–14.
- ICSE-1985-Madhavji #programming
- Operations for Programming in the All (NHM), pp. 15–25.
- ICSE-1985-Vefsnmo #communication #quality #quote #re-engineering
- “DASOM” — A Software Engineering Tool for Communication Applications Increasing Productivity and Software Quality (EAMV), pp. 26–35.
- ICSE-1985-YellinM #attribute grammar
- Two-Way Translators Based on Attribute Grammar Inversion (DMY, EMMM), pp. 36–42.
- ICSE-1985-StempleS #database #development
- Database Theory for Supporting Specification-Based Database Systems Development (DWS, TS), pp. 43–49.
- ICSE-1985-Chen #development #formal method #functional #implementation #programming
- Extending the Implementation Scheme of Functional Programming System FP for Supporting the Formal Software Development Methodology (QC), pp. 50–54.
- ICSE-1985-VolpanoK
- Software Templates (DMV, RBK), pp. 55–61.
- ICSE-1985-BuhrWKLL #design #multi #prolog #tool support
- Experiments with Prolog Design Descriptions and Tools in CAEDE: An Iconic Design Environment for Multitasking, Embdedded Systems (RJAB, CMW, GMK, KVDL, DGL), pp. 62–67.
- ICSE-1985-HendersonW #execution
- Continous Execution: The VisiProg Environment (PBH, MW), pp. 68–74.
- ICSE-1985-WolfCW #development #incremental #interface
- Interface Control and Incremental Development in the PIC Environment (ALW, LAC, JCW), pp. 75–82.
- ICSE-1985-LudewigGHMMS #design #interface #named #specification #visual notation
- SPADES — A Specification and Design System and Its Graphical Interface (JL, MG, HH, GM, HM, MFS), pp. 83–91.
- ICSE-1985-MinskyL
- Ensuring Integrity by Adding Obligations to Privileges (NHM, AL), pp. 92–102.
- ICSE-1985-BarthGB #architecture #data flow #realtime
- The Stream Machine: A Data Flow Architecture for Real-Time Applications (PB, SBG, DRB), pp. 103–110.
- ICSE-1985-StavelyBOT #concurrent #design #tool support
- A Collection of Software Tools for Analyzing Design of Concurrent Software Systems (AMS, DCB, SPO, GBT), pp. 111–118.
- ICSE-1985-PottsBCM #design #simulation #specification #validation
- Discrete Event Simulation as a Means of Validating JSD Design Specifications (CP, AB, BHC, RM), pp. 119–127.
- ICSE-1985-ParnasW #design
- Active Design Reviews: Principles and Practices (DLP, DMW), pp. 132–136.
- ICSE-1985-CrawfordF #development #process
- Software Development Process Audits — A General Procedure (SGC, MHF), pp. 137–141.
- ICSE-1985-SunazukaAY #assessment #quality
- Software Quality Assessment Technology (TS, MA, NY), pp. 142–149.
- ICSE-1985-PenedoS #database #named #re-engineering
- PMDB — A Project Master Database for Software Engineering Environments (MH(P, EDS), pp. 150–157.
- ICSE-1985-Meyer #knowledge base
- The Software Knowledge Base (BM), pp. 158–165.
- ICSE-1985-MorrisonDBBA #persistent
- The Persistent Store as an Enabling Technology for Integrated Project Support (RM, AD, PJB, ALB, MPA), pp. 166–173.
- ICSE-1985-Petschenik #testing
- Building Awareness of System Testing Issues (NHP), pp. 182–188.
- ICSE-1985-RedwineR #maturity
- Software Technology Maturation (STRJ, WER), pp. 189–200.
- ICSE-1985-Schaul #design #education #overview #re-engineering #using
- Design Using Software Engineering Principles: Overview of an Educational Program (MS), pp. 201–209.
- ICSE-1985-Lee #execution #modelling #on the #prototype #rule-based
- On Executable Models for Rule-Based Prototyping (SL), pp. 210–215.
- ICSE-1985-HooperEJ #distributed #prototype
- Distributed Software Prototyping with ADS (JWH, JTE, TAJ), pp. 216–223.
- ICSE-1985-Tavendale #prototype #specification
- A Technique for Prototyping Directly from a Specification (RDT), pp. 224–229.
- ICSE-1985-BrunoM #agile #petri net #prototype #using
- Rapid Prototyping of Control Systems Using High Level Petri Nets (GB, GM), pp. 230–237.
- ICSE-1985-WhiteS #testing
- Experiments Determining Best Paths for Testing Computer Program Predicates (LJW, PNS), pp. 238–243.
- ICSE-1985-ClarkePRZ #comparison #data flow
- A Comparison of Data Flow Path Selection Criteria (LAC, AP, DJR, SJZ), pp. 244–251.
- ICSE-1985-PeschSSS #generative #prolog #testing #using
- Test Case Generation Using Prolog (HP, PS, HS, APS), pp. 252–258.
- ICSE-1985-HedleyH #source code
- The Causes and Effects of Infeasible Paths in Computer Programs (DH, MAH), pp. 259–267.
- ICSE-1985-DeMarcoL #performance
- Programmer Performance and the Effects of the Workplace (TD, TL), pp. 268–272.
- ICSE-1985-Manley #process #re-engineering
- Software Engineering Provisioning Process (JHM), pp. 273–284.
- ICSE-1985-HattoriKW #ada #comparison #lisp #programming #prolog
- A Comparison of Lisp, Prolog, and Ada Programming Productivity an AI Areas (FH, KK, TW), pp. 285–291.
- ICSE-1985-MiyazakiM #evaluation
- COCOMO Evaluation and Tailoring (YM, KM), pp. 292–301.
- ICSE-1985-RamseyB #process #testing #using
- Analyzing the Test Process Using Structural Coverage (JR, VRB), pp. 306–312.
- ICSE-1985-GirgisW #analysis #data flow #testing #using
- An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis (MRG, MRW), pp. 313–319.
- ICSE-1985-FrancescoLV #concurrent #debugging #interactive
- An Interactive Debugger for a Concurrent Language (NDF, DL, GV), pp. 320–329.
- ICSE-1985-TakahashiK #empirical #fault #predict
- An Empirical Study of a Model for Program Error Prediction (MT, YK), pp. 330–336.
- ICSE-1985-KnightA #evaluation #fault
- An Experimental Evaluation of Simple Methods for Seeding Program Errors (JCK, PA), pp. 337–342.
- ICSE-1985-MillerS
- Completely Monotone Regression Estimates of Software Failure Rates (DRM, AS), pp. 343–349.
- ICSE-1985-ShimizuS #automation #embedded #multi #realtime #source code
- Automatic Tuning of Multi-Task Programs for Real-Time Embedded Systems (TS, KS), pp. 350–357.
- ICSE-1985-Fukunaga #comprehension #knowledge base #named
- PROMPTER: A Knowledge Based Support Tool for Code Understanding (KF), pp. 358–363.
- ICSE-1985-StephensW #analysis #design
- The Analyst — A Workstation for Analysis and Design (MS, KW), pp. 364–371.
- ICSE-1985-CardPM #composition
- Criteria for Software Modularization (DNC, GTP, FEM), pp. 372–377.
- ICSE-1985-KafuraC #metric #using #validation
- A Validation of Software Metrics Using Many Metrics and Two Resources (DGK, JC), pp. 378–385.
- ICSE-1985-BasiliS #metric #set #using
- Calculation and Use of an Environment’s Characteristic Software Metric Set (VRB, RWS), pp. 386–393.
7 ×#design
6 ×#using
5 ×#named
5 ×#testing
4 ×#development
4 ×#prototype
4 ×#re-engineering
3 ×#data flow
3 ×#process
3 ×#programming
6 ×#using
5 ×#named
5 ×#testing
4 ×#development
4 ×#prototype
4 ×#re-engineering
3 ×#data flow
3 ×#process
3 ×#programming