Fundamental Approaches to Software Engineering : 5th International Conference, FASE 2002, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002: Proceedings - Ralf-Detlef Kutsche

Instant online reading.
Don't wait for delivery!

Fundamental Approaches to Software Engineering

5th International Conference, FASE 2002, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002: Proceedings

By: Ralf-Detlef Kutsche (Editor), Herbert Weber (Editor)

Write A Review

Paperback | 1 April 2002

At a Glance

Paperback
360 Pages

Dimensions(cm)
22.86 x 15.24 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

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 Medicine Medicine in General Programming & Scripting Languages Computer Science Computer Architecture & Logic Design Mathematical Theory of Computation Compilers & Interpreters

Formal Frameworks
An Approach to Composition Motivated by wp	p. 1
Compositional Verification of Secure Applet Interactions	p. 15
A Generic Component Framework for System Modeling	p. 33
Model and Program Analysis
Implementing Condition/Event Nets in the Circal Process Algebra	p. 49
Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs	p. 64
Model Generation by Moderated Regular Extrapolation	p. 80
Better Slicing of Programs with Jumps and Switches	p. 96
Architecture Descriptions
Architectural Types Revisited: Extensible And/Or Connections	p. 113
Mapping an ADL to a Component-Based Application Development Environment	p. 128
From EDOC to CCM Components: A Precise Mapping Specification	p. 143
Meta-Models
Engineering Modelling Languages: A Precise Meta-Modelling Approach	p. 159
AToM³: A Tool for Multi-formalism and Meta-modelling	p. 173
A Toolbox for Automating Visual Software Engineering	p. 189
Formal Approaches towards UML
Enriching OCL Using Observational Mu-Calculus	p. 203
Formal Verification of UML Statecharts with Real-Time Extensions	p. 218
Requirements Engineering
An Authoring Tool for Informal and Formal Requirements Specifications	p. 233
Introducing Context-Based Constraints	p. 249
Formal Requirements Engineering Using Observer Models	p. 264
Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach	p. 279
Meta-modeling Techniques Meet Web Application Design Tools	p. 294
Formal-Driven Conceptualization and Prototyping of Hypermedia Applications	p. 308
Tool Demonstrations
The Coordination Development Environment	p. 323
The Key System: Integrating Object-Oriented Design and Formal Methods	p. 327
ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs	p. 331
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems	p. 336
Author Index	p. 341
Table of Contents provided by Publisher. All Rights Reserved.

Fundamental Approaches to Software Engineering

5th International Conference, FASE 2002, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002: Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Theory of Computation

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Discrete Mathematics for Computing

Grassroots

Swim Training Patterns

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

AI Engineering

Building Applications with Foundation Models

Effective Machine Learning Teams

Best Practices for ML Practitioners

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

Nonlinear Analysis for Human Movement Variability

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

Mathematical Foundations of Blockchains

Engineering Principles, Volume 2

Introduction to Modern Cryptography

Revised Third Edition

Theory of Computation for Software Developers

Theory of Computation for Software Developers

Zhang Time Discretization (ZTD) Formulas and Applications

AI and Blockchain in Smart Grids

Fundamentals, Methods, and Applications

Attack-and-Defense Games for Control Systems

Analysis and Synthesis

Machine Learning Interviews

Kickstart Your Machine Learning and Data Career

Why Don't Rabbits Rule The World?

Mathematical answers to life's key questions

Linear Algebra with Applications in Machine Learning

From Intuitive Understanding to Python Coding

Frontiers in Industrial Engineering. Purdue Quantum AI

Fifth Gavriel Salvendy International Symposium, PQAI 2025, West Lafayette, IN, USA, October 23-24, 2025, Proceedings

Graphical Models and Causal Discovery with Python

100 Exercises for Building Logic

Axiomatic Set Theory

An Introduction

This product is categorised by