Conferences in DBLP
Augusto Ciuffoletti Error Recovery in Systems of Communicating Processes. [Citation Graph (1, 0)][DBLP ] Conf ] Michel Bidoit , Brigitte Biebow , Marie-Claude Gaudel , Christian Gresse , Gérard D. Guiho Exception Handling: Formal Specification and Systematic Program Construction. [Citation Graph (0, 0)][DBLP ] Conf ] K. Chong , P. Hsia Diagnostic System for Distributed Software: A Relational Database Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Gruia-Catalin Roman , Mark S. Day Multifaceted Distributed Systems Specification Using Processes and Event Synchronization. [Citation Graph (0, 0)][DBLP ] Conf ] Guy T. Almes , Andrew P. Black , C. Bunje , D. Wiebe Edmas: A Locally Distributed Mail System. [Citation Graph (0, 0)][DBLP ] Conf ] Krithi Ramamritham Resource Controller Tasks in Ada: Their Structure and Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph C. Spicer A Spiral Approach to Software Engineering Project Management Education. [Citation Graph (0, 0)][DBLP ] Conf ] K. Uemura , M. Ohori A Cooperative Approach to Software Development by Application Engineers and Software Engineers. [Citation Graph (0, 0)][DBLP ] Conf ] Bill Curtis Fifteen Years of Psychology in Software Engineering: Individual Differences and Cognitive Science. [Citation Graph (0, 0)][DBLP ] Conf ] T. Mohri , E. Ono , S. Uehara , T. Takao , H. Sato PDAS: An Assistant for Detailed Design and Implementation of Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Richard N. Taylor , Thomas A. Standish Steps to an Advanced Ada Programming Environment. [Citation Graph (0, 0)][DBLP ] Conf ] J. Guyard , J.-P. Jacquot MAIDAY: An Environment for Guided Programming. [Citation Graph (0, 0)][DBLP ] Conf ] M. W. Evans , L. M. Picinich POWER: A Tool for Quantitative Evaluation of Software Project Effectiveness. [Citation Graph (0, 0)][DBLP ] Conf ] J. Vosburgh , Bill Curtis , R. Wolverton , B. Albert , H. Malec , S. Hoben , Y. Liu Productivity Factors and Programming Environments. [Citation Graph (0, 0)][DBLP ] Conf ] R. E. Boydston Programming Cost Estimate: Is It Reasonable? [Citation Graph (0, 0)][DBLP ] Conf ] H. Maezawa , M. Kobayashi , K. Saito , Y. Futamura Interactive System for Structured Program Production. [Citation Graph (0, 0)][DBLP ] Conf ] Paul A. Scheffer , Albert H. Stone III , William E. Rzepka A Large System Evaluation of SREM. [Citation Graph (0, 0)][DBLP ] Conf ] Warren Teitelman A Tour Through Cedar. [Citation Graph (1, 0)][DBLP ] Conf ] B. Friman MGEN - A Generator for Menu Driven Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Tom DeMarco , Aurel Soceneantu SYNCRO: A Dataflow Command Shell for the Lilith/Modula Computer. [Citation Graph (1, 0)][DBLP ] Conf ] Stephen W. Draper , Donald A. Norman Software Engineering for User Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Ramadan Moawad Comparison of Concurrent Software Reliability Models. [Citation Graph (0, 0)][DBLP ] Conf ] John D. Musa , Kazuhira Okumoto A Logarithmic Poisson Execution Time Model for Software Reliability Measurement. [Citation Graph (1, 0)][DBLP ] Conf ] Kuo-Chung Tai A Program Complexity Metric Based on Data Flow Information in Control Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Simeon C. Ntafos An Evaluation of Required Element Testing Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] Steven J. Zeil Perturbation Testing for Computation Errors. [Citation Graph (0, 0)][DBLP ] Conf ] Michael A. Hennell , David Hedley , I. J. Riddell Assessing a Class of Software Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Ira R. Forman An Algebra for Data Flow Anomaly Detection. [Citation Graph (0, 0)][DBLP ] Conf ] James L. Elshoff Characteristic Program Complexity Measures. [Citation Graph (0, 0)][DBLP ] Conf ] T. J. Emerson A Discriminant Metric for Module Cohersion. [Citation Graph (0, 0)][DBLP ] Conf ] A. Schroeder Integrated Program Measurement and Documentation Tools. [Citation Graph (0, 0)][DBLP ] Conf ] John Beane , N. Giddings , J. Silverman Quantifying Software Designs. [Citation Graph (0, 0)][DBLP ] Conf ] Steven P. Reiss PECAN: Program Development Systems That Support Multiple Views. [Citation Graph (0, 0)][DBLP ] Conf ] Ted J. Biggerstaff , D. M. Endres , Ira R. Forman TABLE: Object Oriented Editing of Complex Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Véronique Donzeau-Gouge , Bernard Lang , Bertrand Melese Practical Applications of a Syntax Directed Program Manipulation Environment. [Citation Graph (0, 0)][DBLP ] Conf ] G. Fischer , M. Schneider Knowledge-Based Communication Processes in Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] W. Lewis Johnson , Elliot Soloway PROUST: Knowledge-Based Program Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel G. Shapiro , Jeffrey S. Dean , Brian P. McCune A Knowledge Base for Supporting and Intelligent Program Editor. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos José Pereira de Lucena , R. C. B. Martins , Paulo A. S. Veloso , Donald D. Cowan The Data Transform Programming Metho: An Example for File Processing Problems. [Citation Graph (0, 0)][DBLP ] Conf ] A. G. Duncan , J. S. Hutchison , John W. Bailey , T. M. Chapman , A. Fregly , Elizabeth Kruesi , T. McDonald , D. Merrill , Sylvia B. Sheppard Communication System Design Using Ada. [Citation Graph (0, 0)][DBLP ] Conf ] David Lorge Parnas , Paul C. Clements , David M. Weiss The Modular Structure of Complex Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rudi Studer Abstract Models of Dialogue Concepts. [Citation Graph (0, 0)][DBLP ] Conf ] G. B. Clemmensen , Ole N. Oest Formal Specification and Development of an Ada Compiler - A VDM Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Susan L. Gerhart Application of Axiomatic Methods to a Specification Analyser. [Citation Graph (0, 0)][DBLP ] Conf ] W. J. Rogers A New Program Structure to Improve Accuracy and Readability of Pascal Software. [Citation Graph (0, 0)][DBLP ] Conf ] Koji Torii , Yoshitomi Morisawa , Yuji Sugiyama , Tadao Kasami Functional Programming and Logical Programming for the Telegram Analysis Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Barry W. Boehm , Terence E. Gray , Thomas Seewaldt Prototyping vs. Specifying: A Multi-Project Experiment. [Citation Graph (0, 0)][DBLP ] Conf ] S.-C. Chyou Structure Charts and Program Correctness Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Ali Mili , Jules Desharnais A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Azéma , G. Juandle , E. Sanchis , M. Montbernard Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] H. Hozumi , Y. Sekine , H. Ejima A Method of Large-Scale Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] T. S. E. Maibaum , Wladyslaw M. Turski On What Exactly Is Going On When Software Is Developed Step-by-Step. [Citation Graph (0, 0)][DBLP ] Conf ] Bruce I. Blum Three Paradigms for Developing Information Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 