Conferences in DBLP
Kouichi Kishida Evolution of Tools (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] P. R. Itzigehl A Method for Asynchronous Parallelization. [Citation Graph (0, 0)][DBLP ] Conf ] Mahadev Satyanarayanan On the Influence of Scale in a Distributed System. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Barbacci , Charles B. Weinstock , Jeannette M. Wing Programming at the Processor-Memory-Switch Level. [Citation Graph (0, 0)][DBLP ] Conf ] Barry W. Boehm , Rony Ross Theory-W Software Project Management: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] A. S. Duncan Software Development Productivity Tools and Metrics. [Citation Graph (0, 0)][DBLP ] Conf ] D. Dixon Integrated Support for Project Management. [Citation Graph (0, 0)][DBLP ] Conf ] Dewayne E. Perry , Gail E. Kaiser Models of Software Development Environments. [Citation Graph (1, 0)][DBLP ] Conf ] Kouichi Kishida , Takuya Katayama , Masatoshi Matsuo , Isao Miyamoto , Koichiro Ochimizu , Nobuo Saito , John H. Sayler , Koji Torii , Lloyd G. Williams SDA: A Novel Approach to Software Environment Design and Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Hausi A. Müller , K. Klashinsky Rigi - A System for Programming-in-the-Large. [Citation Graph (0, 0)][DBLP ] Conf ] J. Fagerström Design and Test of Distributed Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Max Mühlhäuser Software Engineering for Distributed Applications: The Design Project. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Evangelist , V. Y. Shen , Ira R. Forman , M. Graf Using Raddle To Design Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] X. Huang , H. Zhang , X. Cai Heuristic Software Partitioning Algorithms for Distributed Real-Time Applications. [Citation Graph (0, 0)][DBLP ] Conf ] M. Hagemann Requirements Analysis for Real-Time Automation Projects. [Citation Graph (0, 0)][DBLP ] Conf ] R. A. Orr , M. T. Norris , R. Tinker , C. D. V. Rouch Tools for Real-Time System Design. [Citation Graph (0, 0)][DBLP ] Conf ] W. Murray , Clarence Pittman Plenary Session-Software for Space Station. [Citation Graph (0, 0)][DBLP ] Conf ] David W. Embley , Scott N. Woodfield Assessing the Quality of Abstract Data Types Written in Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Aditya P. Mathur , Edward W. Krauser Modeling Mutation on a Vector Processor. [Citation Graph (0, 0)][DBLP ] Conf ] Mireille Ducassé , Anna-Maria Emde A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Lloyd G. Williams Software Process Modeling: A Behavioral Approach. [Citation Graph (1, 0)][DBLP ] Conf ] D. Ross Jeffery , Victor R. Basili Validating the TAME Resource Data Model. [Citation Graph (0, 0)][DBLP ] Conf ] O. R. Fonorow Modeling Software Tools with Icon. [Citation Graph (0, 0)][DBLP ] Conf ] K. Narayanaswamy Static Analysis-Based Program Evolution Support in the Common Lisp Framework. [Citation Graph (0, 0)][DBLP ] Conf ] N. Mano Modeling of Data-Processing Software for Generating and Reusing Their Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Steven J. Zeil , Edward C. Epp Interpretation in a Tool-Fragment Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony I. Wasserman Implications of Hardware Advances for Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Karl J. Lieberherr , Arthur J. Riel Demeter: A Case Study of Software Growth through Parameterized Classes. [Citation Graph (3, 0)][DBLP ] Conf ] H. Tarumi , Kiyoshi Agusa , Yutaka Ohno A Programming Environment Supporting Reuse of Object-Oriented Software. [Citation Graph (0, 0)][DBLP ] Conf ] David Notkin , William G. Griswold Extension and Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Hallman An Operational Requirement Description Model for Open Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gruia-Catalin Roman Language and Visualization Support for Large-Scale Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Lin Chiu , Ming T. Liu High-Level Specification of Concurrency Control in Distributed Database Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Lloyd G. Williams Software Reuse (Panel Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Dan Craigen , Sentot Kromodimoeljo , Irwin Meisels , A. Neilson , Bill Pase , Mark Saaltink m-EVES: A Tool for Verifying Software. [Citation Graph (0, 0)][DBLP ] Conf ] Ataru T. Nakagawa , Kokichi Futatsugi , Satoru Tomura , T. Shimizu Algebraic Specification of Macintosh's Quickdraw Using OBJ2. [Citation Graph (0, 0)][DBLP ] Conf ] Robert B. Terwilliger , Roy H. Campbell An Early Report on Encompass. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald Baecker Enhancing Program Readability and Comprehensibility with Tools for Program Visualization. [Citation Graph (0, 0)][DBLP ] Conf ] Michal Young , Richard N. Taylor , Dennis B. Troup , Cheryl D. Kelly Design Principles behind Chiron: A UIMS for Software Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen S. Cha , Nancy G. Leveson , Timothy J. Shimeall Safety Verification in Murphy Using Fault Tree Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] J. L. Benjamin PILOT: A Prescription for Program Performance Measurement. [Citation Graph (0, 0)][DBLP ] Conf ] David Harel , Hagi Lachover , Amnon Naamad , Amir Pnueli , Michal Politi , Rivi Sherman , Aharon Shtull-Trauring STATEMATE; A Working Environment for the Development of Complex Reactive Systems. [Citation Graph (2, 0)][DBLP ] Conf ] Helen C. Sharp KDA - A Tool for Automatic Design Evaluation and Refinement Using the Blackboard Model of Control. [Citation Graph (0, 0)][DBLP ] Conf ] Colin Potts , Glenn Bruns Recording the Reasons for Design Decisions. [Citation Graph (2, 0)][DBLP ] Conf ] W. Lewis Johnson Deriving Specifications from Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] David R. Barstow Automatic Programming for Streams II: Transformational Implementation. [Citation Graph (1, 0)][DBLP ] Conf ] 