+612 9045 4394
 
CHECKOUT
Fundamental Approaches to Software Engineering : Second International Conference, Fase'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps'99, Amsterdam, the Netherlands, March 22-28, 1999, Proceedings - Jean-Pierre Finance

Fundamental Approaches to Software Engineering

Second International Conference, Fase'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps'99, Amsterdam, the Netherlands, March 22-28, 1999, Proceedings

By: Jean-Pierre Finance (Editor)

Paperback Published: 10th March 1999
ISBN: 9783540657187
Number Of Pages: 254

Share This Book:

Paperback

$124.95
or 4 easy payments of $31.24 with Learn more
Ships in 5 to 9 business days

ETAPS'99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed 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.

Invited Tutorial
Research Issues in the Renovation of Legacy Systemsp. 1
Invited Paper
Continuous Engineering of Information and Communication Infrastructuresp. 22
Contributed Papers
A Formal Framework with Late Bindingp. 30
Yet Another Real-Time Specification for the Steam Boiler Local Clocks to Statically Measure Systems Performancep. 45
Executable Tile Specifications for Process Calculip. 60
JTN A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systemsp. 77
Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factoriesp. 98
Dynamic Systems with Implicit Statep. 114
Rigorous Development in UMLp. 129
Using Explicit State to Describe Architecturesp. 144
On the Evolution of Reactive Components - A Process-Algebraic Approachp. 161
Verification of Definite Iteration over Hierarchical Data Structuresp. 176
Owicki/Gries in Isabelle/HOLp. 188
Semantic-Driven Performance Evaluationp. 204
Implementing Hierarchical Graph-Structuresp. 219
Demos
A Tool Suite for Multi-paradigm Specificationp. 234
TAS and IsaWin Tools for Transformational Program Development and Theorem Provingp. 239
Author Indexp. 245
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540657187
ISBN-10: 3540657185
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 254
Published: 10th March 1999
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.4
Weight (kg): 0.37