Conferences in DBLP
Brian Randell Software Engineering: As it was in 1968. [Citation Graph (0, 0)][DBLP ] Conf ] Barry W. Boehm Software Engineering: As it is. [Citation Graph (0, 0)][DBLP ] Conf ] D. M. Lasker Module Structure in an Evolving Family of Real Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Walter F. Tichy Software Development Based on Module Interconnection. [Citation Graph (0, 0)][DBLP ] Conf ] Flaviu Cristian A Recovery Mechanism for Modular Software. [Citation Graph (0, 0)][DBLP ] Conf ] Charles R. Vick On Software Engineering Tools: Past, Present and Future. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas E. Cheatham Jr. , Judy A. Townley , Glenn H. Holloway A System for Program Refinement. [Citation Graph (1, 0)][DBLP ] Conf ] Erhard Plödereder Pragmatic Techniques for Program Analysis and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] R. S. Scowen A New Technique for Improving the Quality of Computer Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Cohen Computer-Aided Micro-Analysis of Programs. [Citation Graph (0, 0)][DBLP ] Conf ] P. C. Belford , R. A. Berg , T. L. Hannan Central Flow Control Software Development: A Case Study of the Effectiveness of Software Engineering Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] R. R. Horsley , William C. Lynch Pilot: A Software Engineering Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] T. Martin PEARL At the Age of Three. [Citation Graph (0, 0)][DBLP ] Conf ] W. S. Amey The Computer Assisted Software (Case) System. [Citation Graph (0, 0)][DBLP ] Conf ] R. R. Willis , E. P. Jensen Computer Aided Design of Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Geoff P. Mullery CORE : A Method for Controlled Requirement Expression. [Citation Graph (0, 0)][DBLP ] Conf ] A. F. Hutchings , R. W. McGuffin , A. E. Elliston , B. R. Tranter , P. N. Westmacott On CADES-Software Engineering in Practice. [Citation Graph (0, 0)][DBLP ] Conf ] H. S. Elovitz An Experiment in Software Engineering: The Architecture Research Facility as a Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Ernst Denert The Project Library : A Tool for Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Hugh C. Lauer , Edwin H. Satterthwaite The Impact of Mesa on System Design. [Citation Graph (1, 0)][DBLP ] Conf ] Jeff Kramer , Jim Cunningham Invariants for Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] M. S. Laventhal A Constructive Approach to Reliable Synchronization Code. [Citation Graph (0, 0)][DBLP ] Conf ] S. Keramidis , L. Mackert Specification and Implementation of Parallel Activities on Abstract Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Roy H. Campbell , R. B. Kolstad Path Expressions in Pascal. [Citation Graph (0, 0)][DBLP ] Conf ] J.-C. Rault France on An Approach Towards Reliable Software. [Citation Graph (0, 0)][DBLP ] Conf ] C. V. Ramamoorthy , Farokh B. Bastani , John M. Favaro , Yu-King R. Mok , C. W. Nam , Keiichi Suzuki On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants. [Citation Graph (0, 0)][DBLP ] Conf ] J. Gomez An Interactive FORTRAN Structuring Aid. [Citation Graph (0, 0)][DBLP ] Conf ] Rudolf Lauber , Joachim Biewald , Peter Göhner , H. Schelling EPOS : A Specification and Design Technique for Computer Controlled Real-time Automation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Patrizia Asirelli , Pierpaolo Degano , Giorgio Levi , Alberto Martelli , Ugo Montanari , Giuliano Pacini , Franco Sirovich , Franco Turini A Flexible Environment for Program Development Based on a Symbolic Interpreter. [Citation Graph (0, 0)][DBLP ] Conf ] William E. Riddle , G. Bristow , C. Drey , B. Edwards Anomaly Detection in Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Rudolf Marty , L. Vanek Hierarchical Coroutines: A Mechanism for Improved Program Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Wertz A System to Improve incorrect Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel M. Berry , Maria Heloisa (Lolo) Penedo The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Banâtre , Michel Banâtre Language Features for Description of Cooperating Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Anita K. Jones , Karsten Schwan TASK Forces: Distributed Software for Solving Problems of Substantial Size. [Citation Graph (0, 0)][DBLP ] Conf ] A. D'Agapayeff On Microprocessors: A Platform for True Program Portability with Examples from Microcobal. [Citation Graph (0, 0)][DBLP ] Conf ] William M. McKeeman On An Overview. [Citation Graph (0, 0)][DBLP ] Conf ] Horst Remus , Stephen N. Zilles Prediction and Management of Program Quality. [Citation Graph (0, 0)][DBLP ] Conf ] Alan R. Feuer , E. B. Fowlkes Some Results from an Empirical Study of Computer Software. [Citation Graph (0, 0)][DBLP ] Conf ] Bill Curtis , Sylvia B. Sheppard , Phil Milliman Third Time Charm: Stronger Replication of the Ability of Software Complexity Metrics to Predict Programmer Performance. [Citation Graph (0, 0)][DBLP ] Conf ] T. H. Bruggere Software Engineering: Management, Personnel and Methodology. [Citation Graph (0, 0)][DBLP ] Conf ] D. Ross Jeffery , M. J. Lawrence An Inter-Organizational Comparison of Programming Productivity. [Citation Graph (0, 0)][DBLP ] Conf ] J. Abe , Ken Sakamura , Hideo Aiso An Analysis of Software Project Failure. [Citation Graph (0, 0)][DBLP ] Conf ] John W. Brackett , R. S. Eanes , C. K. Hitchon , Richard Thall An Environment for Producing Well-Engineered Microcomputer Software. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Ancona , Gabriella Dodero , E. L. Durante Cross Software Development for Microprocessors Using a Translator Writing System. [Citation Graph (0, 0)][DBLP ] Conf ] J. Rohmer The APL2M System : A General Computer-Aided Software Engineering Environment for Mini and Microcomputers. [Citation Graph (0, 0)][DBLP ] Conf ] Joan M. Morrissey , L. S.-Y. Wu On Software Engineering-An Economic Perspective. [Citation Graph (0, 0)][DBLP ] Conf ] Rudolf Bayer On Synchronization and Recovery in Database Systems. [Citation Graph (0, 0)][DBLP ] Conf ] J. A. Bauer , A. B. Finger Test Plan Generation Using Formal Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] J. Horejs Finite Semantics for Program Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Edsger W. Dijkstra Software Engineering : As It Should Be. [Citation Graph (0, 0)][DBLP ] Conf ] Wladyslaw M. Turski Software Engineering : As It Will Be. [Citation Graph (0, 0)][DBLP ] Conf ] 