Search dblp for Publications

export results for "toc:db/conf/fase/fase99.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fase/AnconaCZ99,
  author       = {Davide Ancona and
                  Maura Cerioli and
                  Elena Zucca},
  editor       = {Jean{-}Pierre Finance},
  title        = {A Formal Framework with Late Binding},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1577},
  pages        = {30--44},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-49020-3\_3},
  doi          = {10.1007/978-3-540-49020-3\_3},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/AnconaCZ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/AttanasioCI99,
  author       = {Candida Attanasio and
                  Flavio Corradini and
                  Paola Inverardi},
  editor       = {Jean{-}Pierre Finance},
  title        = {Yet Another Real-Time Specification for the Steam Boiler: Local Clocks
                  to Statically Measure Systems Performance},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1577},
  pages        = {45--59},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-49020-3\_4},
  doi          = {10.1007/978-3-540-49020-3\_4},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/AttanasioCI99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/BlairJB99,
  author       = {Lynne Blair and
                  Trevor Jones and
                  Gordon S. Blair},
  editor       = {Jean{-}Pierre Finance},
  title        = {A Tool Suite for Multi-paradigm Specification},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1577},
  pages        = {234--238},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-49020-3\_16},
  doi          = {10.1007/978-3-540-49020-3\_16},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/BlairJB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/BruniMM99,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Meseguer and
                  Ugo Montanari},
  editor       = {Jean{-}Pierre Finance},
  title        = {Executable Tile Specifications for Process Calculi},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1577},
  pages        = {60--76},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-49020-3\_5},
  doi          = {10.1007/978-3-540-49020-3\_5},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/BruniMM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/CosicaR99,
  author       = {Eva Coscia and
                  Gianna Reggio},
  editor       = {Jean{-}Pierre Finance},
  title        = {{JTN:} {A} Java-Targeted Graphic Formal Notation for Reactive and
                  Concurrent Systems},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1577},
  pages        = {77--97},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-49020-3\_6},
  doi          = {10.1007/978-3-540-49020-3\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/CosicaR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/DeursenKV99,
  author       = {Arie van Deursen and
                  Paul Klint and
                  Chris Verhoef},
  editor       = {Jean{-}Pierre Finance},
  title        = {Research Issues in the Renovation of Legacy Systems},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1577},
  pages        = {1--21},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-49020-3\_1},
  doi          = {10.1007/978-3-540-49020-3\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/DeursenKV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/FokkinkV99,
  author       = {Wan J. Fokkink and
                  Chris Verhoef},
  editor       = {Jean{-}Pierre Finance},
  title        = {Conservative Extension in Positive/Negative Conditional Term Rewriting
                  with Applications to Software Renovation Factories},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1577},
  pages        = {98--113},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-49020-3\_7},
  doi          = {10.1007/978-3-540-49020-3\_7},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/FokkinkV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/GaudelKZ99,
  author       = {Marie{-}Claude Gaudel and
                  Carole Khoury and
                  Alexandre V. Zamulin},
  editor       = {Jean{-}Pierre Finance},
  title        = {Dynamic Systems with Implicit State},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1577},
  pages        = {114--128},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-49020-3\_8},
  doi          = {10.1007/978-3-540-49020-3\_8},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/GaudelKZ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/LanoE99,
  author       = {Kevin Lano and
                  Andy Evans},
  editor       = {Jean{-}Pierre Finance},
  title        = {Rigorous Development in {UML}},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1577},
  pages        = {129--144},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-49020-3\_9},
  doi          = {10.1007/978-3-540-49020-3\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/LanoE99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/LopesF99,
  author       = {Ant{\'{o}}nia Lopes and
                  Jos{\'{e}} Luiz Fiadeiro},
  editor       = {Jean{-}Pierre Finance},
  title        = {Using Explicit State to Describe Architechtures},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1577},
  pages        = {144--160},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-49020-3\_10},
  doi          = {10.1007/978-3-540-49020-3\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/LopesF99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/LuthTKK99,
  author       = {Christoph L{\"{u}}th and
                  Haykal Tej and
                  Kolyang and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  editor       = {Jean{-}Pierre Finance},
  title        = {{TAS} and IsaWin: Tools for Transformational Program Development and
                  Theorem Proving},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1577},
  pages        = {239--243},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-49020-3\_17},
  doi          = {10.1007/978-3-540-49020-3\_17},
  timestamp    = {Wed, 15 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fase/LuthTKK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/Muller-OlmSC99,
  author       = {Markus M{\"{u}}ller{-}Olm and
                  Bernhard Steffen and
                  Rance Cleaveland},
  editor       = {Jean{-}Pierre Finance},
  title        = {On the Evolution of Reactive Components: {A} Process-Algebraic Approach},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1577},
  pages        = {161--175},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-49020-3\_11},
  doi          = {10.1007/978-3-540-49020-3\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/Muller-OlmSC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/Nepomniaschy99,
  author       = {Valery A. Nepomniaschy},
  editor       = {Jean{-}Pierre Finance},
  title        = {Verification of Definite Iteration over Hierarchical Data Structures},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1577},
  pages        = {176--187},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-49020-3\_12},
  doi          = {10.1007/978-3-540-49020-3\_12},
  timestamp    = {Mon, 16 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fase/Nepomniaschy99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/NipkowN99,
  author       = {Tobias Nipkow and
                  Leonor Prensa Nieto},
  editor       = {Jean{-}Pierre Finance},
  title        = {Owicki/Gries in Isabelle/HOL},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1577},
  pages        = {188--203},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-49020-3\_13},
  doi          = {10.1007/978-3-540-49020-3\_13},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/NipkowN99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/NottegarPD99,
  author       = {Chiara Nottegar and
                  Corrado Priami and
                  Pierpaolo Degano},
  editor       = {Jean{-}Pierre Finance},
  title        = {Semantic-Driven Performance Evaluation (Extended Abstract)},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1577},
  pages        = {204--218},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-49020-3\_14},
  doi          = {10.1007/978-3-540-49020-3\_14},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/NottegarPD99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/Tapken99,
  author       = {Josef Tapken},
  editor       = {Jean{-}Pierre Finance},
  title        = {Implementing Hierarchical Graph-Structures},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1577},
  pages        = {219--233},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-49020-3\_15},
  doi          = {10.1007/978-3-540-49020-3\_15},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/Tapken99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/Weber99,
  author       = {Herbert Weber},
  editor       = {Jean{-}Pierre Finance},
  title        = {Continuous Engineering of Information and Communication Infrastructures
                  (Extended Abstract)},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1577},
  pages        = {22--29},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-49020-3\_2},
  doi          = {10.1007/978-3-540-49020-3\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/Weber99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fase/1999,
  editor       = {Jean{-}Pierre Finance},
  title        = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1577},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/b92746},
  doi          = {10.1007/B92746},
  isbn         = {3-540-65718-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/1999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.