Search dblp for Publications

export results for "toc:db/conf/csmr/ffse2001.bht:"

 download as .bib file

@inproceedings{DBLP:conf/csmr/0001GKF01,
  author       = {Lu{\'{\i}}s Andrade and
                  Jo{\~{a}}o Gouveia and
                  Georgios Koutsoukos and
                  Jos{\'{e}} Luiz Fiadeiro},
  editor       = {Tom Mens and
                  Michel Wermelinger},
  title        = {Coordination Contracts, Evolution and Tools},
  booktitle    = {Proceedings of the 2001 International Workshop on Formal Foundations
                  of Software Evolution, FFSE@CSMR 2001, Lisbon, Portugal, March 14-16,
                  2001},
  pages        = {35--41},
  publisher    = {Universidade Nova de Lisboa},
  year         = {2001},
  timestamp    = {Tue, 21 Mar 2023 11:02:13 +0100},
  biburl       = {https://dblp.org/rec/conf/csmr/0001GKF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csmr/AaltonenM01,
  author       = {Timo Aaltonen and
                  Tommi Mikkonen},
  editor       = {Tom Mens and
                  Michel Wermelinger},
  title        = {Software Evolution Based on Formalized Abstraction Hierarchy},
  booktitle    = {Proceedings of the 2001 International Workshop on Formal Foundations
                  of Software Evolution, FFSE@CSMR 2001, Lisbon, Portugal, March 14-16,
                  2001},
  pages        = {29--34},
  publisher    = {Universidade Nova de Lisboa},
  year         = {2001},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csmr/AaltonenM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csmr/Garcia-CabreraR01,
  author       = {Lina Garc{\'{\i}}a{-}Cabrera and
                  M. Jos{\'{e}} Rodr{\'{\i}}guez{-}Fortis and
                  Jos{\'{e}} Parets{-}Llorca},
  editor       = {Tom Mens and
                  Michel Wermelinger},
  title        = {Formal Foundations for the Evolution of Hypermedia Systems},
  booktitle    = {Proceedings of the 2001 International Workshop on Formal Foundations
                  of Software Evolution, FFSE@CSMR 2001, Lisbon, Portugal, March 14-16,
                  2001},
  pages        = {5--12},
  publisher    = {Universidade Nova de Lisboa},
  year         = {2001},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csmr/Garcia-CabreraR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csmr/HeckelE01,
  author       = {Reiko Heckel and
                  Gregor Engels},
  editor       = {Tom Mens and
                  Michel Wermelinger},
  title        = {Graph Transformation as Meta Language for Dynamic Modeling and Model
                  Evolution},
  booktitle    = {Proceedings of the 2001 International Workshop on Formal Foundations
                  of Software Evolution, FFSE@CSMR 2001, Lisbon, Portugal, March 14-16,
                  2001},
  pages        = {42--47},
  publisher    = {Universidade Nova de Lisboa},
  year         = {2001},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csmr/HeckelE01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csmr/Kahl01,
  author       = {Wolfram Kahl},
  editor       = {Tom Mens and
                  Michel Wermelinger},
  title        = {Software Evolution via Hierarchical Hypergraphs with Flexible Coverage},
  booktitle    = {Proceedings of the 2001 International Workshop on Formal Foundations
                  of Software Evolution, FFSE@CSMR 2001, Lisbon, Portugal, March 14-16,
                  2001},
  pages        = {1--4},
  publisher    = {Universidade Nova de Lisboa},
  year         = {2001},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csmr/Kahl01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csmr/LanzaDS01,
  author       = {Michele Lanza and
                  St{\'{e}}phane Ducasse and
                  Lukas Steiger},
  editor       = {Tom Mens and
                  Michel Wermelinger},
  title        = {Understanding Software Evolution Using a Flexible Query Engine},
  booktitle    = {Proceedings of the 2001 International Workshop on Formal Foundations
                  of Software Evolution, FFSE@CSMR 2001, Lisbon, Portugal, March 14-16,
                  2001},
  pages        = {54--58},
  publisher    = {Universidade Nova de Lisboa},
  year         = {2001},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csmr/LanzaDS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csmr/LehmanRK01,
  author       = {Meir M. Lehman and
                  Juan F. Ramil and
                  Goel Kahen},
  editor       = {Tom Mens and
                  Michel Wermelinger},
  title        = {Thoughts on the Role of Formalisms in Studying Software Evolution},
  booktitle    = {Proceedings of the 2001 International Workshop on Formal Foundations
                  of Software Evolution, FFSE@CSMR 2001, Lisbon, Portugal, March 14-16,
                  2001},
  pages        = {21--28},
  publisher    = {Universidade Nova de Lisboa},
  year         = {2001},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csmr/LehmanRK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csmr/Mens01,
  author       = {Tom Mens},
  editor       = {Tom Mens and
                  Michel Wermelinger},
  title        = {Transformational Software Evolution by Assertions},
  booktitle    = {Proceedings of the 2001 International Workshop on Formal Foundations
                  of Software Evolution, FFSE@CSMR 2001, Lisbon, Portugal, March 14-16,
                  2001},
  pages        = {67--74},
  publisher    = {Universidade Nova de Lisboa},
  year         = {2001},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csmr/Mens01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csmr/PonsB01,
  author       = {Claudia Pons and
                  Gabriel Baum},
  editor       = {Tom Mens and
                  Michel Wermelinger},
  title        = {Software Development Contracts},
  booktitle    = {Proceedings of the 2001 International Workshop on Formal Foundations
                  of Software Evolution, FFSE@CSMR 2001, Lisbon, Portugal, March 14-16,
                  2001},
  pages        = {13--20},
  publisher    = {Universidade Nova de Lisboa},
  year         = {2001},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csmr/PonsB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csmr/SaidS01,
  author       = {Jamal Said and
                  Eric Steegmans},
  editor       = {Tom Mens and
                  Michel Wermelinger},
  title        = {Transformation of Binary relations into Associations and Nested Classes},
  booktitle    = {Proceedings of the 2001 International Workshop on Formal Foundations
                  of Software Evolution, FFSE@CSMR 2001, Lisbon, Portugal, March 14-16,
                  2001},
  pages        = {75--82},
  publisher    = {Universidade Nova de Lisboa},
  year         = {2001},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csmr/SaidS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csmr/WermelingerLF01,
  author       = {Michel Wermelinger and
                  Ant{\'{o}}nia Lopes and
                  Jos{\'{e}} Luiz Fiadeiro},
  editor       = {Tom Mens and
                  Michel Wermelinger},
  title        = {A Graph Transformation Approach to Architectural Run-Time Reconfiguration},
  booktitle    = {Proceedings of the 2001 International Workshop on Formal Foundations
                  of Software Evolution, FFSE@CSMR 2001, Lisbon, Portugal, March 14-16,
                  2001},
  pages        = {59--66},
  publisher    = {Universidade Nova de Lisboa},
  year         = {2001},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csmr/WermelingerLF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csmr/Zhao01,
  author       = {Jianjun Zhao},
  editor       = {Tom Mens and
                  Michel Wermelinger},
  title        = {Change Impact Analysis for Architectural Evolution},
  booktitle    = {Proceedings of the 2001 International Workshop on Formal Foundations
                  of Software Evolution, FFSE@CSMR 2001, Lisbon, Portugal, March 14-16,
                  2001},
  pages        = {48--53},
  publisher    = {Universidade Nova de Lisboa},
  year         = {2001},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csmr/Zhao01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/csmr/2001ffse,
  editor       = {Tom Mens and
                  Michel Wermelinger},
  title        = {Proceedings of the 2001 International Workshop on Formal Foundations
                  of Software Evolution, FFSE@CSMR 2001, Lisbon, Portugal, March 14-16,
                  2001},
  publisher    = {Universidade Nova de Lisboa},
  year         = {2001},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csmr/2001ffse.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.