| 1999 | A Formal Framework with Late Binding. Davide Ancona, Maura Cerioli, Elena Zucca |
| 1999 | A Tool Suite for Multi-paradigm Specification. Lynne Blair, Trevor Jones, Gordon S. Blair |
| 1999 | Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories. Wan J. Fokkink, Chris Verhoef |
| 1999 | Continuous Engineering of Information and Communication Infrastructures (Extended Abstract). Herbert Weber |
| 1999 | Dynamic Systems with Implicit State. Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin |
| 1999 | Executable Tile Specifications for Process Calculi. Roberto Bruni, José Meseguer, Ugo Montanari |
| 1999 | 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 Jean-Pierre Finance |
| 1999 | Implementing Hierarchical Graph-Structures. Josef Tapken |
| 1999 | JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. Eva Coscia, Gianna Reggio |
| 1999 | On the Evolution of Reactive Components: A Process-Algebraic Approach. Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland |
| 1999 | Owicki/Gries in Isabelle/HOL. Tobias Nipkow, Leonor Prensa Nieto |
| 1999 | Research Issues in the Renovation of Legacy Systems. Arie van Deursen, Paul Klint, Chris Verhoef |
| 1999 | Rigorous Development in UML. Kevin Lano, Andy Evans |
| 1999 | Semantic-Driven Performance Evaluation (Extended Abstract). Chiara Nottegar, Corrado Priami, Pierpaolo Degano |
| 1999 | TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner |
| 1999 | Using Explicit State to Describe Architechtures. Antónia Lopes, José Luiz Fiadeiro |
| 1999 | Verification of Definite Iteration over Hierarchical Data Structures. Valery A. Nepomniaschy |
| 1999 | Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. Candida Attanasio, Flavio Corradini, Paola Inverardi |