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.

9783540417910

Fme 2001: Formal Methods for Increasing Software Productivity : 10th International Symposium of Formal Methods Europe, Berlin, Germany, March 12- 16, 2001

by
  • ISBN13:

    9783540417910

  • ISBN10:

    3540417915

  • Edition: 1st
  • Format: Paperback
  • Copyright: 2001-04-01
  • Publisher: SPRINGER

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Purchase Benefits

List Price: $149.00 Save up to $115.59
  • Rent Book $93.87
    Add to Cart Free Shipping Icon Free Shipping

    TERM
    PRICE
    DUE
    USUALLY SHIPS IN 7-10 BUSINESS DAYS
    *This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.

Supplemental Materials

What is included with this book?

Summary

This is a synthesis of several studies on fluxes of carbon, water and energy conducted in a range of European forests encompassing different climates, soils and biomes. The volume covers methodological issues, particularly the eddy covariance technique describing its limitations and practical use. Further, major insights in ecosystem processes gained through investigations in evergreen coniferous, mediterranean and broad-leaved forests are presented. In an integrated effort, atmospheric physicists, ecologists, ecosystem modellers, and remote sensing scientists elucidate the impact of terrestrial ecosystems on the global biogeochemistry of the earth.

Table of Contents

Lightweight Formal Methods
1(1)
Daniel Jackson
Reformulation: A Way to Combine Dynamic Properties and B Refinement
2(18)
F. Bellegarde
C. Darlot
J. Julliand
O. Kouchnarenko
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries
20(23)
Steffen Helke
Thomas Santen
Proofs of Correctness of Cache-Coherence Protocols
43(29)
Joseph Stoy
Xiaowei Shen
Arvind
Model-Checking Over Multi-valued Logics
72(27)
Marsha Chechik
Steve Easterbrook
Victor Petrovykh
How to Make FDR Spin: LTL Model Checking of CSP by Refinement
99(20)
Michael Leuschel
Thierry Massart
Andrew Currie
Avoiding State Explosion for Distributed Systems with Timestamps
119(16)
Fabrice Derepas
Paul Gastin
David Plainfosse
Secrecy-Preserving Refinement
135(18)
Jan Jurjens
Information Flow Control and Applications--Bridging a Gap -
153(20)
Heiko Mantel
A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures
173(24)
Vasu S. Alagar
Zheng Xi
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware
197(25)
Nalini Venkatasubramanian
Carolyn Talcott
Gul Agha
A Programming Model for Wide-Area Computing
222(1)
Jayadev Misra
A Formal Model of Object-Oriented Design and GoF Design Patterns
223(19)
Andres Flores
Richard Moore
Luis Reynoso
Validation of UML Models Thanks to Z and Lustre
242(17)
Sophie Dupuy-Chessa
Lydie du Bousquet
Components, Contracts, and Connectors for the Unified Modelling Language UML
259(19)
Claus Pahl
An Integrated Approach to Specification and Validation of Real-Time Systems
278(22)
Adnan Sherif
Augusto Sampaio
Sergio Cavalcante
Real-Time Logic Revisited
300(18)
Stephen E. Paynter
Improvements in BDD-Based Reachability Analysis of Timed Automata
318(26)
Dirk Beyer
Serialising Parallel Processes in a Hardware/Software Partitioning Context
344(20)
Leila Silva
Augusto Sampaio
Geraint Jones
Verifying Implementation Relations
364(20)
Jonathan Burton
Maciej Koutny
Giuseppe Pappalardo
An Adequate Logic for Full LOTOS
384(12)
Muffy Calder
Savi Maharaj
Carron Shankland
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (M♣c)
396(23)
Micheal Mac an Airchinnigh
Faithful Translations among Models and Specifications
419(16)
Shmuel Katz
Composing Contracts: An Adventure in Financial Engineering
435(1)
Simon Peyton Jones
From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study
436(13)
Manuel J. Fernandez Iglesias
Francisco J. Gonzalez-Castano
Jose M. Pousada Carballo
Martin Llamas Nistal
Alberto Romero Feijoo
Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System
449(16)
Laurent Arditi
Hedi Boufaied
Arnaud Cavanie
Vincent Stehle
Using Formal Verification Techniques to Reduce Simulation and Test Effort
465(13)
O. Laurent
P. Michel
V. Wiels
Transacted Memory for Smart Cards
478(22)
Pieter H. Hartel
Michael J. Butler
Eduard de Jong
Mark Longley
Houdini, an Annotation Assistant for ESC/Java
500(18)
Cormac Flanagan
K. Rustan M. Leino
A Heuristic for Symmetry Reductions with Scalarsets
518(16)
Dragan Bosnacki
Dennis Dams
Leszek Holenderski
View Updatability Based on the Models of a Formal Specification
534(16)
Michael Johnson
Robert Rosebrugh
Grammar Adaptation
550(21)
Ralf Lammel
Test-Case Calculation through Abstraction
571(19)
Bernhard K. Aichernig
A Modular Approach to the Specification and Validation of an Electrical Flight Control System
590(21)
M. Doche
I. Vernier-Mounier
F. Kordon
A Combined Testing and Verification Approach for Software Reliability
611(18)
Natasha Sharygina
Doron Peled
Author Index 629

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