1 option
Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings / edited by Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Programming and software engineering ; SL 2, 3771.
- Programming and Software Engineering ; 3771
- Language:
- English
- Subjects (All):
- Computers.
- Computer logic.
- Programming languages (Electronic computers).
- Software engineering.
- Computer programming.
- Theory of Computation.
- Logics and Meanings of Programs.
- Programming Languages, Compilers, Interpreters.
- Software Engineering.
- Programming Techniques.
- Local Subjects:
- Theory of Computation.
- Logics and Meanings of Programs.
- Programming Languages, Compilers, Interpreters.
- Software Engineering.
- Programming Techniques.
- Physical Description:
- 1 online resource (XI, 407 pages).
- Edition:
- First edition 2005.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
- System Details:
- text file PDF
- Contents:
- Invited Papers
- A Family of Mathematical Methods for Professional Software Documentation
- Generating Path Conditions for Timed Systems
- Software Model Checking: Searching for Computations in the Abstract or the Concrete
- Session: Components
- Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study
- Session: State/Event-Based Verification
- State/Event Software Verification for Branching-Time Specifications
- Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods
- Chunks: Component Verification in CSP ? B
- Session: System Development
- Agile Formal Method Engineering
- An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees
- Enabling Security Testing from Specification to Code
- Session: Applications of B
- Development of Fault Tolerant Grid Applications Using Distributed B
- Formal Methods Meet Domain Specific Languages
- Synthesizing B Specifications from eb 3 Attribute Definitions
- Session: Tool Support
- CZT Support for Z Extensions
- Embedding the Stable Failures Model of CSP in PVS
- Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks
- Session: Non-software Domains
- Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS
- Formalising Interactive Voice Services with SDL
- Session: Semantics
- A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions
- Session: UML and Statecharts
- Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the ?-Calculus
- An Integrated Framework for Scenarios and State Machines
- Consistency in UML and B Multi-view Specifications.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-32240-5
- 9783540322405
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.