Stop the war!

Остановите войну!

for scientists:

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

- 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

a service of

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.