Search dblp for Publications

export results for "stream:streams/conf/rtse:"

 download as .bib file

@proceedings{DBLP:conf/rtse/1997,
  editor       = {Manfred Broy and
                  Bernhard Rumpe},
  title        = {Requirements Targeting Software and Systems Engineering, International
                  Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1526},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/b71630},
  doi          = {10.1007/B71630},
  isbn         = {3-540-65309-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtse/1997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtse/AstesianoR97,
  author       = {Egidio Astesiano and
                  Gianna Reggio},
  editor       = {Manfred Broy and
                  Bernhard Rumpe},
  title        = {A Discipline for Handling Feature Interaction},
  booktitle    = {Requirements Targeting Software and Systems Engineering, International
                  Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1526},
  pages        = {95--119},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/10692867\_4},
  doi          = {10.1007/10692867\_4},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/rtse/AstesianoR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtse/Berzins97,
  author       = {Valdis Berzins},
  editor       = {Manfred Broy and
                  Bernhard Rumpe},
  title        = {Merging Changes to Software Specifications},
  booktitle    = {Requirements Targeting Software and Systems Engineering, International
                  Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1526},
  pages        = {121--131},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/10692867\_5},
  doi          = {10.1007/10692867\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtse/Berzins97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtse/Bjorner97,
  author       = {Dines Bj{\o}rner},
  editor       = {Manfred Broy and
                  Bernhard Rumpe},
  title        = {Domains as a Prerequisite for Requirements and Software Domain Perspectives
                  {\&} Facets, Requirements Aspects and Software Views},
  booktitle    = {Requirements Targeting Software and Systems Engineering, International
                  Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1526},
  pages        = {1--41},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/10692867\_1},
  doi          = {10.1007/10692867\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtse/Bjorner97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtse/BroyHPRS97,
  author       = {Manfred Broy and
                  Franz Huber and
                  Barbara Paech and
                  Bernhard Rumpe and
                  Katharina Spies},
  editor       = {Manfred Broy and
                  Bernhard Rumpe},
  title        = {Software and System Modeling Based on a Unified Formal Semantics},
  booktitle    = {Requirements Targeting Software and Systems Engineering, International
                  Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1526},
  pages        = {43--68},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/10692867\_2},
  doi          = {10.1007/10692867\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtse/BroyHPRS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtse/GeorgeD97,
  author       = {Chris George and
                  Do Tien Dung},
  editor       = {Manfred Broy and
                  Bernhard Rumpe},
  title        = {Combining and Distributing Hierarchical Systems},
  booktitle    = {Requirements Targeting Software and Systems Engineering, International
                  Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1526},
  pages        = {133--153},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/10692867\_6},
  doi          = {10.1007/10692867\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtse/GeorgeD97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtse/GhezziV97,
  author       = {Carlo Ghezzi and
                  Giovanni Vigna},
  editor       = {Manfred Broy and
                  Bernhard Rumpe},
  title        = {Software Engineering Issues for Network Computing},
  booktitle    = {Requirements Targeting Software and Systems Engineering, International
                  Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1526},
  pages        = {155--177},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/10692867\_7},
  doi          = {10.1007/10692867\_7},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtse/GhezziV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtse/GrunerNS97,
  author       = {Stefan Gruner and
                  Manfred Nagl and
                  Andy Sch{\"{u}}rr},
  editor       = {Manfred Broy and
                  Bernhard Rumpe},
  title        = {Integration Tools Supporting Development Processes},
  booktitle    = {Requirements Targeting Software and Systems Engineering, International
                  Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1526},
  pages        = {235--256},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/10692867\_11},
  doi          = {10.1007/10692867\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtse/GrunerNS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtse/HeiselJ97,
  author       = {Maritta Heisel and
                  Stefan J{\"{a}}hnichen},
  editor       = {Manfred Broy and
                  Bernhard Rumpe},
  title        = {A Two-Layered Approach to Support Systematic Software Development},
  booktitle    = {Requirements Targeting Software and Systems Engineering, International
                  Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1526},
  pages        = {179--202},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/10692867\_8},
  doi          = {10.1007/10692867\_8},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtse/HeiselJ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtse/KamstiesR97,
  author       = {Erik Kamsties and
                  H. Dieter Rombach},
  editor       = {Manfred Broy and
                  Bernhard Rumpe},
  title        = {A Framework for Evaluating System and Software Requirements Specification
                  Approaches},
  booktitle    = {Requirements Targeting Software and Systems Engineering, International
                  Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1526},
  pages        = {203--222},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/10692867\_9},
  doi          = {10.1007/10692867\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtse/KamstiesR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtse/Luqi97,
  author       = {Luqi},
  editor       = {Manfred Broy and
                  Bernhard Rumpe},
  title        = {Formal Methods and Prototyping},
  booktitle    = {Requirements Targeting Software and Systems Engineering, International
                  Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1526},
  pages        = {257--272},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/10692867\_12},
  doi          = {10.1007/10692867\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtse/Luqi97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtse/MannaCFSU97,
  author       = {Zohar Manna and
                  Michael Col{\'{o}}n and
                  Bernd Finkbeiner and
                  Henny Sipma and
                  Tom{\'{a}}s E. Uribe},
  editor       = {Manfred Broy and
                  Bernhard Rumpe},
  title        = {Abstraction and Modular Verification of Infinite-State Reactive Systems},
  booktitle    = {Requirements Targeting Software and Systems Engineering, International
                  Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1526},
  pages        = {273--292},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/10692867\_13},
  doi          = {10.1007/10692867\_13},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtse/MannaCFSU97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtse/MeldalL97,
  author       = {Sigurd Meldal and
                  David C. Luckham},
  editor       = {Manfred Broy and
                  Bernhard Rumpe},
  title        = {NSA's {MISSI} Reference Architecture - Moving from Prose to Precise
                  Specification},
  booktitle    = {Requirements Targeting Software and Systems Engineering, International
                  Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1526},
  pages        = {293--329},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/10692867\_14},
  doi          = {10.1007/10692867\_14},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtse/MeldalL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtse/NissenJ97,
  author       = {Hans W. Nissen and
                  Matthias Jarke},
  editor       = {Manfred Broy and
                  Bernhard Rumpe},
  title        = {Requirements Engineering Repositories: Formal Support for Informal
                  Teamwork Methods},
  booktitle    = {Requirements Targeting Software and Systems Engineering, International
                  Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1526},
  pages        = {331--355},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/10692867\_15},
  doi          = {10.1007/10692867\_15},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtse/NissenJ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtse/Reed97,
  author       = {Joy N. Reed},
  editor       = {Manfred Broy and
                  Bernhard Rumpe},
  title        = {Formal Methods and Industrial-Strength Computer Networks},
  booktitle    = {Requirements Targeting Software and Systems Engineering, International
                  Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1526},
  pages        = {223--233},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/10692867\_10},
  doi          = {10.1007/10692867\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtse/Reed97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtse/Wieringa97,
  author       = {Roel J. Wieringa},
  editor       = {Manfred Broy and
                  Bernhard Rumpe},
  title        = {Postmodern Software Design with {NYAM:} Not Yet Another Method},
  booktitle    = {Requirements Targeting Software and Systems Engineering, International
                  Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1526},
  pages        = {69--94},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/10692867\_3},
  doi          = {10.1007/10692867\_3},
  timestamp    = {Thu, 14 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtse/Wieringa97.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.