Return to home page
Searching: Muskingum library catalog
We are currently experiencing delivery delays for items requested from other institutions while transitioning to a new statewide delivery service. Please contact your library with questions or advice about alternative resources. Thank you for your patience!
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference International Symposium of Formal Methods Europe (10th : 2001 : Berlin, Germany)
Title FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / Jose Nuno Oliveira, Pamela Zave (eds.).
Imprint Berlin ; New York : Springer, 2001.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference International Symposium of Formal Methods Europe (10th : 2001 : Berlin, Germany)
Series Lecture notes in computer science ; 2021.
Lecture notes in computer science ; 2021.
Subject Computer software -- Development -- Congresses.
Alt Name Oliveira, José N.
Zave, Pamela, 1948-
Ohio Library and Information Network.
Description 1 online resource (xiii, 628 pages) : illustrations.
Bibliography Note Includes bibliographical references and index
Contents Lightweight Formal Methods -- Reformulation: a Way to Combine Dynamic Properties and B Refinement -- Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries -- Proofs of Correctness of Cache-Coherence Protocols -- Model-Checking Over Multi-Valued Logics -- How to Make FDR Spin LTL Model Checking of CSP by Refinement -- Avoiding State Explosion for Distributed Systems with Timestamps -- Secrecy-Preserving Refinement -- Information Flow Control and Applications -- Bridging a Gap -- -- A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures -- A Formal Model for Reasoning About Adaptive QoS-Enabled Middleware -- A Programming Model for Wide-Area Computing -- A Formal Model of Object-Oriented Design and GoF Design Patterns -- Validation of UML Models Thanks to Z and Lustre -- Components, Contracts, and Connectors for the Unified Modelling Language UML -- An Integrated Approach to Specification and Validation of Real-Time Systems -- Real-Time Logic Revisited -- Improvements in BDD-Based Reachability Analysis of Timed Automata -- Serialising Parallel Processes in a Hardware/Software Partitioning Context -- Verifying Implementation Relations -- An Adequate Logic for Full LOTOS -- Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (M C?) -- Faithful Translations Among Models and Specifications -- Composing Contracts: An Adventure in Financial Engineering -- From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study -- Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System -- Using Formal Verification Techniques to Reduce Simulation and Test Effort -- Transacted Memory for Smart Cards -- Houdini, an Annotation Assistant for ESC/Java -- A Heuristic for Symmetry Reductions with Scalarsets -- View Updatability Based on the Models of a Formal Specification -- Grammar Adaptation -- Test-Case Calculation Through Abstraction -- A Modular Approach to the Specification and Validation of an Electrical Flight Control System -- A Combined Testing and Verification Approach for Software Reliability.
Access Available to OhioLINK libraries
Summary This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2001, held in Berlin, Germany, in March 2001. The 32 revised full papers presented together with abstracts of three invited talks were carefully reviewed and selected from a total of 72 submissions. Focusing on increasing software productivity, all current aspects in formal methods are covered. Among the application areas addressed are avionics, smart cards, financial engineering, E-commerce, middleware, security, telecommunications, etc.
Reproduction Electronic reproduction. Columbus, OH : OhioLINK, 2008.
System Details Mode of access: World Wide Web
ISBN 3540417915 (softcover : alk. paper)
9783540417910 (softcover : alk. paper)
OCLC # 648147352
Link OhioLINK electronic book center (OCoLC)180989150.
SpringerLink (OCoLC)43927870.
Additional Format International Symposium of Formal Methods Europe (10th : 2001 : Berlin, Germany) FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings (OCoLC)46359453.



If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team