Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008516248/catalog> ?p ?o. }

Showing items 1 to 27 of 27 with 100 items per page.

catalog contributor b11913312.
catalog contributor b11913313.
catalog created "c2000.".
catalog date "2000".
catalog date "c2000.".
catalog dateCopyrighted "c2000.".
catalog description "Includes bibliographical references and index.".
catalog description "Meeting the Challege of Object-Oriented Programming / Mike Spivey -- A Formal Mapping between UML Models and Object-Z Specifications / Soon-Kyeong Kim and David Carrington -- A Generic Process to Refine a B Specification into a Relational Database Implementation / Regine Laleau and Amel Mammar -- Recursive Schema Definitions in Object-Z / Graeme Smith -- On Mutually Recursive Free Types in Z / Ian Toyn, Samuel H. Valentine and David A. Duffy -- Reasoning Inductively about Z Specifications via Unification / David A. Duffy and Ian Toyn -- Reconciling Axiomatic and Model-Based Specifications Using the B Method / Ken Robinson -- Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context / Theo Dimitrakos, Juan Bicarregui and Brian Matthews / [et al.] -- Automatic Construction of Validated B Components from Structured Developments / Pierre Bontron and Marie-Laure Potet -- ".
catalog description "Performing Algorithmic Refinement before Data Refinement in B / Michael Butler and Mairead Meagher -- Program Development and Specification Refinement in the Schema Calculus / Martin C. Henson and Steve Reeves -- Are Smart Cards the Ideal Domain for Applying Formal Methods? / Jean-Louis Lanet -- Formal Methods for Industrial Products / Susan Stepney and David Cooper -- An Execution Architecture for GSL / Bill Stoddart -- A Computation Model for Z Based on Concurrent Constraint Resolution / Wolfgang Grieskampt -- Analysis of Compiled Code: A Prototype Formal Model / R. D. Arthan -- Zzzzzzzzzzzzzzzzzzzzzzzzzz / David Everett -- Segregation with Communication / David Cooper and Susan Stepney -- Closure Induction in a Z-Like Language / David A. Duffy and Jurgen Giesl -- Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z / Chris Matthews and Paul A. Swatman.".
catalog description "Playing with Abstraction and Refinement for Managing Features Interactions / Dominique Cansell and Dominique Mery -- A Formal Architecture for the 3APL Agent Programming Language / Mark d'Inverno, Koen Hindriks and Michael Luck -- How to Drive a B Machine / Helen Treharne and Steve Schneider -- Deriving Software Specifications from Event Based Models / Nestor Lopez, Marianne Simonot and Veronique Viguie Donzeau-Gouge -- Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants / F. Bellegarde, C. Darlot and J. Julliand / [et al.] -- Type-Constrained Generics for Z / Samuel H. Valentine, Ian Toyn and Susan Stepney / [et al.] -- Typechecking Z / Ian Toyn, Samuel H. Valentine and Susan Stepney / [et al.] -- Guards, Preconditions, and Refinement in Z / Ralph Miarka, Eerke Boiten and John Derrick -- Retrenchment, Refinement, and Simulation / R. Banach and M. Poppleton -- ".
catalog extent "xiv, 510 p. :".
catalog identifier "3540679448 (softcover : alk. paper)".
catalog isPartOf "Lecture notes in computer science ; 1878".
catalog issued "2000".
catalog issued "c2000.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog subject "005.13/3 21".
catalog subject "B (Computer program language) Congresses.".
catalog subject "QA76.73.B155 I58 2000".
catalog subject "Z (Computer program language) Congresses.".
catalog tableOfContents "Meeting the Challege of Object-Oriented Programming / Mike Spivey -- A Formal Mapping between UML Models and Object-Z Specifications / Soon-Kyeong Kim and David Carrington -- A Generic Process to Refine a B Specification into a Relational Database Implementation / Regine Laleau and Amel Mammar -- Recursive Schema Definitions in Object-Z / Graeme Smith -- On Mutually Recursive Free Types in Z / Ian Toyn, Samuel H. Valentine and David A. Duffy -- Reasoning Inductively about Z Specifications via Unification / David A. Duffy and Ian Toyn -- Reconciling Axiomatic and Model-Based Specifications Using the B Method / Ken Robinson -- Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context / Theo Dimitrakos, Juan Bicarregui and Brian Matthews / [et al.] -- Automatic Construction of Validated B Components from Structured Developments / Pierre Bontron and Marie-Laure Potet -- ".
catalog tableOfContents "Performing Algorithmic Refinement before Data Refinement in B / Michael Butler and Mairead Meagher -- Program Development and Specification Refinement in the Schema Calculus / Martin C. Henson and Steve Reeves -- Are Smart Cards the Ideal Domain for Applying Formal Methods? / Jean-Louis Lanet -- Formal Methods for Industrial Products / Susan Stepney and David Cooper -- An Execution Architecture for GSL / Bill Stoddart -- A Computation Model for Z Based on Concurrent Constraint Resolution / Wolfgang Grieskampt -- Analysis of Compiled Code: A Prototype Formal Model / R. D. Arthan -- Zzzzzzzzzzzzzzzzzzzzzzzzzz / David Everett -- Segregation with Communication / David Cooper and Susan Stepney -- Closure Induction in a Z-Like Language / David A. Duffy and Jurgen Giesl -- Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z / Chris Matthews and Paul A. Swatman.".
catalog tableOfContents "Playing with Abstraction and Refinement for Managing Features Interactions / Dominique Cansell and Dominique Mery -- A Formal Architecture for the 3APL Agent Programming Language / Mark d'Inverno, Koen Hindriks and Michael Luck -- How to Drive a B Machine / Helen Treharne and Steve Schneider -- Deriving Software Specifications from Event Based Models / Nestor Lopez, Marianne Simonot and Veronique Viguie Donzeau-Gouge -- Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants / F. Bellegarde, C. Darlot and J. Julliand / [et al.] -- Type-Constrained Generics for Z / Samuel H. Valentine, Ian Toyn and Susan Stepney / [et al.] -- Typechecking Z / Ian Toyn, Samuel H. Valentine and Susan Stepney / [et al.] -- Guards, Preconditions, and Refinement in Z / Ralph Miarka, Eerke Boiten and John Derrick -- Retrenchment, Refinement, and Simulation / R. Banach and M. Poppleton -- ".
catalog title "ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 28-September 2, 2000 : proceedings / Jonathan P. Bowen ... [et al.] (eds.).".
catalog type "Conference proceedings. fast".
catalog type "text".