Conferences in DBLP
Christiane Floyd On the Relevance of Formal Methods to Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] James J. Horning Combining Algebraic and Predicative Specifications in Larch. [Citation Graph (0, 0)][DBLP ] Conf ] Cliff B. Jones The Role of Proof Obligations in Software Design. [Citation Graph (0, 0)][DBLP ] Conf ] John D. Gannon , Richard G. Hamlet , Harlan D. Mills Functional Semantics of Modules. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Naur Intuition in Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] David Lorge Parnas , Paul C. Clements A Rational Design Process: How and Why to Fake It. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Mathiassen , Andreas Munk-Madsen Formalization in Systems Development. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel M. Berry , Jeannette M. Wing Specification and Prototyping: Some Thoughts on Why They Are Successful. [Citation Graph (0, 0)][DBLP ] Conf ] Lynn S. Marshall A Formal Specification of Line Representations on Graphics Devices. [Citation Graph (0, 0)][DBLP ] Conf ] Gregor Snelting Experiences with the PSG - Programming System Generator. [Citation Graph (0, 0)][DBLP ] Conf ] Nazim H. Madhavji , Nikos Leoutsarakos , Dimitri Vouliouris Software Construction Using Typed Fragments. [Citation Graph (0, 0)][DBLP ] Conf ] Gregor Engels , Wilhelm Schäfer Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Doug Kimelman Multidimensional Tree-Structured File Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] T. S. E. Maibaum , Paulo A. S. Veloso , M. R. Sadler A Theory of Abstract Data Types for Program Development: Bridging the Gap? [Citation Graph (0, 0)][DBLP ] Conf ] Giovanna Petrone , Luigi Petrone Program Development and Documentation by Informal Transformations and Derivations. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Bidoit , Christine Choppy ASSPEGIQUE: An Integrated Environment for Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Luc Bougé , N. Choquet , Laurent Fribourg , Marie-Claude Gaudel Application of Prolog to Test Sets Generation from Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Jieh Hsiang , Mandayam K. Srivas A PROLOG Environment for Developing and Reasoning about Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Brigitte Biebow , Jacques Hagelstein Algebraic Specification of Synchronisation and Errors: A Telephonic Example. [Citation Graph (0, 0)][DBLP ] Conf ] Rainer Isle , Klaus-Peter Löhr Modelling Concurrent Modules. [Citation Graph (0, 0)][DBLP ] Conf ] E. Pascal Gribomont Synthesis of Parallel Programs Invariants. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy G. Leveson , Janice L. Stolzy Analyzing Safety and Fault Tolerance Using Time Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Mathai Joseph , Abha Moitra Algebraic Specification Of A Communication Scheduler. [Citation Graph (0, 0)][DBLP ] Conf ] G. Casaglia , F. Pisani The Integration and Distribution Phase in the Software Life Cycle. [Citation Graph (0, 0)][DBLP ] Conf ] Otthein Herzog Formalized Software Development in an Industrial Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Akinori Yonezawa , Yoshihiro Matsumoto Object Oriented Concurrent Programming and Industrial Software Production. [Citation Graph (0, 0)][DBLP ] Conf ] M. I. Jackson , B. Tim Denvir , R. C. Shaw Experience of Introducing the Vienna Development Method into an Industrial Organization. [Citation Graph (0, 0)][DBLP ] Conf ] Avi Rushinek , Sara F. Rushinek EDP System Development Methodology: Auditability and Control. [Citation Graph (0, 0)][DBLP ] Conf ] Karl-Heinz Alws , Ingrid Glasner-Schapeler Experiences with Object Oriented Programming. [Citation Graph (0, 0)][DBLP ] Conf ] 