Raymond T. Yeh, C. V. Ramamoorthy
Proceedings of the Second International Conference on Software Engineering
ICSE, 1976.
@proceedings{ICSE-1976,
acmid = "800253",
address = "San Francisco, California, USA",
editor = "Raymond T. Yeh and C. V. Ramamoorthy",
publisher = "{IEEE Computer Society}",
title = "{Proceedings of the Second International Conference on Software Engineering}",
year = 1976,
}
Contents (103 items)
- ICSE-1976-RossS #analysis #requirements
- Structured Analysis for Requirements Definition (DTR, KESJ), p. 1.
- ICSE-1976-TeichroewH #analysis #documentation #information management #named
- PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems (DT, EAHI), p. 2.
- ICSE-1976-IrvineB #automation #data transformation #re-engineering
- Automated Software Engineering Through Structured Data Management (CAI, JWB), p. 3.
- ICSE-1976-Green #design #synthesis
- The Design of the PSI Program Synthesis System (CCG), pp. 4–18.
- ICSE-1976-BarstowK #interactive #performance #synthesis
- Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System (DRB, EK), pp. 19–31.
- ICSE-1976-MannaW #correctness #proving
- Is “Sometime” Sometimes Better Than “Always”? Intermittent Assertions in Proving Program Correctness (ZM, RJW), pp. 32–39.
- ICSE-1976-KarpL #implementation #monitoring #verification
- Verification of Fairness in an Implementation of Monitors (RAK, DCL), pp. 40–46.
- ICSE-1976-Howard #monitoring
- Signaling in Monitors (JHH), pp. 47–52.
- ICSE-1976-SaxenaB #monitoring #specification #verification
- Verification of a Monitor Specification (ARS, THB), pp. 53–59.
- ICSE-1976-DavisV #development
- The Software Development System (CGD, CRV), p. 60.
- ICSE-1976-BellT #problem #question #requirements
- Software Requirements: Are They Really a Problem? (TEB, TAT), pp. 61–68.
- ICSE-1976-Alford #realtime #requirements
- A Requirements Engineering Methodology for Real-Time Processing Requirements (MWA), p. 69.
- ICSE-1976-BellBD #approach #requirements
- An Extendable Approach to Computer-Aided Software Requirements Engineering (TEB, DCB, MED), p. 70.
- ICSE-1976-BelfordBHS #development #effectiveness #named #specification
- Specifications: A Key to Effective Software Development (PCB, AFB, DGH, LSS), pp. 71–79.
- ICSE-1976-GauldingL #design #development #process #realtime
- Process Design Engineering: A Methodology for Real-Time Software Development (SNG, JDL), pp. 80–85.
- ICSE-1976-Koppang #design #development #process #set #tool support
- Process Design System: An Integrated Set of Software Development Tools (RGK), pp. 86–90.
- ICSE-1976-Salter #requirements
- A Methodology for Decomposing System Requirements Into Data Processing Requirements (KGS), pp. 91–101.
- ICSE-1976-Cooper #adaptation #testing
- Adaptive Testing (DWC), pp. 102–105.
- ICSE-1976-BensonM #development #evaluation #quality
- A Laboratory for the Development and Evaluation of BMD Software Quality Enhancement Techniques (JPB, RAM), pp. 106–109.
- ICSE-1976-BalkovichE #performance #requirements #research #specification #towards
- Research Towards a technology to Support the Specification of Data Processing System Performance Requirements (EEB, GPE), pp. 110–115.
- ICSE-1976-FreemanWF #education #re-engineering
- Essential Elements of Software Engineering Education (PF, AIW, REF), pp. 116–122.
- ICSE-1976-ParnasHW #design #operating system #product line #set #specification #system family
- Design and Specification of the Minimal Subset of an Operating System Family (DLP, GH, HW), p. 123.
- ICSE-1976-PhillipsB #design #realtime #verification
- Design and Verification of Real-Time Systems (JVP, THB), pp. 124–131.
- ICSE-1976-BallFLRR #overview #perspective
- RIG, Rochester’s Intelligent Gateway: System Overview (JEB, JAF, JRL, RFR, PR), p. 132.
- ICSE-1976-Ravi #distributed
- The Structure and Characteristics of Distributed Systems (CVR), pp. 133–137.
- ICSE-1976-Browne #evaluation #overview #performance
- A Critical Overview of Computer Performance Evaluation (JCB), pp. 138–145.
- ICSE-1976-FerrariL #empirical #performance
- An Experiment in Program Restructuring for Performance Enhancement (DF, EJL), pp. 146–150.
- ICSE-1976-BillawalaST #data type #multi #simulation
- A Data Structure and Drive Mechanism for a Table-Driven Simulation System Employing Multilevel Structural Representations of Digital Systems (NB, SAS, EWT), pp. 151–157.
- ICSE-1976-Zelkowitz #automation #evaluation #program analysis
- Automatic Program Analysis and Evaluation (MVZ), pp. 158–163.
- ICSE-1976-DolottaM
- An Introduction to the Programmer’s Workbench (TAD, JRM), pp. 164–168.
- ICSE-1976-Mashey #programming language #using
- Using a Command Language as a High-Level Programming Language (JRM), pp. 169–176.
- ICSE-1976-MasheyS #documentation #tool support
- Documentation Tools and Techniques (JRM, DWS), pp. 177–181.
- ICSE-1976-DolottaLMR
- The LEAP Load and Test Driver (TAD, JSL, REM, WDR), pp. 182–186.
- ICSE-1976-KnudsenBS
- A Modification Request Control System (DBK, AB, LRS), pp. 187–192.
- ICSE-1976-BianchiW
- A User’s Viewpoint on the Programmer’s Workbench (MHB, JLW), pp. 193–199.
- ICSE-1976-Gries #correctness #proving #source code
- An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (DG), p. 200.
- ICSE-1976-Black
- The Role of Software in Successful Computer Applications (WWB), pp. 201–205.
- ICSE-1976-DreyfusK #design #development
- The Preliminary Design as a Key to Successful Software Development (JMD, PJK), pp. 206–213.
- ICSE-1976-WhiteB #approach #design #towards
- Towards and Engineering Approach to Software Design (JRW, TLB), pp. 214–222.
- ICSE-1976-Bauer #process #programming
- Programming as an Evolutionary Process (FLB), pp. 223–234.
- ICSE-1976-JonesL #data access
- A Language Extension for Controlling Access to Shared Data (AKJ, BL), p. 235.
- ICSE-1976-SilberschatzKB #concurrent #pascal #resource management
- Extending Concurrent Pascal to Allow Dynamic Resource Management (AS, RBK, AJB), p. 236.
- ICSE-1976-Feldman #case study #programming language
- New Languages from Old: The Extension of Programming Languages by Embedding, with a Case Study (MBF), pp. 237–242.
- ICSE-1976-Eswaran #aspect-oriented #database
- Aspects of a Trigger Subsystem in an Integrated Data Base System (KPE), pp. 243–250.
- ICSE-1976-Gelenbe #multi
- A Model of Roll-Back Recovery with Multiple Checkpoints (EG), pp. 251–255.
- ICSE-1976-GoudaM #analysis #design #modelling #on the #protocol
- On the Modelling, Analysis and Design of Protocols — A Special Class of Software Structures (MGG, EGM), pp. 256–262.
- ICSE-1976-Rubin #network #on the #reliability
- On Reliable Topologies for Computer Networks (IR), pp. 263–267.
- ICSE-1976-Shooman #modelling #predict #reliability
- Structural Models for Software Reliability Prediction (MLS), pp. 268–280.
- ICSE-1976-Chandy #design #modelling
- Bayesian Models of Design Based on Intuition (KMC), pp. 281–285.
- ICSE-1976-Smith #effectiveness #in memory #memory management #on the #set
- On the Effectiveness of Set Associative Page Mapping and Its Application to Main Memory Management (AJS), pp. 286–292.
- ICSE-1976-Jazayeri #automation #programming #specification
- Formal Specification and Automatic Programming (MJ), pp. 293–296.
- ICSE-1976-Chu #design
- Introducing a Software Design Language (YC), pp. 297–304.
- ICSE-1976-TurnDR #approach #development
- A Management Approach to the Development of Computer-Based Systems (RT, MRD, RNR), pp. 305–311.
- ICSE-1976-Stephenson #analysis #development
- An Analysis of the Resources Used in the SAFEGUARD System Software Development (WES), pp. 312–321.
- ICSE-1976-Wegner #paradigm #research
- Research Paradigms in Computer Science (PW), pp. 322–330.
- ICSE-1976-Wexelblat #design #how #programming
- Maxims for Malfeasant Designers, or How to Design Languages to Make Programming as Difficult as Possible (RLW), pp. 331–336.
- ICSE-1976-BalzerGW #approach #implementation #on the #programming
- On the Transformational Implementation Approach to Programming (RB, NMG, DSW), pp. 337–344.
- ICSE-1976-LewT #programming #reliability
- Decision Table Programming and Reliability (AL, DT), pp. 345–349.
- ICSE-1976-LehmanP #evolution #re-engineering
- Program Evolution and Its Impact on Software Engineering (MML, FNP), pp. 350–357.
- ICSE-1976-Whitaker #re-engineering
- A Defense View of Software Engineering (WAW), pp. 358–362.
- ICSE-1976-PollockM #development #re-engineering
- Software Engineering in the Development of the TRIDENT Fire Control System (RMP, WLM), pp. 363–369.
- ICSE-1976-Carrow #programming #theory and practice
- Structured Programming: From Theory to Practice (JCC), pp. 370–372.
- ICSE-1976-Greene #approach #automation #development #re-engineering
- Dynamic Software Engineering: An Evolutionary Approach to Automated Software Development and Management (JSG), pp. 373–378.
- ICSE-1976-Carlson #research
- Software Research in the Department of Defense (WEC), pp. 379–383.
- ICSE-1976-Denning #flexibility #reliability
- Sacificing the Calf of Flexibility on the Altar of Reliability (PJD), pp. 384–386.
- ICSE-1976-Wilkes #programming #re-engineering
- Software Engineering and Structured Programming (MVW), p. 387.
- ICSE-1976-Mills #development
- Software Development (HDM), p. 388.
- ICSE-1976-ReynoldsY #induction #verification
- Induction as the Basis for Program Verification (CR, RTY), p. 389.
- ICSE-1976-WulfLS #source code #verification
- An Introduction to the Construction and Verification of Alphard Programs (WAW, RLL, MS), p. 390.
- ICSE-1976-GerhartY #abstraction #backtracking #programming
- Control Structure Abstractions of the Backtracking Programming Technique (SLG, LY), p. 391.
- ICSE-1976-Chow
- A Generalized Assertion Language (TSC), pp. 392–399.
- ICSE-1976-BasuM #source code
- Some Classes of Naturally Provable Programs (SKB, JM), pp. 400–406.
- ICSE-1976-McCabe #complexity
- A Complexity Measure (TJM), p. 407.
- ICSE-1976-Claybrook #data type #design
- The Design of a Template Structure for a Generalized Data Structure Definition Facility (BGC), pp. 408–413.
- ICSE-1976-GuttagHM #data type #design #specification
- The Design of Data Type Specifications (JVG, EH, DRM), pp. 414–420.
- ICSE-1976-NeumannFLR #development #multi #proving #security
- Software Development and Proofs of Multi-Level Security (PGN, RJF, KNL, LR), pp. 421–428.
- ICSE-1976-YauCC #approach #design
- An Approach to Error-Resistant Software Design (SSY, RCC, DCC), pp. 429–436.
- ICSE-1976-ParnasW
- Response to Undesired Events in Software Systems (DLP, HW), pp. 437–446.
- ICSE-1976-AndersonK #reliability
- Recovery Blocks in Action: A System Supporting High Reliability (TA, RK), pp. 447–457.
- ICSE-1976-WensleyGLS #analysis #design #fault tolerance #verification
- The Design, Analysis, and Verification of the SIFT Fault-Tolerant System (JHW, MWG, KNL, RES), pp. 458–469.
- ICSE-1976-Fabry #design #how #on the fly
- How to Design a System in Which Modules Can Be Changed on the Fly (RSF), pp. 470–476.
- ICSE-1976-Panzl #approach #testing #verification
- Test Procedures: A New Approach to Software Verification (DJP), pp. 477–485.
- ICSE-1976-PimontR #analysis #assessment #behaviour #reliability #source code
- A Software Reliability Assessment Based on a Structural and Behavioral Analysis of Programs (SP, JCR), pp. 486–491.
- ICSE-1976-Swanson #maintenance
- The Dimensions of Maintenance (EBS), pp. 492–497.
- ICSE-1976-HammerM #database #framework #semantics
- A Framework for Data Base Semantic Integrity (MH, DM), pp. 498–504.
- ICSE-1976-KerschbergOP #query #relational
- A Synthetic English Query Language for a Relational Accociative Processor (LK, EAO, JESP), pp. 505–519.
- ICSE-1976-McLeod #query
- The Translation and Compatibility of SEQUEL and Query by Example (DM), pp. 520–526.
- ICSE-1976-Stonebraker #comparison #database #relational #using
- A Comparison of the Use of Links and Secondary Indices in a Relational Data Base System (MS), pp. 527–531.
- ICSE-1976-Hsiao #design #experience #implementation #re-engineering
- A Software Engineering Experience in the Management, Design and Implementation of A Data Secure System (DKH), pp. 532–538.
- ICSE-1976-LeeSM #clustering
- Application of Clustering to Estimate Missing Data and Improve Data Integrity (RCTL, JRS, CTM), pp. 539–544.
- ICSE-1976-Miyamoto #database #programming
- Some Considerations in Database Application Programming (IM), pp. 545–555.
- ICSE-1976-Kummel #algorithm #relational
- Improved Updating in relational Dat Base Systems by Deuter-Shere Algorithms (PK), pp. 556–561.
- ICSE-1976-AlsbergD #distributed
- A Principle for Resilient Sharing of Distributed Resources (PA, JDD), pp. 562–570.
- ICSE-1976-WilhelmRCGLN #compilation #design #evaluation #generative
- Design Evaluation of the Compiler Generating System MUGI (RW, KR, JC, HG, WL, RN), pp. 571–576.
- ICSE-1976-MohanG
- An Environmental Simulator for the FDNY Computer Aided Dispatch System (JM, MG), pp. 577–584.
- ICSE-1976-ShankarC #abstraction #specification
- Dat Flow, Abstraction Levels and Specifications for Communications Switching Systems (KSS, CSC), pp. 585–591.
- ICSE-1976-BoehmBL #evaluation #quality
- Quantitative Evaluation of Software Quality (BWB, JRB, ML), pp. 592–605.
- ICSE-1976-Voges #aspect-oriented #design #validation
- Aspects of Design, Test and Validation of the Software for a Computerized Reactor Protection System (UV), pp. 606–610.
- ICSE-1976-EhrenbergerRO #program analysis #verification
- Program Analysis — A Method for the Verification of Software for the Control of a Nuclear Reactor (WDE, GR, KO), pp. 611–616.
- ICSE-1976-HodgesR #automation #evaluation
- A System for Automatic Software Evaluation (BCH, JPR), pp. 617–623.
- ICSE-1976-FosdickO #data flow #detection #interprocedural
- The Detection of Anomalous Interprocedural Data Flow (LDF, LJO), pp. 624–628.
- ICSE-1976-JessopKRS #automation #named #testing
- ATLAS — An Automated Software Testing System (WHJ, JRK, SR, JMS), pp. 629–635.
- ICSE-1976-RamamoorthyHC #automation #generative #on the #testing
- On the Automated Generation of Program Test Data (CVR, SBFH, WTC), p. 636.
19 ×#design
12 ×#development
9 ×#programming
8 ×#re-engineering
8 ×#verification
7 ×#approach
7 ×#automation
7 ×#specification
6 ×#analysis
6 ×#evaluation
12 ×#development
9 ×#programming
8 ×#re-engineering
8 ×#verification
7 ×#approach
7 ×#automation
7 ×#specification
6 ×#analysis
6 ×#evaluation