FFSE@CSMR

Keyphrases

Publications

2001

Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro
A Graph Transformation Approach to Architectural Run-Time Reconfiguration. FFSE@CSMR (2001)
Timo Aaltonen, Tommi Mikkonen
Software Evolution Based on Formalized Abstraction Hierarchy. FFSE@CSMR (2001)
Jianjun Zhao
Change Impact Analysis for Architectural Evolution. FFSE@CSMR (2001)
Proceedings of the 2001 International Workshop on Formal Foundations of Software Evolution, FFSE@CSMR 2001, Lisbon, Portugal, March 14-16, 2001. FFSE@CSMR (2001)
Luís Andrade, João Gouveia, Georgios Koutsoukos, José Luiz Fiadeiro
Coordination Contracts, Evolution and Tools. FFSE@CSMR (2001)
Claudia Pons, Gabriel Baum
Software Development Contracts. FFSE@CSMR (2001)
Michele Lanza, Stéphane Ducasse, Lukas Steiger
Understanding Software Evolution Using a Flexible Query Engine. FFSE@CSMR (2001)
Lina García-Cabrera, M. José Rodríguez-Fortis, José Parets-Llorca
Formal Foundations for the Evolution of Hypermedia Systems. FFSE@CSMR (2001)
Reiko Heckel, Gregor Engels
Graph Transformation as Meta Language for Dynamic Modeling and Model Evolution. FFSE@CSMR (2001)
Wolfram Kahl
Software Evolution via Hierarchical Hypergraphs with Flexible Coverage. FFSE@CSMR (2001)
Tom Mens
Transformational Software Evolution by Assertions. FFSE@CSMR (2001)
Jamal Said, Eric Steegmans
Transformation of Binary relations into Associations and Nested Classes. FFSE@CSMR (2001)
Meir M. Lehman, Juan F. Ramil, Goel Kahen
Thoughts on the Role of Formalisms in Studying Software Evolution. FFSE@CSMR (2001)