Conferences in DBLP
Gerald M. Weinberg Overstructured Management of Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Robert S. Arnold , D. A. Parker The Dimensions of Healthy Maintenance. [Citation Graph (0, 0)][DBLP ] Conf ] S. Warren MAP: A Tool for Understanding Software. [Citation Graph (1, 0)][DBLP ] Conf ] Wayne A. Babich , Larry Weissman , M. Wolfe Design Considerations in Language Processing Tools for Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Ali Mili A Closer Look at Iteration: The Self Stabilizing Capability of Loops. [Citation Graph (0, 0)][DBLP ] Conf ] Walter F. Tichy Design, Implementation, and Evaluation of a Revision Control System. [Citation Graph (6, 0)][DBLP ] Conf ] O. Shigo , Y. Wada , Y. Terashima , K. Iwamoto , T. Nishimura Configuration Control for Evolutional Software Products. [Citation Graph (0, 0)][DBLP ] Conf ] Friedrich L. Bauer From Specifications to Machine Code: Program Construction through Formal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] D. Potier , J. L. Albin , R. Ferreol , A. Bilodeau Experiments with Computer Software Complexity and Reliability. [Citation Graph (1, 0)][DBLP ] Conf ] M. Itakura , A. Takayanagi A Model for Estimating Program Size and Its Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Walid A. Abu-Sufah , R. Lee , Mohammad Malkawi , P. Yew Experimental Results on the Paging Behavior of Numerical Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Kiyoshi Agusa , A. Ohnishi , Yutaka Ohno Verification System for Formal Requirements Description. [Citation Graph (0, 0)][DBLP ] Conf ] J. Murai , N. Saito , Norihisa Doi , M. Morohashi , T. Fujisaki Requirement Specification Description System in Japanese Language - JISDOS. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Marca , Clement L. McGowan Static and Dynamic Data Modeling for Information System Design. [Citation Graph (0, 0)][DBLP ] Conf ] Barry W. Boehm , James F. Elwell , Arthur B. Pyster , E. Don Stuckle , Ronald D. Williams The TRW Software Productivity System. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Wertz The Design of an Integrated, Interactive and Incremental Programming Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Leon J. Osterweil Toolpack - An Experimental Software Development Environment Research Project. [Citation Graph (0, 0)][DBLP ] Conf ] J. C. Zolnowski , P. D. Ting An Insider's Survey on Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] M. J. Lawrence An Examination of Evolution Dynamics. [Citation Graph (0, 0)][DBLP ] Conf ] P. G. Hamer , G. D. Frewin M. H. Halstead's Software Science - A Critical Examination. [Citation Graph (0, 0)][DBLP ] Conf ] Naoki Yonezaki , Takao Katayama Functional Specification of Synchronized Processes Based on Modal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Toshiki Sakabe , Yasuyoshi Inagaki , Namio Honda Specification of Abstract Data Types with Partially Defined Operations. [Citation Graph (0, 0)][DBLP ] Conf ] Sol J. Greenspan , John Mylopoulos , Alexander Borgida Capturing More World Knowledge in the Requirements Specification. [Citation Graph (1, 0)][DBLP ] Conf ] Andres Rudmik , B. E. Casey , H. Cohen Consistency Checking within Embedded Design Languages. [Citation Graph (0, 0)][DBLP ] Conf ] S. Warren , Bruce E. Martin , Charles Hoch Experience with a Module Package in Developing Production Quality PASCAL Programs. [Citation Graph (0, 0)][DBLP ] Conf ] H. C. Kuo , C. H. Li , J. Ramanathan A Form-Based Approach to Human Engineering Methodologies. [Citation Graph (1, 0)][DBLP ] Conf ] Sandra Rapps , Elaine J. Weyuker Data Flow Analysis Techniques for Test Data Selection. [Citation Graph (0, 0)][DBLP ] Conf ] D. V. Buyansky , J. W. Schatz No 1A ESS Laboratory Support System - Erasable Flag Facility. [Citation Graph (0, 0)][DBLP ] Conf ] H. Ohba Software Quality = Test Accuracy * Test Coverage. [Citation Graph (0, 0)][DBLP ] Conf ] M. M. Ling Designing Data Entry Programs Using State Diagram as a Common Model. [Citation Graph (0, 0)][DBLP ] Conf ] Robert G. Babb II Data-Driven Implementation of Data Flow Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] S. Ito Automatic Input of Flow Chart in Document Image. [Citation Graph (0, 0)][DBLP ] Conf ] Yukikazu Nakamoto , T. Iwamoto , M. Hori , Kenichi Hagihara , Nobuki Tokura An Editor for Documentation in pi-System to Support Software Development and Maintenance. [Citation Graph (0, 0)][DBLP ] Conf ] G. Beretta , Helmar Burkhart , Peter Fink , Jürg Nievergelt , Jan Stelovsky , Hirotsugo Sugaya XS-1: An Integrated Interactive System and Its Kernel. [Citation Graph (0, 0)][DBLP ] Conf ] Luigi Petrone , Antonio Di Leva , Franco Sirovich DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements. [Citation Graph (0, 0)][DBLP ] Conf ] David R. Barstow , Roger Duffey , Stephen W. Smoliar , Stanley Vestal An Automatic Programming System to Support an Experimental Science. [Citation Graph (0, 0)][DBLP ] Conf ] P. Lucas , Tore Risch Representation of Factual Information by Equations and Their Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Harslem , LeRoy E. Nelson A Retrospective on the Development of Star. [Citation Graph (0, 0)][DBLP ] Conf ] Ira R. Forman Global Data Flow Analysis by Decomposition into Primes. [Citation Graph (0, 0)][DBLP ] Conf ] Kokichi Futatsugi , Koji Okada A Hierarchical Structuring Method for Functional Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Norio Shiratori , J. Gohara , Shoichi Noguchi A New Design Language for Communication Protocols and a Systematic Design Method of Communication Systems. [Citation Graph (0, 0)][DBLP ] Conf ] K. Takahashi , T. Aso , M. Kobayashi Visual Aid for FORTRAN Program Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] B. Runge The Inspection Metho Applied to Small Projects. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph E. Urban Software Development with Executable Functional Specifications. [Citation Graph (1, 0)][DBLP ] Conf ] K. Miyazawa , M. Oda , S. Kato The Portable Communication Protocol Program COMPAS for Data Terminal Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshihisa Mano , Kazuhito Ohmaki , Koji Torii Early Experiences with a Multi-Display Programming Environment. [Citation Graph (0, 0)][DBLP ] Conf ] K. Chiba , K. Konishi , Akira Kurematsu A Model for Description of Communication Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] 