callback( { "result":{ "query":":facetid:toc:\"db/conf/fm/vdme1991-1.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"209.41" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"55", "@dc":"55", "@oc":"55", "@id":"43382307", "text":":facetid:toc:db/conf/fm/vdme1991-1.bht" } }, "hits":{ "@total":"55", "@computed":"55", "@sent":"55", "@first":"0", "hit":[{ "@score":"1", "@id":"6915092", "info":{"authors":{"author":{"@pid":"22/3895","text":"R. D. Arthan"}},"title":"On Formal Specification of a Proof Tool.","venue":"VDM Europe","pages":"356-370","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Arthan91","doi":"10.1007/3-540-54834-3_22","ee":"https://doi.org/10.1007/3-540-54834-3_22","url":"https://dblp.org/rec/conf/fm/Arthan91"}, "url":"URL#6915092" }, { "@score":"1", "@id":"6915093", "info":{"authors":{"author":{"@pid":"15/48","text":"Stephen Bear"}},"title":"An Overview of HP-SL.","venue":"VDM Europe","pages":"571-587","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Bear91","doi":"10.1007/3-540-54834-3_33","ee":"https://doi.org/10.1007/3-540-54834-3_33","url":"https://dblp.org/rec/conf/fm/Bear91"}, "url":"URL#6915093" }, { "@score":"1", "@id":"6915094", "info":{"authors":{"author":[{"@pid":"90/4467","text":"Marek A. Bednarczyk"},{"@pid":"87/6560","text":"Andrzej M. Borzyszkowski"}]},"title":"CPO's do not form a CPO, and yet Recursion Works.","venue":"VDM Europe","pages":"268-278","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/BednarczykB91","doi":"10.1007/3-540-54834-3_17","ee":"https://doi.org/10.1007/3-540-54834-3_17","url":"https://dblp.org/rec/conf/fm/BednarczykB91"}, "url":"URL#6915094" }, { "@score":"1", "@id":"6915095", "info":{"authors":{"author":{"@pid":"55/4929","text":"Marc V. Benveniste"}},"title":"Writing Operational Semantics in Z: A Sructural Approach.","venue":"VDM Europe","pages":"164-188","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Benveniste91","doi":"10.1007/3-540-54834-3_12","ee":"https://doi.org/10.1007/3-540-54834-3_12","url":"https://dblp.org/rec/conf/fm/Benveniste91"}, "url":"URL#6915095" }, { "@score":"1", "@id":"6915096", "info":{"authors":{"author":[{"@pid":"47/4549","text":"Juan Bicarregui"},{"@pid":"59/4884","text":"Brian Ritchie"}]},"title":"Reasoning about VDM Developments using the VDM Support Tool in MURAL.","venue":"VDM Europe","pages":"371-388","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/BicarreguiR91","doi":"10.1007/3-540-54834-3_23","ee":"https://doi.org/10.1007/3-540-54834-3_23","url":"https://dblp.org/rec/conf/fm/BicarreguiR91"}, "url":"URL#6915096" }, { "@score":"1", "@id":"6915097", "info":{"authors":{"author":{"@pid":"73/2315","text":"Christoph Blaue"}},"title":"A VDM Subset Compiler.","venue":"VDM Europe","pages":"697-698","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Blaue91","doi":"10.1007/3-540-54834-3_54","ee":"https://doi.org/10.1007/3-540-54834-3_54","url":"https://dblp.org/rec/conf/fm/Blaue91"}, "url":"URL#6915097" }, { "@score":"1", "@id":"6915098", "info":{"authors":{"author":{"@pid":"35/2125","text":"Reinder J. Bril"}},"title":"A Model-Oriented Method for Algebraic Specification using COLD-1 as Notation.","venue":"VDM Europe","pages":"106-124","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Bril91","doi":"10.1007/3-540-54834-3_9","ee":"https://doi.org/10.1007/3-540-54834-3_9","url":"https://dblp.org/rec/conf/fm/Bril91"}, "url":"URL#6915098" }, { "@score":"1", "@id":"6915099", "info":{"authors":{"author":[{"@pid":"12/5748","text":"Hans Bruun"},{"@pid":"13/822","text":"Bo Stig Hansen"},{"@pid":"36/2949","text":"Flemming M. Damm"}]},"title":"An Approach to the Static Semantics of VDM-SL.","venue":"VDM Europe","pages":"220-253","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/BruunHD91","doi":"10.1007/3-540-54834-3_15","ee":"https://doi.org/10.1007/3-540-54834-3_15","url":"https://dblp.org/rec/conf/fm/BruunHD91"}, "url":"URL#6915099" }, { "@score":"1", "@id":"6915100", "info":{"authors":{"author":{"@pid":"b/MichaelJButler","text":"Michael J. Butler"}},"title":"Behavioural Extension for CSP.","venue":"VDM Europe","pages":"254-267","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Butler91","doi":"10.1007/3-540-54834-3_16","ee":"https://doi.org/10.1007/3-540-54834-3_16","url":"https://dblp.org/rec/conf/fm/Butler91"}, "url":"URL#6915100" }, { "@score":"1", "@id":"6915101", "info":{"authors":{"author":{"@pid":"01/446","text":"Thierry Cattel"}},"title":"Tactical Tools for Distributing VDM Specifications.","venue":"VDM Europe","pages":"309-323","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Cattel91","doi":"10.1007/3-540-54834-3_19","ee":"https://doi.org/10.1007/3-540-54834-3_19","url":"https://dblp.org/rec/conf/fm/Cattel91"}, "url":"URL#6915101" }, { "@score":"1", "@id":"6915102", "info":{"authors":{"author":[{"@pid":"45/1405","text":"D. L. Chalmers"},{"@pid":"76/3145","text":"Bent Dandanell"},{"@pid":"90/49","text":"Jesper Gørtz"},{"@pid":"49/3240","text":"Jan Storbank Pedersen"},{"@pid":"92/4236","text":"Eld Zierau 0001"}]},"title":"Using RAISE - First Impressions from the LaCoS Applications.","venue":"VDM Europe","pages":"645-657","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/ChalmersDGPZ91","doi":"10.1007/3-540-54834-3_39","ee":"https://doi.org/10.1007/3-540-54834-3_39","url":"https://dblp.org/rec/conf/fm/ChalmersDGPZ91"}, "url":"URL#6915102" }, { "@score":"1", "@id":"6915103", "info":{"authors":{"author":{"@pid":"15/2008","text":"Tim Clement"}},"title":"Combining Transformation and Posit-and Prove in a VDM Development.","venue":"VDM Europe","pages":"63-80","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Clement91","doi":"10.1007/3-540-54834-3_7","ee":"https://doi.org/10.1007/3-540-54834-3_7","url":"https://dblp.org/rec/conf/fm/Clement91"}, "url":"URL#6915103" }, { "@score":"1", "@id":"6915104", "info":{"authors":{"author":[{"@pid":"43/4180","text":"Dan Craigen"},{"@pid":"17/627","text":"Sentot Kromodimoeljo"},{"@pid":"18/6858","text":"Irwin Meisels"},{"@pid":"50/4084","text":"Bill Pase"},{"@pid":"83/3249","text":"Mark Saaltink"}]},"title":"EVES: An Overview.","venue":"VDM Europe","pages":"389-405","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/CraigenKMPS91","doi":"10.1007/3-540-54834-3_24","ee":"https://doi.org/10.1007/3-540-54834-3_24","url":"https://dblp.org/rec/conf/fm/CraigenKMPS91"}, "url":"URL#6915104" }, { "@score":"1", "@id":"6915106", "info":{"authors":{"author":[{"@pid":"36/2949","text":"Flemming M. Damm"},{"@pid":"12/5748","text":"Hans Bruun"},{"@pid":"13/822","text":"Bo Stig Hansen"}]},"title":"The VDM-SL Editor and Consistency Checker.","venue":"VDM Europe","pages":"693-694","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/DammBH91","doi":"10.1007/3-540-54834-3_52","ee":"https://doi.org/10.1007/3-540-54834-3_52","url":"https://dblp.org/rec/conf/fm/DammBH91"}, "url":"URL#6915106" }, { "@score":"1", "@id":"6915107", "info":{"authors":{"author":[{"@pid":"36/2949","text":"Flemming M. Damm"},{"@pid":"13/822","text":"Bo Stig Hansen"},{"@pid":"12/5748","text":"Hans Bruun"}]},"title":"On Type Checking in VDM and Related Consistency Issues.","venue":"VDM Europe","pages":"45-62","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/DammHB91","doi":"10.1007/3-540-54834-3_6","ee":"https://doi.org/10.1007/3-540-54834-3_6","url":"https://dblp.org/rec/conf/fm/DammHB91"}, "url":"URL#6915107" }, { "@score":"1", "@id":"6915108", "info":{"authors":{"author":[{"@pid":"74/1088","text":"Jeremy Dick"},{"@pid":"61/237","text":"Jérôme Loubersac"}]},"title":"The Visual Presentation of VDM Specifications.","venue":"VDM Europe","pages":"670-671","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/DickL91","doi":"10.1007/3-540-54834-3_42","ee":"https://doi.org/10.1007/3-540-54834-3_42","url":"https://dblp.org/rec/conf/fm/DickL91"}, "url":"URL#6915108" }, { "@score":"1", "@id":"6915109", "info":{"authors":{"author":{"@pid":"58/6212","text":"Chris Dollin"}},"title":"The HP-ST Toolset.","venue":"VDM Europe","pages":"687-688","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Dollin91","doi":"10.1007/3-540-54834-3_49","ee":"https://doi.org/10.1007/3-540-54834-3_49","url":"https://dblp.org/rec/conf/fm/Dollin91"}, "url":"URL#6915109" }, { "@score":"1", "@id":"6915110", "info":{"authors":{"author":[{"@pid":"79/5464","text":"Veronika Doma"},{"@pid":"30/4197","text":"Robin A. Nicholl"}]},"title":"EZ: A System for Automatic Prototyping of Z Specifications.","venue":"VDM Europe","pages":"189-203","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/DomaN91","doi":"10.1007/3-540-54834-3_13","ee":"https://doi.org/10.1007/3-540-54834-3_13","url":"https://dblp.org/rec/conf/fm/DomaN91"}, "url":"URL#6915110" }, { "@score":"1", "@id":"6915111", "info":{"authors":{"author":{"@pid":"60/914","text":"Morten Elvang-Gøransson"}},"title":"Reasoning about VDM Specifications.","venue":"VDM Europe","pages":"343-355","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Elvang-Goransson91","doi":"10.1007/3-540-54834-3_21","ee":"https://doi.org/10.1007/3-540-54834-3_21","url":"https://dblp.org/rec/conf/fm/Elvang-Goransson91"}, "url":"URL#6915111" }, { "@score":"1", "@id":"6915112", "info":{"authors":{"author":[{"@pid":"01/2201","text":"David Garlan"},{"@pid":"n/DavidNotkin","text":"David Notkin"}]},"title":"Formalizing Design Spaces: Implicit Invocation Mechanisms.","venue":"VDM Europe","pages":"31-44","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/GarlanN91","doi":"10.1007/3-540-54834-3_5","ee":"https://doi.org/10.1007/3-540-54834-3_5","url":"https://dblp.org/rec/conf/fm/GarlanN91"}, "url":"URL#6915112" }, { "@score":"1", "@id":"6915114", "info":{"authors":{"author":{"@pid":"38/311","text":"David M. Goldschlag"}},"title":"A Mechanical Formalization of Several Fairness Notions.","venue":"VDM Europe","pages":"125-148","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Goldschlag91","doi":"10.1007/3-540-54834-3_10","ee":"https://doi.org/10.1007/3-540-54834-3_10","url":"https://dblp.org/rec/conf/fm/Goldschlag91"}, "url":"URL#6915114" }, { "@score":"1", "@id":"6915116", "info":{"title":"The RAISE Toolset.","venue":"VDM Europe","pages":"689-690","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Group91","doi":"10.1007/3-540-54834-3_50","ee":"https://doi.org/10.1007/3-540-54834-3_50","url":"https://dblp.org/rec/conf/fm/Group91"}, "url":"URL#6915116" }, { "@score":"1", "@id":"6915117", "info":{"authors":{"author":{"@pid":"g/JohnVGuttag","text":"John V. Guttag"}},"title":"The Larch Approach to Specification (Abstract).","venue":"VDM Europe","pages":"10","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Guttag91","doi":"10.1007/3-540-54834-3_3","ee":"https://doi.org/10.1007/3-540-54834-3_3","url":"https://dblp.org/rec/conf/fm/Guttag91"}, "url":"URL#6915117" }, { "@score":"1", "@id":"6915119", "info":{"authors":{"author":[{"@pid":"82/3398","text":"Kees M. van Hee"},{"@pid":"16/3155","text":"Lou J. Somers"},{"@pid":"48/1901","text":"Marc Voorhoeve"}]},"title":"Z and High Level Petri Nets.","venue":"VDM Europe","pages":"204-219","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/HeeSV91","doi":"10.1007/3-540-54834-3_14","ee":"https://doi.org/10.1007/3-540-54834-3_14","url":"https://dblp.org/rec/conf/fm/HeeSV91"}, "url":"URL#6915119" }, { "@score":"1", "@id":"6915120", "info":{"authors":{"author":[{"@pid":"82/3398","text":"Kees M. van Hee"},{"@pid":"16/3155","text":"Lou J. Somers"},{"@pid":"48/1901","text":"Marc Voorhoeve"}]},"title":"The EXSPECT Tool.","venue":"VDM Europe","pages":"683-684","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/HeeSV91a","doi":"10.1007/3-540-54834-3_47","ee":"https://doi.org/10.1007/3-540-54834-3_47","url":"https://dblp.org/rec/conf/fm/HeeSV91a"}, "url":"URL#6915120" }, { "@score":"1", "@id":"6915121", "info":{"authors":{"author":[{"@pid":"83/6703","text":"Heping He"},{"@pid":"z/HZedan","text":"Hussein Zedan"}]},"title":"Prototyping with Temporal VDM: A Status Report.","venue":"VDM Europe","pages":"681-682","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/HepingZ91","doi":"10.1007/3-540-54834-3_46","ee":"https://doi.org/10.1007/3-540-54834-3_46","url":"https://dblp.org/rec/conf/fm/HepingZ91"}, "url":"URL#6915121" }, { "@score":"1", "@id":"6915122", "info":{"authors":{"author":[{"@pid":"95/3187","text":"Berthold Hoffmann"},{"@pid":"k/BerndKriegBruckner","text":"Bernd Krieg-Brückner"}]},"title":"The PROSPECTRA System.","venue":"VDM Europe","pages":"668-669","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/HoffmannK91","doi":"10.1007/3-540-54834-3_41","ee":"https://doi.org/10.1007/3-540-54834-3_41","url":"https://dblp.org/rec/conf/fm/HoffmannK91"}, "url":"URL#6915122" }, { "@score":"1", "@id":"6915123", "info":{"authors":{"author":{"@pid":"28/6257","text":"Ian Houston"}},"title":"The IBM Z Tool.","venue":"VDM Europe","pages":"691-692","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Houston91","doi":"10.1007/3-540-54834-3_51","ee":"https://doi.org/10.1007/3-540-54834-3_51","url":"https://dblp.org/rec/conf/fm/Houston91"}, "url":"URL#6915123" }, { "@score":"1", "@id":"6915124", "info":{"authors":{"author":[{"@pid":"28/6257","text":"Ian Houston"},{"@pid":"06/1838","text":"Steve King 0001"}]},"title":"CICS Project Report: Experiences and Results from the use of Z in IBM.","venue":"VDM Europe","pages":"588-596","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/HoustonK91","doi":"10.1007/3-540-54834-3_34","ee":"https://doi.org/10.1007/3-540-54834-3_34","url":"https://dblp.org/rec/conf/fm/HoustonK91"}, "url":"URL#6915124" }, { "@score":"1", "@id":"6915125", "info":{"authors":{"author":{"@pid":"92/1629-1","text":"Michael Jackson 0001"}},"title":"Description is our Business.","venue":"VDM Europe","pages":"1-8","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Jackson91","doi":"10.1007/3-540-54834-3_1","ee":"https://doi.org/10.1007/3-540-54834-3_1","url":"https://dblp.org/rec/conf/fm/Jackson91"}, "url":"URL#6915125" }, { "@score":"1", "@id":"6915126", "info":{"authors":{"author":{"@pid":"j/HBMJonkers","text":"H. B. M. Jonkers"}},"title":"Upgrading the Pre- and Postcondition Technique.","venue":"VDM Europe","pages":"428-456","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Jonkers91","doi":"10.1007/3-540-54834-3_26","ee":"https://doi.org/10.1007/3-540-54834-3_26","url":"https://dblp.org/rec/conf/fm/Jonkers91"}, "url":"URL#6915126" }, { "@score":"1", "@id":"6915127", "info":{"authors":{"author":{"@pid":"14/1171","text":"David Jordan"}},"title":"CADIZ - Computer Aided Design in Z.","venue":"VDM Europe","pages":"685-686","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Jordan91","doi":"10.1007/3-540-54834-3_48","ee":"https://doi.org/10.1007/3-540-54834-3_48","url":"https://dblp.org/rec/conf/fm/Jordan91"}, "url":"URL#6915127" }, { "@score":"1", "@id":"6915128", "info":{"authors":{"author":[{"@pid":"10/2439","text":"D. Kinnaes"},{"@pid":"80/1137","text":"Karel De Vlaminck"}]},"title":"A Debugger for a Meta-IV-like Meta-Language.","venue":"VDM Europe","pages":"597-603","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/KinnaesV91","doi":"10.1007/3-540-54834-3_35","ee":"https://doi.org/10.1007/3-540-54834-3_35","url":"https://dblp.org/rec/conf/fm/KinnaesV91"}, "url":"URL#6915128" }, { "@score":"1", "@id":"6915130", "info":{"authors":{"author":[{"@pid":"40/6670","text":"Peter Gorm Larsen"},{"@pid":"18/2953","text":"Poul Bøgh Lassen"}]},"title":"An Executable Subset of Meta-IV with Loose Specification.","venue":"VDM Europe","pages":"604-618","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/LarsenL91","doi":"10.1007/3-540-54834-3_36","ee":"https://doi.org/10.1007/3-540-54834-3_36","url":"https://dblp.org/rec/conf/fm/LarsenL91"}, "url":"URL#6915130" }, { "@score":"1", "@id":"6915131", "info":{"authors":{"author":{"@pid":"r/GRRenardeldeLavalette","text":"Gerard R. Renardel de Lavalette"}},"title":"Formal Development of a Serial Copy Management System.","venue":"VDM Europe","pages":"477-495","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Lavalette91","doi":"10.1007/3-540-54834-3_28","ee":"https://doi.org/10.1007/3-540-54834-3_28","url":"https://dblp.org/rec/conf/fm/Lavalette91"}, "url":"URL#6915131" }, { "@score":"1", "@id":"6915132", "info":{"authors":{"author":[{"@pid":"90/4914","text":"Matthew Lee 0005"},{"@pid":"91/4074","text":"Ib Holm Sørensen"}]},"title":"B-Tool.","venue":"VDM Europe","pages":"695-696","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/LeeS91","doi":"10.1007/3-540-54834-3_53","ee":"https://doi.org/10.1007/3-540-54834-3_53","url":"https://dblp.org/rec/conf/fm/LeeS91"}, "url":"URL#6915132" }, { "@score":"1", "@id":"6915133", "info":{"authors":{"author":[{"@pid":"97/5910","text":"Lynn S. Marshall"},{"@pid":"47/5075","text":"Linda Simon"}]},"title":"Using VDM within an Object-Oriented Framework.","venue":"VDM Europe","pages":"619-628","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/MarshallS91","doi":"10.1007/3-540-54834-3_37","ee":"https://doi.org/10.1007/3-540-54834-3_37","url":"https://dblp.org/rec/conf/fm/MarshallS91"}, "url":"URL#6915133" }, { "@score":"1", "@id":"6915134", "info":{"authors":{"author":[{"@pid":"91/3884","text":"P. McParland"},{"@pid":"k/PeterKilpatrick","text":"Peter Kilpatrick"}]},"title":"A Specification of a Complex Programming Language Statement.","venue":"VDM Europe","pages":"658-667","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/McParlandK91","doi":"10.1007/3-540-54834-3_40","ee":"https://doi.org/10.1007/3-540-54834-3_40","url":"https://dblp.org/rec/conf/fm/McParlandK91"}, "url":"URL#6915134" }, { "@score":"1", "@id":"6915135", "info":{"authors":{"author":[{"@pid":"m/KeesMiddelburg","text":"Cornelis A. Middelburg"},{"@pid":"r/GRRenardeldeLavalette","text":"Gerard R. Renardel de Lavalette"}]},"title":"LPF and MPLomega - A Logical Comparison of VDM SL and COLD-K.","venue":"VDM Europe","pages":"279-308","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/MiddelburgL91","doi":"10.1007/3-540-54834-3_18","ee":"https://doi.org/10.1007/3-540-54834-3_18","url":"https://dblp.org/rec/conf/fm/MiddelburgL91"}, "url":"URL#6915135" }, { "@score":"1", "@id":"6915136", "info":{"authors":{"author":{"@pid":"m/RobinMilner","text":"Robin Milner"}},"title":"Concurrent Processes as Objects (Abstract).","venue":"VDM Europe","pages":"9","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Milner91","doi":"10.1007/3-540-54834-3_2","ee":"https://doi.org/10.1007/3-540-54834-3_2","url":"https://dblp.org/rec/conf/fm/Milner91"}, "url":"URL#6915136" }, { "@score":"1", "@id":"6915137", "info":{"authors":{"author":[{"@pid":"06/8346","text":"Richard C. Moore"},{"@pid":"60/1411","text":"Peter K. D. Froome"}]},"title":"MURAL and SPECBOX.","venue":"VDM Europe","pages":"672-674","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/MooreF91","doi":"10.1007/3-540-54834-3_43","ee":"https://doi.org/10.1007/3-540-54834-3_43","url":"https://dblp.org/rec/conf/fm/MooreF91"}, "url":"URL#6915137" }, { "@score":"1", "@id":"6915138", "info":{"authors":{"author":[{"@pid":"72/3911","text":"Graeme I. P. Parkin"},{"@pid":"21/4243","text":"G. O'Neill"}]},"title":"Specification of the MAA Standard in VDM.","venue":"VDM Europe","pages":"526-544","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/ParkinO91","doi":"10.1007/3-540-54834-3_31","ee":"https://doi.org/10.1007/3-540-54834-3_31","url":"https://dblp.org/rec/conf/fm/ParkinO91"}, "url":"URL#6915138" }, { "@score":"1", "@id":"6915139", "info":{"authors":{"author":[{"@pid":"67/1020","text":"David A. Penny"},{"@pid":"h/RichardCHolt","text":"Richard C. Holt"},{"@pid":"g/MichaelWGodfrey","text":"Michael W. Godfrey"}]},"title":"Formal Specification in Metamorphic Programing.","venue":"VDM Europe","pages":"11-30","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/PennyHG91","doi":"10.1007/3-540-54834-3_4","ee":"https://doi.org/10.1007/3-540-54834-3_4","url":"https://dblp.org/rec/conf/fm/PennyHG91"}, "url":"URL#6915139" }, { "@score":"1", "@id":"6915140", "info":{"authors":{"author":[{"@pid":"30/5157","text":"Nico Plat"},{"@pid":"70/1306","text":"Jan van Katwijk"},{"@pid":"p/CornelisPronk","text":"Kees Pronk"}]},"title":"A Case for Structured Analysis/Formal Design.","venue":"VDM Europe","pages":"81-105","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/PlatKP91","doi":"10.1007/3-540-54834-3_8","ee":"https://doi.org/10.1007/3-540-54834-3_8","url":"https://dblp.org/rec/conf/fm/PlatKP91"}, "url":"URL#6915140" }, { "@score":"1", "@id":"6915141", "info":{"authors":{"author":[{"@pid":"30/5157","text":"Nico Plat"},{"@pid":"p/CornelisPronk","text":"Kees Pronk"},{"@pid":"57/2692","text":"Marcel Verhoef"}]},"title":"The Delft VDM-SL Front-End.","venue":"VDM Europe","pages":"677-680","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/PlatPV91","doi":"10.1007/3-540-54834-3_45","ee":"https://doi.org/10.1007/3-540-54834-3_45","url":"https://dblp.org/rec/conf/fm/PlatPV91"}, "url":"URL#6915141" }, { "@score":"1", "@id":"6915142", "info":{"authors":{"author":{"@pid":"82/937","text":"A. Puccetti"}},"title":"The Integrated Software Development and Verification System ATES.","venue":"VDM Europe","pages":"629-644","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Puccetti91","doi":"10.1007/3-540-54834-3_38","ee":"https://doi.org/10.1007/3-540-54834-3_38","url":"https://dblp.org/rec/conf/fm/Puccetti91"}, "url":"URL#6915142" }, { "@score":"1", "@id":"6915143", "info":{"authors":{"author":[{"@pid":"43/6995","text":"Stephan Rössig"},{"@pid":"08/3762","text":"Michael Schenke"}]},"title":"Specification and Stepwise Development of Communicating Systems.","venue":"VDM Europe","pages":"149-163","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/RossigS91","doi":"10.1007/3-540-54834-3_11","ee":"https://doi.org/10.1007/3-540-54834-3_11","url":"https://dblp.org/rec/conf/fm/RossigS91"}, "url":"URL#6915143" }, { "@score":"1", "@id":"6915144", "info":{"authors":{"author":[{"@pid":"s/KlausDieterSchewe","text":"Klaus-Dieter Schewe"},{"@pid":"s/JoachimWSchmidt","text":"Joachim W. Schmidt"},{"@pid":"w/IngridWetzel","text":"Ingrid Wetzel"}]},"title":"Specification and Refinement in an Integrated Database Application Environment.","venue":"VDM Europe","pages":"496-510","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/ScheweSW91","doi":"10.1007/3-540-54834-3_29","ee":"https://doi.org/10.1007/3-540-54834-3_29","url":"https://dblp.org/rec/conf/fm/ScheweSW91"}, "url":"URL#6915144" }, { "@score":"1", "@id":"6915145", "info":{"authors":{"author":[{"@pid":"08/2010-2","text":"Uwe Schmidt 0002"},{"@pid":"57/4031","text":"Hans-Martin Hörcher"}]},"title":"The VDM Domain Compiler: A VDM Class Library Generator.","venue":"VDM Europe","pages":"675-676","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/SchmidtH91","doi":"10.1007/3-540-54834-3_44","ee":"https://doi.org/10.1007/3-540-54834-3_44","url":"https://dblp.org/rec/conf/fm/SchmidtH91"}, "url":"URL#6915145" }, { "@score":"1", "@id":"6915146", "info":{"authors":{"author":[{"@pid":"86/5797","text":"Paul Smith"},{"@pid":"92/3180","text":"Richard Keighley"}]},"title":"The Formal Development of a Secure Transaction Mechanism.","venue":"VDM Europe","pages":"457-476","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/SmithK91","doi":"10.1007/3-540-54834-3_27","ee":"https://doi.org/10.1007/3-540-54834-3_27","url":"https://dblp.org/rec/conf/fm/SmithK91"}, "url":"URL#6915146" }, { "@score":"1", "@id":"6915147", "info":{"authors":{"author":{"@pid":"58/1759","text":"Ketil Stølen"}},"title":"An Attempt to Reason about Shared-State Concurrency in the Style of VDM.","venue":"VDM Europe","pages":"324-342","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Stolen91","doi":"10.1007/3-540-54834-3_20","ee":"https://doi.org/10.1007/3-540-54834-3_20","url":"https://dblp.org/rec/conf/fm/Stolen91"}, "url":"URL#6915147" }, { "@score":"1", "@id":"6915148", "info":{"authors":{"author":{"@pid":"22/5982-3","text":"Matthias Weber 0003"}},"title":"Deriving Transivity of VDM-Reification in DEVA.","venue":"VDM Europe","pages":"406-427","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Weber91","doi":"10.1007/3-540-54834-3_25","ee":"https://doi.org/10.1007/3-540-54834-3_25","url":"https://dblp.org/rec/conf/fm/Weber91"}, "url":"URL#6915148" }, { "@score":"1", "@id":"6915149", "info":{"authors":{"author":[{"@pid":"w/JeannetteMWing","text":"Jeannette M. Wing"},{"@pid":"z/AMZaremski","text":"Amy Moormann Zaremski"}]},"title":"Unintrusive Ways to Integrate Formal Specifications in Practice.","venue":"VDM Europe","pages":"545-569","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/WingZ91","doi":"10.1007/3-540-54834-3_32","ee":"https://doi.org/10.1007/3-540-54834-3_32","url":"https://dblp.org/rec/conf/fm/WingZ91"}, "url":"URL#6915149" }, { "@score":"1", "@id":"6915154", "info":{"authors":{"author":[{"@pid":"z/PamelaZave","text":"Pamela Zave"},{"@pid":"92/1629-1","text":"Michael Jackson 0001"}]},"title":"Techniques for Partial Specification and Specification of Switching Systems.","venue":"VDM Europe","pages":"511-525","year":"1991","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/ZaveJ91","doi":"10.1007/3-540-54834-3_30","ee":"https://doi.org/10.1007/3-540-54834-3_30","url":"https://dblp.org/rec/conf/fm/ZaveJ91"}, "url":"URL#6915154" }, { "@score":"1", "@id":"6926059", "info":{"authors":{"author":[{"@pid":"54/4052","text":"Søren Prehn"},{"@pid":"t/HansToetenel","text":"W. J. Toetenel"}]},"title":"VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions","venue":["VDM Europe","Lecture Notes in Computer Science"],"volume":"551","publisher":"Springer","year":"1991","type":"Editorship","key":"conf/fm/1991-1","doi":"10.1007/3-540-54834-3","ee":"https://doi.org/10.1007/3-540-54834-3","url":"https://dblp.org/rec/conf/fm/1991-1"}, "url":"URL#6926059" } ] } } } )