Fundamental Approaches to Software Engineering, Second Internationsl Conference, FASE 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings - researchr publication

researchr

You are not signed in
Sign in
Sign up

Jean-Pierre Finance, editor, Fundamental Approaches to Software Engineering, Second Internationsl Conference, FASE 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings. Volume 1577 of Lecture Notes in Computer Science, Springer, 1999.

Conference: FASE1999

Abstract is missing.

Research Issues in the Renovation of Legacy SystemsArie van Deursen, Paul Klint, Chris Verhoef. 1-21

Continuous Engineering of Information and Communication Infrastructures (Extended Abstract)Herbert Weber. 22-29

A Formal Framework with Late BindingDavide Ancona, Maura Cerioli, Elena Zucca. 30-44

Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems PerformanceCandida Attanasio, Flavio Corradini, Paola Inverardi. 45-59

Executable Tile Specifications for Process CalculiRoberto Bruni, José Meseguer, Ugo Montanari. 60-76

JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent SystemsEva Coscia, Gianna Reggio. 77-97

Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation FactoriesWan Fokkink, Chris Verhoef. 98-113

Dynamic Systems with Implicit StateMarie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin. 114-128

Rigorous Development in UMLKevin Lano, Andy Evans. 129-144

Using Explicit State to Describe ArchitechturesAntónia Lopes, José Luiz Fiadeiro. 144-160

On the Evolution of Reactive Components: A Process-Algebraic ApproachMarkus Müller-Olm, Bernhard Steffen, Rance Cleaveland. 161-175

Verification of Definite Iteration over Hierarchical Data StructuresV. A. Nepomniaschy. 176-187

Owicki/Gries in Isabelle/HOLTobias Nipkow, Leonor Prensa Nieto. 188-203

Semantic-Driven Performance Evaluation (Extended Abstract)Chiara Nottegar, Corrado Priami, Pierpaolo Degano. 204-218

Implementing Hierarchical Graph-StructuresJosef Tapken. 219-233

A Tool Suite for Multi-paradigm SpecificationLynne Blair, Trevor Jones, Gordon S. Blair. 234-238

TAS and IsaWin: Tools for Transformational Program Development and Theorem ProvingChristoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner. 239-243

runs on WebDSL