Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fase/fase2002.bht:"
download as .bib file
@inproceedings{DBLP:conf/fase/AhrendtBBGHHMMS02,
author = {Wolfgang Ahrendt and
Thomas Baar and
Bernhard Beckert and
Martin Giese and
Elmar Habermalz and
Reiner H{\"{a}}hnle and
Wolfram Menzel and
Wojciech Mostowski and
Peter H. Schmitt},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {The KeY System: Integrating Object-Oriented Design and Formal Methods},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {327--330},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_23},
doi = {10.1007/3-540-45923-5\_23},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/AhrendtBBGHHMMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BaresiGMP02,
author = {Luciano Baresi and
Franca Garzotto and
Luca Mainetti and
Paolo Paolini},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Meta-modeling Techniques Meet Web Application Design Tools},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {294--307},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_20},
doi = {10.1007/3-540-45923-5\_20},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/BaresiGMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BaresiP02,
author = {Luciano Baresi and
Mauro Pezz{\`{e}}},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {A Toolbox for Automating Visual Software Engineering},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {189--202},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_13},
doi = {10.1007/3-540-45923-5\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BaresiP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BartheGH02,
author = {Gilles Barthe and
Dilian Gurov and
Marieke Huisman},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Compositional Verification of Secure Applet Interactions},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {15--32},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_2},
doi = {10.1007/3-540-45923-5\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/BartheGH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BelaundeP02,
author = {Mariano Belaunde and
Mikael Peltier},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {From {EDOC} Components to {CCM} Components: {A} Precise Mapping Specification},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {143--158},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_10},
doi = {10.1007/3-540-45923-5\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BelaundeP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BernardoF02,
author = {Marco Bernardo and
Francesco Franz{\`{e}}},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Architectural Types Revisited: Extensible And/Or Connections},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {113--127},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_8},
doi = {10.1007/3-540-45923-5\_8},
timestamp = {Wed, 25 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BernardoF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BradfieldFS02,
author = {Julian C. Bradfield and
Juliana K{\"{u}}ster Filipe and
Perdita Stevens},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Enriching {OCL} Using Observational Mu-Calculus},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {203--217},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_14},
doi = {10.1007/3-540-45923-5\_14},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BradfieldFS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/Bubl02,
author = {Felix B{\"{u}}bl},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Introducing Context-Based Constraints},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {249--263},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_17},
doi = {10.1007/3-540-45923-5\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/Bubl02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/Cerone02,
author = {Antonio Cerone},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Implementing Condition/Event Nets in the Circal Process Algebra},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {49--63},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_4},
doi = {10.1007/3-540-45923-5\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/Cerone02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/Charpentier02,
author = {Michel Charpentier},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {An Approach to Composition Motivated by wp},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {1--14},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_1},
doi = {10.1007/3-540-45923-5\_1},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/Charpentier02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ClarkEK02,
author = {Tony Clark and
Andy Evans and
Stuart Kent},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Engineering Modelling Languages: {A} Precise Meta-Modelling Approach},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {159--173},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_11},
doi = {10.1007/3-540-45923-5\_11},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/ClarkEK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DavidMY02,
author = {Alexandre David and
M. Oliver M{\"{o}}ller and
Wang Yi},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Formal Verification of {UML} Statecharts with Real-Time Extensions},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {218--232},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_15},
doi = {10.1007/3-540-45923-5\_15},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/DavidMY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/EhrigOBKP02,
author = {Hartmut Ehrig and
Fernando Orejas and
Benjamin Braatz and
Markus Klein and
Martti Piirainen},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {A Generic Component Framework for System Modeling},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {33--48},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_3},
doi = {10.1007/3-540-45923-5\_3},
timestamp = {Mon, 13 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/EhrigOBKP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/GouveiaKWAF02,
author = {Jo{\~{a}}o Gouveia and
Georgios Koutsoukos and
Michel Wermelinger and
Lu{\'{\i}}s Andrade and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {The Coordination Development Environment},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {323--326},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_22},
doi = {10.1007/3-540-45923-5\_22},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/GouveiaKWAF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/HagererHMNSI02,
author = {Andreas Hagerer and
Hardi Hungar and
Tiziana Margaria and
Oliver Niese and
Bernhard Steffen and
Hans{-}Dieter Ide},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Demonstration of an Operational Procedure for the Model-Based Testing
of {CTI} Systems},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {336--340},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_25},
doi = {10.1007/3-540-45923-5\_25},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/HagererHMNSI02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/HagererHNS02,
author = {Andreas Hagerer and
Hardi Hungar and
Oliver Niese and
Bernhard Steffen},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Model Generation by Moderated Regular Extrapolation},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {80--95},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_6},
doi = {10.1007/3-540-45923-5\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/HagererHNS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/HahnleJR02,
author = {Reiner H{\"{a}}hnle and
Kristofer Johannisson and
Aarne Ranta},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {An Authoring Tool for Informal and Formal Requirements Specifications},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {233--248},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_16},
doi = {10.1007/3-540-45923-5\_16},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/HahnleJR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/KumarH02,
author = {Sumit Kumar and
Susan Horwitz},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Better Slicing of Programs with Jumps and Switches},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {96--112},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_7},
doi = {10.1007/3-540-45923-5\_7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/KumarH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LaraV02,
author = {Juan de Lara and
Hans Vangheluwe},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {AToM\({}^{\mbox{3}}\): {A} Tool for Multi-formalism and Meta-modelling},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {174--188},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_12},
doi = {10.1007/3-540-45923-5\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/LaraV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LopezLG02,
author = {Oscar L{\'{o}}pez and
Miguel A. Laguna and
Francisco Jos{\'{e}} Garc{\'{\i}}a{-}Pe{\~{n}}alvo},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Automatic Generation of Use Cases from Workflows: {A} Petri Net Based
Approach},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {279--293},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_19},
doi = {10.1007/3-540-45923-5\_19},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/LopezLG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/NavarroFFS02,
author = {Antonio Navarro and
Baltasar Fern{\'{a}}ndez{-}Manj{\'{o}}n and
Alfredo Fern{\'{a}}ndez{-}Valmayor and
Jos{\'{e}} Luis Sierra},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Formal-Driven Conceptualization and Prototyping of Hypermedia Applications},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {308--322},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_21},
doi = {10.1007/3-540-45923-5\_21},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/NavarroFFS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/NonnengartRS02,
author = {Andreas Nonnengart and
Georg Rock and
Werner Stephan},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Formal Requirements Engineering Using Observer Models},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {264--278},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_18},
doi = {10.1007/3-540-45923-5\_18},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/NonnengartRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/PaulaB02,
author = {Virginia C. Carneiro de Paula and
Tha{\'{\i}}s Vasconcelos Batista},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Mapping an {ADL} to a Component-Based Application Development Environment},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {128--142},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_9},
doi = {10.1007/3-540-45923-5\_9},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/PaulaB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/XieB02,
author = {Fei Xie and
James C. Browne},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Integrated State Space Reduction for Model Checking Executable Object-Oriented
Software System Designs},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {64--79},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_5},
doi = {10.1007/3-540-45923-5\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/XieB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/XieLB02,
author = {Fei Xie and
Vladimir Levin and
James C. Browne},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {ObjectCheck: {A} Model Checking Tool for Executable Object-Oriented
Software System Designs},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {331--335},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_24},
doi = {10.1007/3-540-45923-5\_24},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/XieLB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2002,
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5},
doi = {10.1007/3-540-45923-5},
isbn = {3-540-43353-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-23 20:01 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
