Coverart for item
The Resource FME 2001: Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe Berlin, Germany, March 1216, 2001 Proceedings, edited by Jos Nuno Oliveira, Pamela Zave, (electronic resource)

FME 2001: Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe Berlin, Germany, March 1216, 2001 Proceedings, edited by Jos Nuno Oliveira, Pamela Zave, (electronic resource)

Label
FME 2001: Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe Berlin, Germany, March 1216, 2001 Proceedings
Title
FME 2001: Formal Methods for Increasing Software Productivity
Title remainder
International Symposium of Formal Methods Europe Berlin, Germany, March 1216, 2001 Proceedings
Statement of responsibility
edited by Jos Nuno Oliveira, Pamela Zave
Contributor
Subject
Genre
Language
eng
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
Member of
Cataloging source
DKDLA
Dewey number
005.1015113
Index
no index present
LC call number
QA76.9.L63
Literary form
non fiction
Nature of contents
  • dictionaries
  • standards specifications
http://library.link/vocab/relatedWorkOrContributorName
  • Oliveira, Jos Nuno
  • Zave, Pamela
Series statement
Lecture Notes in Computer Science
Series volume
2021,
http://library.link/vocab/subjectName
  • Computer science
  • Software engineering
  • Logic design
  • Management information systems
  • Logics and Meanings of Programs
  • Mathematical Logic and Formal Languages
  • Business Information Systems
Label
FME 2001: Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe Berlin, Germany, March 1216, 2001 Proceedings, edited by Jos Nuno Oliveira, Pamela Zave, (electronic resource)
Link
http://dx.doi.org/10.1007/3-540-45251-6
Instantiates
Publication
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
Extent
1 online resource.
Form of item
online
Governing access note
Online full text is restricted to subscribers
Isbn
9783540417910
Specific material designation
remote
System control number
  • (OCoLC)769770654
  • (OCoLC)ocn769770654
Label
FME 2001: Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe Berlin, Germany, March 1216, 2001 Proceedings, edited by Jos Nuno Oliveira, Pamela Zave, (electronic resource)
Link
http://dx.doi.org/10.1007/3-540-45251-6
Publication
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
Extent
1 online resource.
Form of item
online
Governing access note
Online full text is restricted to subscribers
Isbn
9783540417910
Specific material designation
remote
System control number
  • (OCoLC)769770654
  • (OCoLC)ocn769770654

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...