Search dblp for Publications

export results for "toc:db/conf/adaEurope/adaEurope2000.bht:"

 download as .bib file

@inproceedings{DBLP:conf/adaEurope/BarrazaPCC00,
  author       = {N{\'{e}}stor R. Barraza and
                  Jon{\'{a}}s D. Pfefferman and
                  Bruno Cernuschi{-}Fr{\'{\i}}as and
                  F{\'{e}}lix Cernuschi},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {An Application of the Chains-of-Rare-Events Model to Software Development
                  Failure Prediction},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {185--195},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_18},
  doi          = {10.1007/10722060\_18},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BarrazaPCC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BliebergerBS00,
  author       = {Johann Blieberger and
                  Bernd Burgstaller and
                  Bernhard Scholz},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking
                  Programs},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {225--237},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_21},
  doi          = {10.1007/10722060\_21},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BliebergerBS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BriotBC00,
  author       = {Emmanuel Briot and
                  Jo{\"{e}}l Brobecker and
                  Arnaud Charlet},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {GtkAda: Design and Implementation of a High Level Binding in Ada},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {112--124},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_12},
  doi          = {10.1007/10722060\_12},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BriotBC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/ChenL00,
  author       = {Tsong Yueh Chen and
                  Man Fai Lau},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {On the Minimal Essential Subsets and Minimal Representative Sets},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {291--301},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_26},
  doi          = {10.1007/10722060\_26},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/ChenL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/CloshenH00,
  author       = {Patrick Closhen and
                  Hans{-}J{\"{u}}rgen Hoffmann},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {An Ada95 Programming Style Checker Using the {GNAT} {ASIS} Implementation},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {149--160},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_15},
  doi          = {10.1007/10722060\_15},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/CloshenH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/DeshpandeCT00,
  author       = {Mahesh Deshpande and
                  Frank P. Coyle and
                  Jeff Tian},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {Improving the Reliability of Object-Oriented Software through Object-Level
                  Behavioral Simulation},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {266--279},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_24},
  doi          = {10.1007/10722060\_24},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/DeshpandeCT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/FlintD00,
  author       = {Shayne Flint and
                  Brian Dobbing},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {Using Java\({}^{\mbox{TM}}\) APIs with Native Ada Compilers},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {41--55},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_7},
  doi          = {10.1007/10722060\_7},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/FlintD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/HovaterMB00,
  author       = {Steven V. Hovater and
                  William Marksteiner and
                  Allen Butturini},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {Generation of Interface Design Description Documents Using {ASIS}},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {138--148},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_14},
  doi          = {10.1007/10722060\_14},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/HovaterMB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Kallberg00,
  author       = {Bj{\"{o}}rn K{\"{a}}llberg},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {Is an Ada Lint Necessary?},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {29--40},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_6},
  doi          = {10.1007/10722060\_6},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Kallberg00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/KienzleR00,
  author       = {J{\"{o}}rg Kienzle and
                  Alexander B. Romanovsky},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {On Persistent and Reliable Streaming in Ada},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {82--95},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_10},
  doi          = {10.1007/10722060\_10},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adaEurope/KienzleR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/KiteleyD00,
  author       = {Simon Kiteley and
                  Jonathan Draper},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {Results of an Investigation into Software Integration Testing Automation},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {280--290},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_25},
  doi          = {10.1007/10722060\_25},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/KiteleyD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/LacommeCCN00,
  author       = {Thierry Lacomme and
                  S{\'{e}}verine Carles and
                  Agusti Canals and
                  Fran{\c{c}}ois Normend},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {{MTS} Integrating UML, HOOD, Ada in a Full Ada Operational Software
                  Project},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {211--224},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_20},
  doi          = {10.1007/10722060\_20},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/LacommeCCN00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/LinM00,
  author       = {Tse{-}Min Lin and
                  John A. McDermid},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {(True) Polymorphism in {SPARK2000}},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {252--265},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_23},
  doi          = {10.1007/10722060\_23},
  timestamp    = {Mon, 30 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adaEurope/LinM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MarcoF00,
  author       = {Jordi Marco and
                  Xavier Franch},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {Reengineering the Booch Component Library},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {96--111},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_11},
  doi          = {10.1007/10722060\_11},
  timestamp    = {Mon, 29 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/MarcoF00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MauriS00,
  author       = {Giuseppe Mauri and
                  Stefan Scheer},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {Constructing Reliable Embedded Systems Using the Results of System
                  Safety Analysis},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {173--184},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_17},
  doi          = {10.1007/10722060\_17},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/MauriS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/NonakaCU00,
  author       = {Yusuke Nonaka and
                  Jingde Cheng and
                  Kazuo Ushijima},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {A Supporting Tool for Development of Self-Measurement Ada Programs},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {69--81},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_9},
  doi          = {10.1007/10722060\_9},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/NonakaCU00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Pflug00,
  author       = {Bryan Pflug},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {Ada after 10 Years of Usage - Is There a Commercial Future?},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {4},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_3},
  doi          = {10.1007/10722060\_3},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Pflug00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/PuenteRZ00,
  author       = {Juan Antonio de la Puente and
                  Jos{\'{e}} F. Ruiz and
                  Juan Zamorano},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {An Open Ravenscar Real-Time Kernel for {GNAT}},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {5--15},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_4},
  doi          = {10.1007/10722060\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/PuenteRZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Ringler00,
  author       = {Thomas Ringler},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {Static Worst-Case Execution Time Analysis of Synchronous Programs},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {56--68},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_8},
  doi          = {10.1007/10722060\_8},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Ringler00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/RybinSFK00,
  author       = {Sergey Rybin and
                  Alfred Strohmeier and
                  Vasiliy Fofanov and
                  Alexey Kuchumov},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {ASIS-for-GNAT: {A} Report of Practical Experiences},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {125--137},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_13},
  doi          = {10.1007/10722060\_13},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/RybinSFK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Schmitt00,
  author       = {Detlef Schmitt},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {Analysis, Design and Implementation of an Object-Oriented Framework
                  in Ada95},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {196--210},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_19},
  doi          = {10.1007/10722060\_19},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Schmitt00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/SoundarajanF00,
  author       = {Neelam Soundarajan and
                  Stephen Fridella},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {Exceptions in {OO} Languages: Using Them and Reasoning about Them},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {238--251},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_22},
  doi          = {10.1007/10722060\_22},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/SoundarajanF00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Weiss00,
  author       = {Reto Weiss},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {Kingcat {MCAS} - Monitoring, Control and Alarm System for a Luxury
                  Motor Yacht Implemented in Ada and Java},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {2--3},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_2},
  doi          = {10.1007/10722060\_2},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Weiss00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/WellingsJSKWM00,
  author       = {Andy J. Wellings and
                  Bob Johnson and
                  Bo Ingvar Sand{\'{e}}n and
                  J{\"{o}}rg Kienzle and
                  Thomas Wolf and
                  Stephen Michell},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {Object-Oriented Programming and Protected Objects in Ada 95},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {16--28},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_5},
  doi          = {10.1007/10722060\_5},
  timestamp    = {Wed, 03 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/WellingsJSKWM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/WielandHS00,
  author       = {Peter Wieland and
                  Frode H{\o}gberg and
                  Kristin Str{\o}mseng},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {Enhancements in Software Project Risk Management},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {161--172},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_16},
  doi          = {10.1007/10722060\_16},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/WielandHS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Zimmermann00,
  author       = {Rainer Zimmermann},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {Support of Technology Development in the Information Society},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {1},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_1},
  doi          = {10.1007/10722060\_1},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Zimmermann00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adaEurope/2000,
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060},
  doi          = {10.1007/10722060},
  isbn         = {3-540-67669-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics