Lecture Notes in Computer Science

6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

By: Mauro PezzÃ¨ (Editor)

Write A Review

Paperback | 14 March 2003

At a Glance

Paperback
416 Pages

Dimensions(cm)
23.5 x 15.88 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

ETAPS2003wasthesixthinstanceoftheEuropeanJointConferencesonTheory andPracticeofSoftware.ETAPSisanannualfederatedconferencethatwases- blishedin1998bycombininganumberofexistingandnewconferences.Thisyear it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 14 - tellite workshops (AVIS, CMCS, COCV, FAMAS, Feyerabend, FICS, LDTA, RSKD, SC, TACoS, UniGra, USE, WITS, and WOOD), eight invited lectures (not including those that are speci?c to the satellite events), and several tu- rials. We received a record number of submissions to the ?ve conferences this year: over 500, making acceptance rates fall below 30% for every one of them. Congratulations to all the authors who made it to the ?nal program! I hope that all the other authors still found a way of participating in this exciting event, and I hope you will continue submitting. A special event was held to honor the 65th birthday of Prof. Wlad Turski, one of the pioneers of our young science. The deaths of some of our "fathers" in the summer of 2002 - Dahl, Dijkstra and Nygaard - reminded us that Software Science and Technology is, perhaps, no longer that young. Against this sobering background, it is a treat to celebrate one of our most prominent scientists and his lifetime of achievements. It gives me particular personal pleasure that we are able to do this for Wlad during my term as chairman of ETAPS.

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 Programming & Software Development Software Engineering Programming & Scripting Languages Computer Science Computer Architecture & Logic Design Graphical & Digital Media Applications 3D Graphics & Modelling Mathematical Theory of Computation Compilers & Interpreters

Keynote
Symbiosis of Static Analysis and Program Testing	p. 1
Software Components
An Ontology for Software Component Matching	p. 6
A Description Language for Composable Components	p. 22
A Logical Basis for the Specification of Reconfigurable Component-Based Systems	p. 37
An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems	p. 52
Mobile Computing
Composing Specifications of Event Based Applications	p. 67
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems	p. 87
Spatial Security Policies for Mobile Agents in a Sentient Computing Environment	p. 102
Aspect and Object-Oriented Programming
Towards UML-Based Formal Specifications of Component-Based Real-Time Software	p. 118
Modelling Recursive Calls with UML State Diagrams	p. 135
Pipa: A Behavioral Interface Specification Language for AspectJ	p. 150
PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features	p. 166
Distributed and Web Applications
Model-Based Development of Web Applications Using Graphical Reaction Rules	p. 170
Modular Analysis of Dataflow Process Networks	p. 184
Software Measurements
Foundations of a Weak Measurement-Theoretic Approach to Software Measurement	p. 200
An Information-Based View of Representational Coupling in Object-Oriented Systems	p. 216
Formal Verification
A Temporal Approach to Specification and Verification of Pointer Data-Structures	p. 231
A Program Logic for Handling Java Card's Transaction Mechanism	p. 246
Monad-Independent Hoare Logic in HasCASL	p. 261
Visual Specifications of Policies and Their Verification	p. 278
Analysis and Testing
Automatic Model Driven Animation of SCR Specifications	p. 294
Probe Mechanism for Object-Oriented Software Testing	p. 310
Model Checking Software via Abstraction of Loop Transitions	p. 325
Model Integrations and Extensions
Integration of Formal Datatypes within State Diagrams	p. 341
Xere: Towards a Natural Interoperability between XML and ER Diagrams	p. 356
Detecting Implied Scenarios Analyzing Non-local Branching Choices	p. 372
Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs	p. 387
Author Index	p. 403
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, 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

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

Quantum Control of Hybrid Spin-Oscillator Systems

Springer Theses

Mathematics and Computation in Music

10th International Conference, MCM 2026, Annandale-on-Hudson, NY, USA, June 23-26, 2026, Proceedings

Discrete Mathematics for Computing

Grassroots

Algorithms in C, Parts 1-4

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

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

Theory of Computation for Software Developers

Theory of Computation for Software Developers

Nonlinear Analysis for Human Movement Variability

AI and Blockchain in Smart Grids

Fundamentals, Methods, and Applications

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

Introduction to Modern Cryptography

Revised Third Edition

Machine Learning Interviews

Kickstart Your Machine Learning and Data Career

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

Attack-and-Defense Games for Control Systems

Analysis and Synthesis

Beading With Algorithms

Cellular Automata In Peyote Stitch

Beading With Algorithms

Cellular Automata In Peyote Stitch

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

This product is categorised by