Lecture Notes in Computer Science

Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

By: Michael Butler (Editor), Luigia Petre (Editor), Kaisa Sere (Editor)

Write A Review

Paperback | 2 May 2002

At a Glance

Paperback
416 Pages

Dimensions(cm)
24.13 x 15.88 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15-17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. The ? conference was organized jointly by Abo Akademi University and Turku Centre for Computer Science. The theme of IFM 1999 was the integration of state and behavioral based formalisms. For IFM 2000 this was widened to include all aspects pertaining to the integration of formal methods and formal notations. One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal methods and graphical notations, especially the industrialstandardlanguageforsoftwaredesign,theUni?edModelingLanguage (UML). The themes of IFM 2002 re?ect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computerscientistshavedevelopedarangeofformalismsfocusing on particular aspects of behavior or analysis, such as sequential program str- tures,concurrentprogramstructures,dataandinformationstructures,temporal reasoning, deductive proof, and model checking. Much e?ort is now being - voted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance ofprovidingthesewiththeformalunderpinningsandformalanalysiscapabilities found in formal methods.

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 $89.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 Programming & Software Development Software Engineering Computer Science Computer Architecture & Logic Design Programming & Scripting Languages Mathematical Theory of Computation Compilers & Interpreters

Invited Talk: Eran Gery
Rhapsody: A Complete Life-Cycle Model-Based Development System	p. 1
Integration, Simulation, Animation
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation	p. 11
Stochastic Process Algebras Meet Eden	p. 29
From Specification to Verification
From Implicit Specifications to Explicit Designs in Reactive System Development	p. 49
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems	p. 69
Assume-Guarantee Algorithms for Automatic Detection of Software Failures	p. 89
Statecharts and B: Integration and Translation
Contributions for Modelling UML State-Charts in B	p. 109
Translating Statecharts to B	p. 128
Invited Talk: Shmuel Katz
A Framework for Translating Models and Specifications	p. 145
Model Checkers and Theorem Provers
Model Checking Object-Z Using ASM	p. 165
Formalization of Cadence SPW Fixed-Point Arithmetic in HOL	p. 185
Formally Linking MDG and HOL Based on a Verified MDG System	p. 205
Links between Object-Z and CSP
Refinement in Object-Z and CSP	p. 225
Combining Specification Techniques for Processes, Data and Time	p. 245
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems	p. 267
Invited Talk: Stuart Kent
Model Driven Engineering	p. 286
Combining Graphical and Formal Approaches
The Design of a Tool-Supported Graphical Notation for Timed CSP	p. 299
Combining Graphical and Formal Development of Open Distributed Systems	p. 319
Translations between Textual Transition Systems and Petri Nets	p. 339
Refinement and Proof
Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems	p. 360
Minimally and Maximally Abstract Retrenchments	p. 380
Author Index	p. 401
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide

Collector's Edition

Starting Out with Python

5th Global Edition

Python Practice Lab

Learn How to Code through Interactive Examples

Areas of Success for AI

Third Annual Workshop, Embry-Riddle L. H. Harper Memorial AI Workshop 2025, Prescott, AZ, USA, August 15-16, 2025, Proceedings

Neural Networks

Overview of Current Theories and Applications

Artificial Intelligence, Data, and Decision-Making

Proceedings of the 19th International Conference on Wirtschaftsinformatik, Wurzburg, Germany, 2024 - Vol.1

Digital Innovation and Organizational Transformation

Proceedings of the 19th International Conference on Wirtschaftsinformatik, Wurzburg, Germany, 2024 - Vol. 2

Cloud-Native Modernization Unleashed

Revolutionizing Legacy Systems with Spring, AI, Cloud, and Microservices

Artificial Intelligence, Cybersecurity and Game Design

ICAICG 2024, Rajapalayam, India, February 23â"25

Futuristic Information and Communication

A Multimodal Multidisciplinary Signal Analysis

Futuristic Information and Communication

A Multimodal Multidisciplinary Signal Analysis

Fit for Uncertainty

Lead with Purpose, Adapt to Change

The Ghidra Book, 2nd Edition

The Definitive Guide

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Python All-in-One For Dummies

3rd Edition

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

Think Python

How to Think Like a Computer Scientist

Swift

The Practical Guide

This product is categorised by