default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd FASE 1999: Amsterdam, The Netherlands
- 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
- Arie van Deursen, Paul Klint, Chris Verhoef:
Research Issues in the Renovation of Legacy Systems. 1-21
Invited Paper
- Herbert Weber:
Continuous Engineering of Information and Communication Infrastructures (Extended Abstract). 22-29
Contributed Papers
- Davide Ancona, Maura Cerioli
, Elena Zucca:
A Formal Framework with Late Binding. 30-44 - Candida Attanasio, Flavio Corradini, Paola Inverardi:
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. 45-59 - Roberto Bruni, José Meseguer, Ugo Montanari:
Executable Tile Specifications for Process Calculi. 60-76 - Eva Coscia, Gianna Reggio:
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. 77-97 - Wan J. Fokkink, Chris Verhoef:
Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories. 98-113 - Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin:
Dynamic Systems with Implicit State. 114-128 - Kevin Lano, Andy Evans:
Rigorous Development in UML. 129-144 - Antónia Lopes, José Luiz Fiadeiro:
Using Explicit State to Describe Architechtures. 144-160 - Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland:
On the Evolution of Reactive Components: A Process-Algebraic Approach. 161-175 - Valery A. Nepomniaschy:
Verification of Definite Iteration over Hierarchical Data Structures. 176-187 - Tobias Nipkow, Leonor Prensa Nieto:
Owicki/Gries in Isabelle/HOL. 188-203 - Chiara Nottegar, Corrado Priami, Pierpaolo Degano:
Semantic-Driven Performance Evaluation (Extended Abstract). 204-218 - Josef Tapken:
Implementing Hierarchical Graph-Structures. 219-233
Demos
- Lynne Blair, Trevor Jones, Gordon S. Blair:
A Tool Suite for Multi-paradigm Specification. 234-238 - 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.
last updated on 2026-09-05 00:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
