Search dblp for Publications

export results for "toc:db/conf/ecbs/ecbs2000.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ecbs/AlexanderKB00,
  author       = {Perry Alexander and
                  Roshan Kamath and
                  David Barton},
  title        = {System Specification in Rosetta},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {299--307},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839889},
  doi          = {10.1109/ECBS.2000.839889},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/AlexanderKB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/BasuSW00,
  author       = {Samik Basu and
                  Scott A. Smolka and
                  Orson R. Ward},
  title        = {Model Checking the Java Meta-Locking Algorithm},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {342--350},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839894},
  doi          = {10.1109/ECBS.2000.839894},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/BasuSW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/BayerGMW00,
  author       = {Joachim Bayer and
                  Cristina Gacek and
                  Dirk Muthig and
                  Tanya Widen},
  title        = {PuLSE-I: Deriving Instances from a Product Line Infrastructure},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {237--245},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839882},
  doi          = {10.1109/ECBS.2000.839882},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/BayerGMW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/BerlingR00,
  author       = {Tomas Berling and
                  Per Runeson},
  title        = {Application of Factorial Design to Validation of System Performance},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {318--326},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839891},
  doi          = {10.1109/ECBS.2000.839891},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/BerlingR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/BonifacioMCA00,
  author       = {Adilson Luiz Bonif{\'{a}}cio and
                  Arnaldo Vieira Moura and
                  Jo{\~{a}}o Batista Camargo Jr. and
                  Jorge Rady de Almeida Jr.},
  title        = {Formal Parameters Synthesis for Track Segments of a Subway Mesh},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {263--271},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839885},
  doi          = {10.1109/ECBS.2000.839885},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/BonifacioMCA00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/BreitmanL00,
  author       = {Karin K. Breitman and
                  Julio C{\'{e}}sar Sampaio do Prado Leite},
  title        = {Scenario-Based Software Process},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {375},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839898},
  doi          = {10.1109/ECBS.2000.839898},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/BreitmanL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/BuchananNS00,
  author       = {William J. Buchanan and
                  M. Naylor and
                  A. V. Scott},
  title        = {Enhancing Network Management using Mobile Agents},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {218},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839880},
  doi          = {10.1109/ECBS.2000.839880},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/BuchananNS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/BuhlerKGN00,
  author       = {Dieter B{\"{u}}hler and
                  Wolfgang K{\"{u}}chlin and
                  Gerhard Gruhler and
                  Gerd Nusser},
  title        = {The Virtual Automation Lab - Web Based Teaching of Automation Engineering
                  Concepts},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {156--164},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839873},
  doi          = {10.1109/ECBS.2000.839873},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/BuhlerKGN00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/CookK00,
  author       = {J. Cook and
                  Tariq M. Khan},
  title        = {Designing a Model-Based Interaction Planner with Dialogue Analysis},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {82},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839865},
  doi          = {10.1109/ECBS.2000.839865},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/CookK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/Dalcher00,
  author       = {Darren Dalcher},
  title        = {Forensic {ECBS:} {A} Situational Assessment},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {390--392},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839901},
  doi          = {10.1109/ECBS.2000.839901},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/Dalcher00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/Dalcher00a,
  author       = {Darren Dalcher},
  title        = {Smooth Seas - Rough Sailing: The Case of the Lame Ship},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {393--394},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839902},
  doi          = {10.1109/ECBS.2000.839902},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/Dalcher00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/DongAC00,
  author       = {Jing Dong and
                  Paulo S. C. Alencar and
                  Donald D. Cowan},
  title        = {Ensuring Structure and Behavior Correctness in Design Composition},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {279},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839887},
  doi          = {10.1109/ECBS.2000.839887},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecbs/DongAC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/DvorakC00,
  author       = {Vaclav Dvorak and
                  Rudolf Cejka},
  title        = {A Choice of {SM/DM} Parallel {ANN} Implementation for Embedded Applications},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {18},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839857},
  doi          = {10.1109/ECBS.2000.839857},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/DvorakC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/EberleinK00,
  author       = {Armin Eberlein and
                  Rob Kremer},
  title        = {Integrating the Components of an Intelligent Telecom Design Tool into
                  an Agent-Based Framework},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {196--204},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839877},
  doi          = {10.1109/ECBS.2000.839877},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/EberleinK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/FlorioDL00,
  author       = {Vincenzo De Florio and
                  Geert Deconinck and
                  Rudy Lauwereins},
  title        = {An Algorithm for Tolerating Crash Failures in Distributed Systems},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {9--17},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839856},
  doi          = {10.1109/ECBS.2000.839856},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/FlorioDL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/GarbajosaAMP00,
  author       = {Juan Garbajosa and
                  Maria Alandes and
                  Maria{-}Angeles Mahillo and
                  Mario Piattini},
  title        = {Assisting the Definition and Execution of Test Suites for Complex
                  Systems},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {327--333},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839892},
  doi          = {10.1109/ECBS.2000.839892},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/GarbajosaAMP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/GeorgS00,
  author       = {Geri Georg and
                  Stephen Seidman},
  title        = {The Use of Architecture Description Languages to Describe a Distributed
                  Measurement System},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {185},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839876},
  doi          = {10.1109/ECBS.2000.839876},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/GeorgS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/GuoL00,
  author       = {Jiang Guo and
                  Luqi},
  title        = {A Survey of Software Reuse Repositories},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {92--100},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839866},
  doi          = {10.1109/ECBS.2000.839866},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/GuoL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/GurpB00,
  author       = {Jilles van Gurp and
                  Jan Bosch},
  title        = {SAABNet: Managing Qualitative Knowledge in Software Architecture Assessment},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {45},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839860},
  doi          = {10.1109/ECBS.2000.839860},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/GurpB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/HerzogT00,
  author       = {Erik Herzog and
                  Anders T{\"{o}}rne},
  title        = {Support for Representation of Functional Behavior Specifications in
                  {AP-233}},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {351--358},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839895},
  doi          = {10.1109/ECBS.2000.839895},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/HerzogT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/JongPH00,
  author       = {Edwin D. de Jong and
                  Jaco van de Pol and
                  Jozef Hooman},
  title        = {Refinement in Requirements Specification and Analysis: {A} Case Study},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {290--298},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839888},
  doi          = {10.1109/ECBS.2000.839888},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/JongPH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/Jung00,
  author       = {Matthias Jung},
  title        = {A Component-Based Architecture for Software Communication Systems},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {36--44},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839859},
  doi          = {10.1109/ECBS.2000.839859},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/Jung00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/Karsai00,
  author       = {Gabor Karsai},
  title        = {Design Tool Integration: An Exercise in Semantic Interoperability},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {272--278},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839886},
  doi          = {10.1109/ECBS.2000.839886},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/Karsai00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/Kennedy00,
  author       = {Ryan P. Kennedy},
  title        = {Monitoring of Distributed Processes with Mobile Agents},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {205--210},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839878},
  doi          = {10.1109/ECBS.2000.839878},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/Kennedy00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/LarssonC00,
  author       = {Magnus Larsson and
                  Ivica Crnkovic},
  title        = {Development Experiences of a Component-Based System},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {246},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839883},
  doi          = {10.1109/ECBS.2000.839883},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/LarssonC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/Lavi00,
  author       = {Jonah Z. Lavi},
  title        = {{ECBS} Education and Training Working Group Report},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {395--397},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839903},
  doi          = {10.1109/ECBS.2000.839903},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/Lavi00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/LaviK00,
  author       = {Jonah Z. Lavi and
                  Joseph Kudish},
  title        = {Systematic Derivation of Operational Scenarios Using {ECSAM}},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {359--367},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839896},
  doi          = {10.1109/ECBS.2000.839896},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/LaviK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/Lemos00,
  author       = {Rog{\'{e}}rio de Lemos},
  title        = {A Co-Operative Object-Oriented Architecture for Adaptive Systems},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {120--128},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839869},
  doi          = {10.1109/ECBS.2000.839869},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/Lemos00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/MelhartW00,
  author       = {Bonnie E. Melhart and
                  Stephanie M. White},
  title        = {Issues in Defining, Analyzing, Refining, and Specifying System Dependability
                  Requirements},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {334},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839893},
  doi          = {10.1109/ECBS.2000.839893},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/MelhartW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/MendelbaumGBD00,
  author       = {B. Mendelbaum and
                  Reuven Gallant and
                  J.{-}F. Brette and
                  Ch. F. Ducateau},
  title        = {Java-Prototyping of Hardware/Software {CBS} Using a Behavioral {OO}
                  Model},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {73--81},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839864},
  doi          = {10.1109/ECBS.2000.839864},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/MendelbaumGBD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/Naedele00,
  author       = {Martin Naedele},
  title        = {Modeling and Simulating Functional and Timing Aspects of Real-Time
                  Systems by Delegated Execution},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {64--72},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839863},
  doi          = {10.1109/ECBS.2000.839863},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/Naedele00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/ONeillLM00,
  author       = {Tim O'Neill and
                  John Leaney and
                  Philip Martyn},
  title        = {Architecture-Based Performance Analysis of the {COLLINS} Class Submarine
                  Open System Extension {(COSE)} Concept Demonstrator {(CD)}},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {26--35},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839858},
  doi          = {10.1109/ECBS.2000.839858},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/ONeillLM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/ONeillLRSRWPBPHJ00,
  author       = {Tim O'Neill and
                  John Leaney and
                  David Rowe and
                  Hugo Simpson and
                  Murali Rangarajan and
                  Jurgen Weiss and
                  Zolt{\'{a}}n Papp and
                  Ted Bapty and
                  Byron Purves and
                  G{\'{a}}bor Horv{\'{a}}th and
                  Edwin D. de Jong},
  title        = {{IEEE} ECBS'99 {TC} Architecture Working Group {(AWG)} Report},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {383--389},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839900},
  doi          = {10.1109/ECBS.2000.839900},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/ONeillLRSRWPBPHJ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/OlarnsakulB00,
  author       = {Mathee Olarnsakul and
                  Dentcho N. Batanov},
  title        = {Component Coordination Model for Customization and Composition of
                  Component-Based System Design},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {228--236},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839881},
  doi          = {10.1109/ECBS.2000.839881},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/OlarnsakulB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/PikoulasMB00,
  author       = {John Pikoulas and
                  Mike Mannion and
                  William J. Buchanan},
  title        = {Software Agents and Computer Network Security},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {211--217},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839879},
  doi          = {10.1109/ECBS.2000.839879},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/PikoulasMB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/RangarajanMDFRDVKKAA00,
  author       = {Murali Rangarajan and
                  Iqbal Mutabanna and
                  Darryl D. Dieckman and
                  Badar Farooqi and
                  Amitvikram Rajkhowa and
                  Sarjoun Doumit and
                  Arun Venkataraman and
                  Cindy Kong and
                  Roshan Kamath and
                  Perry Alexander and
                  Nael B. Abu{-}Ghazaleh},
  title        = {On the Design of {ORBIT}},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {110},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839868},
  doi          = {10.1109/ECBS.2000.839868},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/RangarajanMDFRDVKKAA00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/Schade00,
  author       = {Gabriele Schade},
  title        = {Multimedia Systems - On the Ergonomic Design and Evaluation of User
                  Interfaces and System Structures},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {256--262},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839884},
  doi          = {10.1109/ECBS.2000.839884},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/Schade00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SchulzER00,
  author       = {Stephan Schulz and
                  T. C. Ewing and
                  Jerzy W. Rozenblit},
  title        = {Discrete Event System Specification {(DEVS)} and StateMate StateCharts
                  Equivalence for Embedded Systems Modeling},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {308},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839890},
  doi          = {10.1109/ECBS.2000.839890},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/SchulzER00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/ScottB00,
  author       = {A. V. Scott and
                  William J. Buchanan},
  title        = {Truly Distributed Control Systems using Fieldbus Technology},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {165},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839874},
  doi          = {10.1109/ECBS.2000.839874},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/ScottB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/Speck00,
  author       = {Andreas Speck},
  title        = {Component-Based Control System},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {176--184},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839875},
  doi          = {10.1109/ECBS.2000.839875},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/Speck00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/StolleRK00,
  author       = {Ren{\'{e}} Stolle and
                  Wilhelm R. Rossak and
                  Vassilka Kirova},
  title        = {A Component-Driven Architecture for Internet-Based, Directly Reactive
                  Information Systems},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {129--137},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839870},
  doi          = {10.1109/ECBS.2000.839870},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/StolleRK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SvedaPR00,
  author       = {Miroslav Sv{\'{e}}da and
                  Franz Pichler and
                  Charles Rattray},
  title        = {{IEEE/IFIP} Joint Workshop on Formal Specifications of Computer-Based
                  Systems},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {382--382},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839899},
  doi          = {10.1109/ECBS.2000.839899},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/SvedaPR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SvedaVZ00,
  author       = {Miroslav Sv{\'{e}}da and
                  Radimir Vrba and
                  Frantisek Zezulka},
  title        = {Coupling Architectures for Low- Level Fieldbusses},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {148--155},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839872},
  doi          = {10.1109/ECBS.2000.839872},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/SvedaVZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/TaylorAN00,
  author       = {Philip S. Taylor and
                  Terry J. Anderson and
                  Peter N. Nicholl},
  title        = {Information Required for the Success Geographically Distributed Software
                  Engineering of Components and Component-Based Systems},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {101--109},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839867},
  doi          = {10.1109/ECBS.2000.839867},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/TaylorAN00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/UchitelY00,
  author       = {Sebasti{\'{a}}n Uchitel and
                  Daniel Yankelevich},
  title        = {Enhancing Architectural Mismatch Detection with Assumptions},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {138},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839871},
  doi          = {10.1109/ECBS.2000.839871},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/UchitelY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/Voas00,
  author       = {Jeffrey M. Voas},
  title        = {Limited Software Warranties},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {56--63},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839861},
  doi          = {10.1109/ECBS.2000.839861},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/Voas00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/YoonS00,
  author       = {D. H. Yoon and
                  F. Z. Shaikh},
  title        = {Integrating {CAD} and {CAM} via {CORBA}},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {3--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839855},
  doi          = {10.1109/ECBS.2000.839855},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/YoonS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/ZhiyingH00,
  author       = {Zhou Zhiying and
                  Lu Haipeng},
  title        = {A Java-Based {CSCW} Tool for Supporting Software Processes},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {368--374},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839897},
  doi          = {10.1109/ECBS.2000.839897},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/ZhiyingH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecbs/2000,
  title        = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6751/proceeding},
  isbn         = {0-7695-0604-6},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecbs/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics