![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "stream:conf/rissef:"
@proceedings{DBLP:conf/rissef/2002, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/b96009}, doi = {10.1007/B96009}, isbn = {3-540-21179-9}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/AstesianoCR02, author = {Egidio Astesiano and Maura Cerioli and Gianna Reggio}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {Architecture Specific Models: Software Design on Abstract Platforms (The {P2P} Case)}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {1--15}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_1}, doi = {10.1007/978-3-540-24626-8\_1}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/AstesianoCR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/AstesianoR02, author = {Egidio Astesiano and Gianna Reggio}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {Tight Structuring for Precise UML-Based Requirement Specifications}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {16--34}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_2}, doi = {10.1007/978-3-540-24626-8\_2}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/AstesianoR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/BalsamoS02, author = {Simonetta Balsamo and Marta Simeoni}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {Integrating Performance Modeling in the Software Development Process}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {35--49}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_3}, doi = {10.1007/978-3-540-24626-8\_3}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/BalsamoS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/Berry02, author = {Daniel M. Berry}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {The Inevitable Pain of Software Development: Why There Is No Silver Bullet}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {50--74}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_4}, doi = {10.1007/978-3-540-24626-8\_4}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/Berry02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/BidoitST02, author = {Michel Bidoit and Donald Sannella and Andrzej Tarlecki}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {Toward Component-Oriented Formal Software Development: An Algebraic Approach}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {75--90}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_5}, doi = {10.1007/978-3-540-24626-8\_5}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/BidoitST02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/BreuerKCF02, author = {Peter T. Breuer and Carlos Delgado Kloos and Vicente Luque Centeno and Luis S{\'{a}}nchez Fern{\'{a}}ndez}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {Higher Order Applicative {XML} Documents}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {91--107}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_6}, doi = {10.1007/978-3-540-24626-8\_6}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rissef/BreuerKCF02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/CaffallM02, author = {Dale Scott Caffall and James Bret Michael}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {A New Paradigm for Requirements Specification and Analysis of System-of-Systems}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {108--121}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_7}, doi = {10.1007/978-3-540-24626-8\_7}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/CaffallM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/CiancariniP02, author = {Paolo Ciancarini and Valentina Presutti}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {Towards Ontology Driven Software Design}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {122--136}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_8}, doi = {10.1007/978-3-540-24626-8\_8}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/CiancariniP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/GilliersKR02, author = {Fr{\'{e}}d{\'{e}}ric Gilliers and Fabrice Kordon and Dan Marius Regep}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {A Model Based Development Approach for Distributed Embedded Systems}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {137--151}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_9}, doi = {10.1007/978-3-540-24626-8\_9}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/GilliersKR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/GschwindJO02, author = {Thomas Gschwind and Mehdi Jazayeri and Johann Oberleitner}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {Pervasive Challenges for Software Components}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {152--166}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_10}, doi = {10.1007/978-3-540-24626-8\_10}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/GschwindJO02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/HungarMS02, author = {Hardi Hungar and Tiziana Margaria and Bernhard Steffen}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {Model Generation for Legacy Systems}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {167--183}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_11}, doi = {10.1007/978-3-540-24626-8\_11}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/HungarMS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/InverardiT02, author = {Paola Inverardi and Massimo Tivoli}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {Automatic Failures-Free Connector Synthesis: An Example}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {184--197}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_12}, doi = {10.1007/978-3-540-24626-8\_12}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/InverardiT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/Jackson02, author = {Daniel Jackson}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {Module Dependences in Software Design}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {198--203}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_13}, doi = {10.1007/978-3-540-24626-8\_13}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/Jackson02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/JefferyAU02, author = {Clinton Jeffery and Mikhail Auguston and Scott Underwood}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {Towards Fully Automatic Execution Monitoring}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {204--218}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_14}, doi = {10.1007/978-3-540-24626-8\_14}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/JefferyAU02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/LamsweerdeL02, author = {Axel van Lamsweerde and Emmanuel Letier}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {From Object Orientation to Goal Orientation: {A} Paradigm Shift for Requirements Engineering}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {325--340}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_23}, doi = {10.1007/978-3-540-24626-8\_23}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/LamsweerdeL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/LeeB02, author = {Beum{-}Seuk Lee and Barrett R. Bryant}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {Automation of Software System Development Using Natural Language Processing and Two-Level Grammar}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {219--233}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_15}, doi = {10.1007/978-3-540-24626-8\_15}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/LeeB02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/LeePS02, author = {Insup Lee and Anna Philippou and Oleg Sokolsky}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {A General Resource Framework for Real-Time Systems}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {234--248}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_16}, doi = {10.1007/978-3-540-24626-8\_16}, timestamp = {Thu, 26 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rissef/LeePS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/Lewis02, author = {Bruce Lewis}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {249--260}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_17}, doi = {10.1007/978-3-540-24626-8\_17}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/Lewis02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/LuqiQZ02, author = {Luqi and Ying Qiao and Lin Zhang}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {A Computational Model for Complex Systems of Embedded Systems}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {261--273}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_18}, doi = {10.1007/978-3-540-24626-8\_18}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/LuqiQZ02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/Nierstrasz02, author = {Oscar Nierstrasz}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {Software Evolution as the Key to Productivity}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {274--282}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_19}, doi = {10.1007/978-3-540-24626-8\_19}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/Nierstrasz02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/RangarajanC02, author = {Murali Rangarajan and Darren D. Cofer}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {Model-Checking Complex Software - {A} Memory Perspective}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {283--296}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_20}, doi = {10.1007/978-3-540-24626-8\_20}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/RangarajanC02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/Rumpe02, author = {Bernhard Rumpe}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {Agile Modeling with the {UML}}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {297--309}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_21}, doi = {10.1007/978-3-540-24626-8\_21}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/Rumpe02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/SchmidtKPR02, author = {Heinz W. Schmidt and Bernd J. Kr{\"{a}}mer and Iman Poernomo and Ralf H. Reussner}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {Predictable Component Architectures Using Dependent Finite State Machines}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {310--324}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_22}, doi = {10.1007/978-3-540-24626-8\_22}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/SchmidtKPR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rissef/WirsingK02, author = {Martin Wirsing and Alexander Knapp}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, title = {View Consistency in Software Development}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, {RISSEF} 2002, Venice, Italy, October 7-11, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2941}, pages = {341--357}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24626-8\_24}, doi = {10.1007/978-3-540-24626-8\_24}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rissef/WirsingK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.