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