FME 2001 : Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings - Jose N. Oliveira

Instant online reading.
Don't wait for delivery!
Go digital and save!

FME 2001

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

By: Jose N. Oliveira (Editor), Pamela Zave (Editor)

Write A Review

Paperback | 28 February 2001

At a Glance

Paperback
648 Pages

Dimensions(cm)
24.13 x 15.88 x 2.54

Paperback

$169.75

or 4 interest-free payments of $42.44 with

Ships in 5 to 7 business days

FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods Europe S- posia, and the 1999 World Congress on Formal Methods in the Development of Computing Systems. These meetings have been notably successful in bringing - gether a community of users, researchers, and developers of precise mathematical methods for software development. FME 2001 took place in Berlin, Germany and was organized by the C- puter Science Department of the Humboldt-Universit¨at zu Berlin. The theme of the symposium was Formal Methods for Increasing Software Productivity. This theme recognizes that formal methods have the potential to do more for industrial software development than enhance software quality { they can also increase productivity at many di erent points in the software life-cycle. The importance of the theme is borne out by the many contributed papers showing how formal methods can make software development more e cient. There is an emphasis on tools that nd errors automatically, or with relatively little human e ort. There is also an emphasis on the use of formal methods to assist with critical, labor-intensive tasks such as program design and test-case generation.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Computer Architecture & Logic Design Computer Programming & Software Development Software Engineering Mathematics Mathematical Foundation Mathematical Logic Business & Management Business Mathematics & Systems

Lightweight Formal Methods	p. 1
Reformulation: A Way to Combine Dynamic Properties and B Refinement	p. 2
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries	p. 20
Proofs of Correctness of Cache-Coherence Protocols	p. 43
Model-Checking Over Multi-valued Logics	p. 72
How to Make FDR Spin: LTL Model Checking of CSP by Refinement	p. 99
Avoiding State Explosion for Distributed Systems with Timestamps	p. 119
Secrecy-Preserving Refinement	p. 135
Information Flow Control and Applications - Bridging a Gap -	p. 153
A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures	p. 173
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware	p. 197
A Programming Model for Wide-Area Computing	p. 222
A Formal Model of Object-Oriented Design and GoF Design Patterns	p. 223
Validation of UML Models Thanks to Z and Lustre	p. 242
Components, Contracts, and Connectors for the Unified Modelling Language UML	p. 259
An Integrated Approach to Specification and Validation of Real-Time Systems	p. 278
Real-Time Logic Revisited	p. 300
Improvements in BDD-Based Reachability Analysis of Timed Automata	p. 318
Serialising Parallel Processes in a Hardware/Software Partitioning Context	p. 344
Verifying Implementation Relations	p. 364
An Adequate Logic for Full LOTOS	p. 384
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (Mc)	p. 396
Faithful Translations among Models and Specifications	p. 419
Composing Contracts: An Adventure in Financial Engineering	p. 435
From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study	p. 436
Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System	p. 449
Using Formal Verification Techniques to Reduce Simulation and Test Effort	p. 465
Transacted Memory for Smart Cards	p. 478
Houdini, an Annotation Assistant for ESC/Java	p. 500
A Heuristic for Symmetry Reductions with Scalarsets	p. 518
View Updatability Based on the Models of a Formal Specification	p. 534
Grammar Adaptation	p. 550
Test-Case Calculation through Abstraction	p. 571
A Modular Approach to the Specification and Validation of an Electrical Flight Control System	p. 590
A Combined Testing and Verification Approach for Software Reliability	p. 611
Author Index	p. 629
Table of Contents provided by Publisher. All Rights Reserved.

FME 2001

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

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Fundamentals of Software Architecture

A Modern Engineering Approach

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Design Patterns

Elements of Reusable Object-Oriented Software

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

User Story Mapping

Discover the Whote Story, Build the Right Product

Clean Architecture

A Craftsman's Guide to Software Structure and Design

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Developing Graphics Frameworks with Java and OpenGL

Git : Pocket Guide

A Working Introduction

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Hacking For Dummies

For Dummies (Computer/Tech)

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

The Engineering Leader

Strategies for Scaling Teams and Yourself

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Lean Enterprise

How High Performance Organizations Innovate at Scale

Learning Modern C++ for Finance

Foundations for Quantitative Programming

This product is categorised by