did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9783540766483

Formal Methods and Software Engineering

by ; ;
  • ISBN13:

    9783540766483

  • ISBN10:

    3540766480

  • Format: Paperback
  • Copyright: 2007-12-14
  • Publisher: Springer-Verlag New York Inc
  • Purchase Benefits
  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
List Price: $89.99 Save up to $71.43
  • Digital
    $40.22
    Add to Cart

    DURATION
    PRICE

Supplemental Materials

What is included with this book?

Summary

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections.

Table of Contents

Invited Talks
A System Development Process with Event-B and the Rodin Platformp. 1
Challenges in Software Certificationp. 4
Security and Knowledge
Integrating Formal Methods with System Managementp. 19
Formal Engineering of XACML Access Control Policies in VDM++p. 37
A Verification Framework for Agent Knowledgep. 57
Embedded Systems
From Model-Based Design to Formal Verification of Adaptive Embedded Systemsp. 76
Machine-Assisted Proof Support for Validation Beyond Simulinkp. 96
VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed Systemp. 116
Testing
Integrating Specification-Based Review and Testing for Detecting Errors in Programsp. 136
Testing for Refinement in CSPp. 151
Reducing Test Sequence Length Using Invertible Sequencesp. 171
Automated Analysis
Model Checking with SAT-Based Characterization of ACTL Formulasp. 191
Automating Refinement Checking in Probabilistic System Designp. 212
Model Checking in Practice: Analysis of Generic Bootloader Using SPINp. 232
Model Checking Propositional Projection Temporal Logic Based on SPINp. 246
Hardware
A Denotational Semantics for Handel-C Hardware Compilationp. 266
Automatic Generation of Verified Concurrent Hardwarep. 286
Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checkingp. 307
Concurrency
Efficient Symbolic Execution of Large Quantifications in a Process Algebrap. 327
Formalizing SANE Virtual Processor in Thread Algebrap. 345
Calculating and Composing Progress Properties in Terms of the Leads-to Relationp. 366
Author Indexp. 387
Table of Contents provided by Ingram. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program