default search action

combined dblp search
author search
venue search
publication search

ask others

2. FASE 1999: Amsterdam, The Netherlands (Part of ETAPS 1999)

> Home > Conferences and Workshops > FASE
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Service temporarily not available.

Please try again later.

- view
  authority control:
- export record
  dblp key:
  - conf/fase/1999
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/1999
Jean-Pierre Finance:
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. Lecture Notes in Computer Science 1577, Springer 1999, ISBN 3-540-65718-5

Invited Tutorial

- view
  authority control:
- export record
  dblp key:
  - conf/fase/DeursenKV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/DeursenKV99
Arie van Deursen, Paul Klint, Chris Verhoef:
Research Issues in the Renovation of Legacy Systems. 1-21

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/fase/Weber99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Weber99
Herbert Weber:
Continuous Engineering of Information and Communication Infrastructures (Extended Abstract). 22-29

Contributed Papers

- view
  authority control:
- export record
  dblp key:
  - conf/fase/AnconaCZ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/AnconaCZ99
Davide Ancona, Maura Cerioli, Elena Zucca:
A Formal Framework with Late Binding. 30-44
- view
  authority control:
- export record
  dblp key:
  - conf/fase/AttanasioCI99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/AttanasioCI99
Candida Attanasio, Flavio Corradini, Paola Inverardi:
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. 45-59
- view
  authority control:
- export record
  dblp key:
  - conf/fase/BruniMM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BruniMM99
Roberto Bruni, José Meseguer, Ugo Montanari:
Executable Tile Specifications for Process Calculi. 60-76
- view
  authority control:
- export record
  dblp key:
  - conf/fase/CosicaR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/CosicaR99
Eva Coscia, Gianna Reggio:
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. 77-97
- view
  authority control:
- export record
  dblp key:
  - conf/fase/FokkinkV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/FokkinkV99
Wan J. Fokkink, Chris Verhoef:
Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories. 98-113
- view
  authority control:
- export record
  dblp key:
  - conf/fase/GaudelKZ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/GaudelKZ99
Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin:
Dynamic Systems with Implicit State. 114-128
- view
  authority control:
- export record
  dblp key:
  - conf/fase/LanoE99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LanoE99
Kevin Lano, Andy Evans:
Rigorous Development in UML. 129-144
- view
  authority control:
- export record
  dblp key:
  - conf/fase/LopesF99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LopesF99
Antónia Lopes, José Luiz Fiadeiro:
Using Explicit State to Describe Architechtures. 144-160
- view
  authority control:
- export record
  dblp key:
  - conf/fase/Muller-OlmSC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Muller-OlmSC99
Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland:
On the Evolution of Reactive Components: A Process-Algebraic Approach. 161-175
- view
  authority control:
- export record
  dblp key:
  - conf/fase/Nepomniaschy99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Nepomniaschy99
Valery A. Nepomniaschy:
Verification of Definite Iteration over Hierarchical Data Structures. 176-187
- view
  authority control:
- export record
  dblp key:
  - conf/fase/NipkowN99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/NipkowN99
Tobias Nipkow, Leonor Prensa Nieto:
Owicki/Gries in Isabelle/HOL. 188-203
- view
  authority control:
- export record
  dblp key:
  - conf/fase/NottegarPD99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/NottegarPD99
Chiara Nottegar, Corrado Priami, Pierpaolo Degano:
Semantic-Driven Performance Evaluation (Extended Abstract). 204-218
- view
  authority control:
- export record
  dblp key:
  - conf/fase/Tapken99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Tapken99
Josef Tapken:
Implementing Hierarchical Graph-Structures. 219-233

Demos

- view
  authority control:
- export record
  dblp key:
  - conf/fase/BlairJB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BlairJB99
Lynne Blair, Trevor Jones, Gordon S. Blair:
A Tool Suite for Multi-paradigm Specification. 234-238
- view
  authority control:
- export record
  dblp key:
  - conf/fase/LuthTKK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LuthTKK99
Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner:
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. 239-243

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.