Harvard |

Harvard

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

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

catalog contributor b11521843.
catalog contributor b11521844.
catalog created "c1999.".
catalog date "1999".
catalog date "c1999.".
catalog dateCopyrighted "c1999.".
catalog description "A Lightweight Approach to Formal Methods / Sten Agerholm and Peter Gorm Larsen -- An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools / Robert Bussow, Wolfgang Grieskamp and Winfried Heicking / [et al.] -- Integrating Domain Specific Language Design in the Software Life Cycle / Philipp W. Kutter, Daniel Schweizer and Lothar Thiele -- Flexible and Reliable Process Model Properties: An Integrated Approach / Tiziana Margaria and Volker Gruhn -- A Symbolic Model Checker for ACTL / A. Fantechi, S. Gnesi and F. Mazzanti / [et al.] -- Critical Systems Validation and Verification with CSP and FDR / Michael Goldsmith and Irfan Zakiuddin -- UniForM Perspectives for Formal Methods / Bernd Krieg-Bruckner -- The UniForM WorkBench -- A Higher Order Tool Integration Framework / Einar W. Karlsen -- Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol /".
catalog description "High Level System Design and Analysis Using Abstract State Machines / Egon Borger -- Enriching the Software Development Process by Formal Methods / Manfred Broy and Oscar Slotosch -- Formal Program Development in Geometric Modeling / Francois Puitg and Jean-Francois Dufourd -- Design of Distributed Multimedia Applications (DAMD) / Wanderley Lopes de Souza, Paulo Nazareno Maia Sampaio and Jean-Marie Farines / [and others] -- Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip / Alfons Geser and Wolfgang Kuchlin -- Automated Test Set Generation for Statecharts / K. Bogdanov, M. Holcombe and H. Singh -- Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct / Wolfgang Goerigk and Ulrich Hoffmann -- Translation Validation: From DC+ to C / A. Pnueli, O. Shtrichman and M. Siegel -- A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems / Satoshi Yamane --".
catalog description "Includes bibliographical references and index.".
catalog description "Masahiro Fujita, Sree P. Rajan and Alan Hu -- Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier / Meinc van der Meulen and Tim Clement -- The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process / Frank Koob, Markus Ullmann and Stefan Wittmann -- Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture / Giuseppe Del Castillo -- The IFAD VDM Tools: Lightweight Formal Methods / Sten Agerholm and Peter Gorm Larsen -- KIV 3.0 for Provably Correct Systems / Michael Balser, Wolfgang Reif and Gerhard Schellhorn / [et al.] -- PVS: An Experience Report / S. Owre, J.M. Rushby and N. Shankar / [et al.] -- QUEST: Overview over the Project / Oscar Slotosch -- VSE: Controlling the Complexity in Formal Software Developments / Dieter Hutter, Heiko Mantel and Georg Rock / [et al.] --".
catalog description "The wHOLe System / Mark E. Woodcock -- Z/EVES Version 1.5: An Overview / ORA Canada.".
catalog extent "xi, 376 p. :".
catalog identifier "3540664629 (softcover : alk. paper)".
catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1641".
catalog issued "1999".
catalog issued "c1999.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog subject "005.13/1 21".
catalog subject "Formal methods (Computer science) Congresses.".
catalog subject "QA76.9.F67 I59 1998".
catalog tableOfContents "A Lightweight Approach to Formal Methods / Sten Agerholm and Peter Gorm Larsen -- An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools / Robert Bussow, Wolfgang Grieskamp and Winfried Heicking / [et al.] -- Integrating Domain Specific Language Design in the Software Life Cycle / Philipp W. Kutter, Daniel Schweizer and Lothar Thiele -- Flexible and Reliable Process Model Properties: An Integrated Approach / Tiziana Margaria and Volker Gruhn -- A Symbolic Model Checker for ACTL / A. Fantechi, S. Gnesi and F. Mazzanti / [et al.] -- Critical Systems Validation and Verification with CSP and FDR / Michael Goldsmith and Irfan Zakiuddin -- UniForM Perspectives for Formal Methods / Bernd Krieg-Bruckner -- The UniForM WorkBench -- A Higher Order Tool Integration Framework / Einar W. Karlsen -- Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol /".
catalog tableOfContents "High Level System Design and Analysis Using Abstract State Machines / Egon Borger -- Enriching the Software Development Process by Formal Methods / Manfred Broy and Oscar Slotosch -- Formal Program Development in Geometric Modeling / Francois Puitg and Jean-Francois Dufourd -- Design of Distributed Multimedia Applications (DAMD) / Wanderley Lopes de Souza, Paulo Nazareno Maia Sampaio and Jean-Marie Farines / [and others] -- Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip / Alfons Geser and Wolfgang Kuchlin -- Automated Test Set Generation for Statecharts / K. Bogdanov, M. Holcombe and H. Singh -- Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct / Wolfgang Goerigk and Ulrich Hoffmann -- Translation Validation: From DC+ to C / A. Pnueli, O. Shtrichman and M. Siegel -- A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems / Satoshi Yamane --".
catalog tableOfContents "Masahiro Fujita, Sree P. Rajan and Alan Hu -- Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier / Meinc van der Meulen and Tim Clement -- The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process / Frank Koob, Markus Ullmann and Stefan Wittmann -- Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture / Giuseppe Del Castillo -- The IFAD VDM Tools: Lightweight Formal Methods / Sten Agerholm and Peter Gorm Larsen -- KIV 3.0 for Provably Correct Systems / Michael Balser, Wolfgang Reif and Gerhard Schellhorn / [et al.] -- PVS: An Experience Report / S. Owre, J.M. Rushby and N. Shankar / [et al.] -- QUEST: Overview over the Project / Oscar Slotosch -- VSE: Controlling the Complexity in Formal Software Developments / Dieter Hutter, Heiko Mantel and Georg Rock / [et al.] --".
catalog tableOfContents "The wHOLe System / Mark E. Woodcock -- Z/EVES Version 1.5: An Overview / ORA Canada.".
catalog title "Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / Dieter Hutter ... [et al.].".
catalog type "Boppard (1998) swd".
catalog type "Conference proceedings. fast".
catalog type "text".