Conferences in DBLP
Michael Jackson Description is our Business. [Citation Graph (0, 0)][DBLP ] Conf ] Robin Milner Concurrent Processes as Objects (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] John V. Guttag The Larch Approach to Specification (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] David A. Penny , Richard C. Holt , Michael W. Godfrey Formal Specification in Metamorphic Programing. [Citation Graph (0, 0)][DBLP ] Conf ] David Garlan , David Notkin Formalizing Design Spaces: Implicit Invocation Mechanisms. [Citation Graph (0, 0)][DBLP ] Conf ] Flemming M. Damm , Bo Stig Hansen , Hans Bruun On Type Checking in VDM and Related Consistency Issues. [Citation Graph (0, 0)][DBLP ] Conf ] Tim Clement Combining Transformation and Posit-and Prove in a VDM Development. [Citation Graph (0, 0)][DBLP ] Conf ] Nico Plat , Jan van Katwijk , Kees Pronk A Case for Structured Analysis/Formal Design. [Citation Graph (0, 0)][DBLP ] Conf ] Reinder J. Bril A Model-Oriented Method for Algebraic Specification using COLD-1 as Notation. [Citation Graph (0, 0)][DBLP ] Conf ] David M. Goldschlag A Mechanical Formalization of Several Fairness Notions. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Rössig , Michael Schenke Specification and Stepwise Development of Communicating Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Marc V. Benveniste Writing Operational Semantics in Z: A Sructural Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Veronika Doma , Robin A. Nicholl EZ: A System for Automatic Prototyping of Z Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Kees M. van Hee , Lou J. Somers , Marc Voorhoeve Z and High Level Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Bruun , Bo Stig Hansen , Flemming M. Damm An Approach to the Static Semantics of VDM-SL. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Butler Behavioural Extension for CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Marek A. Bednarczyk , Andrzej M. Borzyszkowski CPO's do not form a CPO, and yet Recursion Works. [Citation Graph (0, 0)][DBLP ] Conf ] C. A. Middelburg , Gerard R. Renardel de Lavalette LPF and MPLomega - A Logical Comparison of VDM SL and COLD-K. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Cattel Tactical Tools for Distributing VDM Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Ketil Stølen An Attempt to Reason about Shared-State Concurrency in the Style of VDM. [Citation Graph (0, 0)][DBLP ] Conf ] Morten Elvang-Gøransson Reasoning about VDM Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] R. D. Arthan On Formal Specification of a Proof Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Juan Bicarregui , Brian Ritchie Reasoning about VDM Developments using the VDM Support Tool in MURAL. [Citation Graph (0, 0)][DBLP ] Conf ] Dan Craigen , Sentot Kromodimoeljo , Irwin Meisels , Bill Pase , Mark Saaltink EVES: An Overview. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Weber Deriving Transivity of VDM-Reification in DEVA. [Citation Graph (0, 0)][DBLP ] Conf ] H. B. M. Jonkers Upgrading the Pre- and Postcondition Technique. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Smith , Richard Keighley The Formal Development of a Secure Transaction Mechanism. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard R. Renardel de Lavalette Formal Development of a Serial Copy Management System. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus-Dieter Schewe , Joachim W. Schmidt , Ingrid Wetzel Specification and Refinement in an Integrated Database Application Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Pamela Zave , Michael Jackson Techniques for Partial Specification and Specification of Switching Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Graeme I. Parkin , G. O'Neill Specification of the MAA Standard in VDM. [Citation Graph (0, 0)][DBLP ] Conf ] Jeannette M. Wing , Amy Moormann Zaremski Unintrusive Ways to Integrate Formal Specifications in Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Bear An Overview of HP-SL. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Houston , Steve King CICS Project Report: Experiences and Results from the use of Z in IBM. [Citation Graph (0, 0)][DBLP ] Conf ] D. Kinnaes , Karel De Vlaminck A Debugger for a Meta-IV-like Meta-Language. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Gorm Larsen , Poul Bøgh Lassen An Executable Subset of Meta-IV with Loose Specification. [Citation Graph (1, 0)][DBLP ] Conf ] Lynn S. Marshall , Linda Simon Using VDM within an Object-Oriented Framework. [Citation Graph (0, 0)][DBLP ] Conf ] A. Puccetti The Integrated Software Development and Verification System ATES. [Citation Graph (0, 0)][DBLP ] Conf ] D. L. Chalmers , Bent Dandanell , Jesper Gørtz , Jan Storbank Pedersen , Eld Zierau Using RAISE - First Impressions from the LaCoS Applications. [Citation Graph (0, 0)][DBLP ] Conf ] P. McParland , Peter Kilpatrick A Specification of a Complex Programming Language Statement. [Citation Graph (0, 0)][DBLP ] Conf ] Berthold Hoffmann , Bernd Krieg-Brückner The PROSPECTRA System. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy Dick , Jérôme Loubersac The Visual Presentation of VDM Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Moore , Peter K. D. Froome MURAL and SPECBOX. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Schmidt , Hans-Martin Hörcher The VDM Domain Compiler: A VDM Class Library Generator. [Citation Graph (0, 0)][DBLP ] Conf ] Nico Plat , Kees Pronk , Marcel Verhoef The Delft VDM-SL Front-End. [Citation Graph (0, 0)][DBLP ] Conf ] H. Heping , Hussein Zedan Prototyping with Temporal VDM: A Status Report. [Citation Graph (0, 0)][DBLP ] Conf ] Kees M. van Hee , Lou J. Somers , Marc Voorhoeve The EXSPECT Tool. [Citation Graph (0, 0)][DBLP ] Conf ] David Jordan CADIZ - Computer Aided Design in Z. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Dollin The HP-ST Toolset. [Citation Graph (0, 0)][DBLP ] Conf ] CRI RAISE Tools Group The RAISE Toolset. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Houston The IBM Z Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Flemming M. Damm , Hans Bruun , Bo Stig Hansen The VDM-SL Editor and Consistency Checker. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew K. O. Lee , Ib Holm Sørensen B-Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Blaue A VDM Subset Compiler. [Citation Graph (0, 0)][DBLP ] Conf ] 