Conferences in DBLP
Douglas T. Ross , Kenneth E. Schoman Jr. Structured Analysis for Requirements Definition (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Teichroew , Ernest A. Hershey III PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems (Abstract). [Citation Graph (1, 0)][DBLP ] Conf ] C. A. Irvine , John W. Brackett Automated Software Engineering Through Structured Data Management (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] C. Cordell Green The Design of the PSI Program Synthesis System. [Citation Graph (1, 0)][DBLP ] Conf ] David R. Barstow , Elaine Kant Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System. [Citation Graph (0, 0)][DBLP ] Conf ] Zohar Manna , Richard J. Waldinger Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in Proving Program Correctness. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Alan Karp , David C. Luckham Verification of Fairness in an Implementation of Monitors. [Citation Graph (0, 0)][DBLP ] Conf ] John H. Howard Signaling in Monitors. [Citation Graph (0, 0)][DBLP ] Conf ] A. R. Saxena , Thomas H. Bredt Verification of a Monitor Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Carl G. Davis , Charles R. Vick The Software Development System (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Thomas E. Bell , T. A. Thayer Software Requirements: Are They Really a Problem? [Citation Graph (0, 0)][DBLP ] Conf ] Mack W. Alford A Requirements Engineering Methodology for Real-Time Processing Requirements (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Thomas E. Bell , David C. Bixler , Margaret E. Dyer An Extendable Approach to Computer-Aided Software Requirements Engineering (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] P. C. Belford , A. F. Bond , D. G. Henderson , L. S. Sellers Specifications: A Key to Effective Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] S. N. Gaulding , J. D. Lawson Process Design Engineering: A Methodology for Real-Time Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] R. G. Koppang Process Design System: An Integrated Set of Software Development Tools. [Citation Graph (0, 0)][DBLP ] Conf ] K. G. Salter A Methodology for Decomposing System Requirements Into Data Processing Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] D. W. Cooper Adaptive Testing. [Citation Graph (0, 0)][DBLP ] Conf ] J. P. Benson , R. A. Melton A Laboratory for the Development and Evaluation of BMD Software Quality Enhancement Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Edward E. Balkovich , G. P. Engelberg Research Towards a technology to Support the Specification of Data Processing System Performance Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Freeman , Anthony I. Wasserman , Richard E. Fairley Essential Elements of Software Engineering Education. [Citation Graph (0, 0)][DBLP ] Conf ] David Lorge Parnas , Georg Handzel , Harald Würges Design and Specification of the Minimal Subset of an Operating System Family (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] J. V. Phillips , Thomas H. Bredt Design and Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] J. Eugene Ball , Jerome A. Feldman , James R. Low , Richard F. Rashid , Paul Rovner RIG, Rochester's Intelligent Gateway: System Overview (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] C. V. Ravi The Structure and Characteristics of Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] James C. Browne A Critical Overview of Computer Performance Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Domenico Ferrari , Edwin J. Lau An Experiment in Program Restructuring for Performance Enhancement. [Citation Graph (0, 0)][DBLP ] Conf ] N. Billawala , Stephen A. Szygenda , Ewald W. Thomson A Data Structure and Drive Mechanism for a Table-Driven Simulation System Employing Multilevel Structural Representations of Digital Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Marvin V. Zelkowitz Automatic Program Analysis and Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Ted A. Dolotta , John R. Mashey An Introduction to the Programmer's Workbench. [Citation Graph (1, 0)][DBLP ] Conf ] John R. Mashey Using a Command Language as a High-Level Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] John R. Mashey , D. W. Smith Documentation Tools and Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Ted A. Dolotta , J. S. Licwinko , R. E. Menninger , William D. Roome The LEAP Load and Test Driver. [Citation Graph (0, 0)][DBLP ] Conf ] D. B. Knudsen , A. Barofsky , L. R. Satz A Modification Request Control System. [Citation Graph (0, 0)][DBLP ] Conf ] M. H. Bianchi , J. L. Wood A User's Viewpoint on the Programmer's Workbench. [Citation Graph (0, 0)][DBLP ] Conf ] David Gries An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] W. W. Black The Role of Software in Successful Computer Applications. [Citation Graph (0, 0)][DBLP ] Conf ] J. M. Dreyfus , P. J. Karacsony The Preliminary Design as a Key to Successful Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] John R. White , Taylor L. Booth Towards and Engineering Approach to Software Design. [Citation Graph (0, 0)][DBLP ] Conf ] Friedrich L. Bauer Programming as an Evolutionary Process. [Citation Graph (2, 0)][DBLP ] Conf ] Anita K. Jones , Barbara Liskov A Language Extension for Controlling Access to Shared Data (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Abraham Silberschatz , Richard B. Kieburtz , Arthur J. Bernstein Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Michael B. Feldman New Languages from Old: The Extension of Programming Languages by Embedding, with a Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Kapali P. Eswaran Aspects of a Trigger Subsystem in an Integrated Data Base System. [Citation Graph (4, 0)][DBLP ] Conf ] Erol Gelenbe A Model of Roll-Back Recovery with Multiple Checkpoints. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed G. Gouda , Eric G. Manning On the Modelling, Analysis and Design of Protocols - A Special Class of Software Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Izhak Rubin On Reliable Topologies for Computer Networks. [Citation Graph (0, 0)][DBLP ] Conf ] M. L. Shooman Structural Models for Software Reliability Prediction. [Citation Graph (0, 0)][DBLP ] Conf ] K. Mani Chandy Bayesian Models of Design Based on Intuition. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Jay Smith On the Effectiveness of Set Associative Page Mapping and Its Application to Main Memory Management. [Citation Graph (0, 0)][DBLP ] Conf ] Mehdi Jazayeri Formal Specification and Automatic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Yaohan Chu Introducing a Software Design Language. [Citation Graph (0, 0)][DBLP ] Conf ] R. Turn , M. R. Davis , R. N. Reinstedt A Management Approach to the Development of Computer-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] W. E. Stephenson An Analysis of the Resources Used in the SAFEGUARD System Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Wegner Research Pradigms in Computer Science. [Citation Graph (0, 0)][DBLP ] Conf ] Richard L. Wexelblat Maxims for Malfeasant Designers, or How to Design Languages to Make Programming as Difficult as Possible. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Balzer , Neil M. Goldman , David S. Wile On the Transformational Implementation Approach to Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Art Lew , D. Tamanaha Decision Table Programming and Reliability. [Citation Graph (0, 0)][DBLP ] Conf ] M. M. Lehman , F. N. Parr Program Evolution and Its Impact on Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Williaam A. Whitaker A Defense View of Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] R. M. Pollock , W. L. McCoy Software Engineering in the Development of the TRIDENT Fire Control System. [Citation Graph (0, 0)][DBLP ] Conf ] J. C. Carrow Structured Programming: From Theory to Practice. [Citation Graph (0, 0)][DBLP ] Conf ] J. S. Greene Dynamic Software Engineering: An Evolutionary Approach to Automated Software Development and Management. [Citation Graph (0, 0)][DBLP ] Conf ] W. E. Carlson Software Research in the Department of Defense. [Citation Graph (0, 0)][DBLP ] Conf ] Peter J. Denning Sacificing the Calf of Flexibility on the Altar of Reliability. [Citation Graph (0, 0)][DBLP ] Conf ] Maurice V. Wilkes Software Engineering and Structured Programming (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Harlan D. Mills Software Development (Abstract). [Citation Graph (1, 0)][DBLP ] Conf ] Charles Reynolds , Raymond T. Yeh Induction as the Basis for Program Verification (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] William A. Wulf , Ralph L. London , Mary Shaw An Introduction to the Construction and Verification of Alphard Programs (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Susan L. Gerhart , Lawrence Yelowitz Control Structure Abstractions of the Backtracking Programming Technique (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] T. S. Chow A Generalized Assertion Language. [Citation Graph (0, 0)][DBLP ] Conf ] Sanat K. Basu , Jayadev Misra Some Classes of Naturally Provable Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas J. McCabe A Complexity Measure (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Billy G. Claybrook The Design of a Template Structure for a Generalized Data Structure Definition Facility. [Citation Graph (1, 0)][DBLP ] Conf ] John V. Guttag , Ellis Horowitz , David R. Musser The Design of Data Type Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Peter G. Neumann , Richard J. Feiertag , Karl N. Levitt , Lawrence Robinson Software Development and Proofs of Multi-Level Security. [Citation Graph (0, 0)][DBLP ] Conf ] S. S. Yau , R. C. Cheung , D. C. Cochrane An Approach to Error-Resistant Software Design. [Citation Graph (0, 0)][DBLP ] Conf ] David Lorge Parnas , Harald Würges Response to Undesired Events in Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] T. Anderson , R. Kerr Recovery Blocks in Action: A System Supporting High Reliability. [Citation Graph (1, 0)][DBLP ] Conf ] John H. Wensley , M. W. Green , Karl N. Levitt , Robert E. Shostak The Design, Analysis, and Verification of the SIFT Fault-Tolerant System. [Citation Graph (0, 0)][DBLP ] Conf ] Robert S. Fabry How to Design a System in Which Modules Can Be Changed on the Fly. [Citation Graph (0, 0)][DBLP ] Conf ] David J. Panzl Test Procedures: A New Approach to Software Verification. [Citation Graph (0, 0)][DBLP ] Conf ] S. Pimont , J.-C. Rault A Software Reliability Assessment Based on a Structural and Behavioral Analysis of Programs. [Citation Graph (0, 0)][DBLP ] Conf ] E. Burton Swanson The Dimensions of Maintenance. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hammer , Dennis McLeod A Framework for Data Base Semantic Integrity. [Citation Graph (7, 0)][DBLP ] Conf ] Larry Kerschberg , Esen A. Ozkarahan , J. E. S. Pacheco A Synthetic English Query Language for a Relational Accociative Processor. [Citation Graph (4, 0)][DBLP ] Conf ] Dennis McLeod The Translation and Compatibility of SEQUEL and Query by Example. [Citation Graph (2, 0)][DBLP ] Conf ] Michael Stonebraker A Comparison of the Use of Links and Secondary Indices in a Relational Data Base System. [Citation Graph (0, 0)][DBLP ] Conf ] David K. Hsiao A Software Engineering Experience in the Management, Design and Implementation of A Data Secure System. [Citation Graph (1, 0)][DBLP ] Conf ] Richard C. T. Lee , James R. Slagle , C. T. Mong Application of Clustering to Estimate Missing Data and Improve Data Integrity. [Citation Graph (0, 0)][DBLP ] Conf ] Isao Miyamoto Some Considerations in Database Application Programming. [Citation Graph (0, 0)][DBLP ] Conf ] P. Kümmel Improved Updating in relational Dat Base Systems by Deuter-Shere Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Alsberg , J. D. Day A Principle for Resilient Sharing of Distributed Resources. [Citation Graph (27, 0)][DBLP ] Conf ] Reinhard Wilhelm , Knut Ripken , Joachim Ciesinger , Harald Ganzinger , Walter Lahner , R. Nollmann Design Evaluation of the Compiler Generating System MUGI. [Citation Graph (0, 0)][DBLP ] Conf ] J. Mohan , M. Geller An Environmental Simulator for the FDNY Computer Aided Dispatch System. [Citation Graph (0, 0)][DBLP ] Conf ] K. S. Shankar , C. Sekar Chandersekaran Dat Flow, Abstraction Levels and Specifications for Communications Switching Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Barry W. Boehm , J. R. Brown , M. Lipow Quantitative Evaluation of Software Quality. [Citation Graph (1, 0)][DBLP ] Conf ] Udo Voges Aspects of Design, Test and Validation of the Software for a Computerized Reactor Protection System. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang D. Ehrenberger , G. Rauch , K. Okroy Program Analysis - A Method for the Verification of Software for the Control of a Nuclear Reactor. [Citation Graph (0, 0)][DBLP ] Conf ] B. C. Hodges , J. P. Ryan A System for Automatic Software Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Lloyd D. Fosdick , Leon J. Osterweil The Detection of Anomalous Interprocedural Data Flow. [Citation Graph (0, 0)][DBLP ] Conf ] W. H. Jessop , J. Richard Kane , S. Roy , J. M. Scanlon ATLAS - An Automated Software Testing System. [Citation Graph (0, 0)][DBLP ] Conf ] C. V. Ramamoorthy , Siu-Bun F. Ho , W. T. Chen On the Automated Generation of Program Test Data (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] 