Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/adaEurope/1995,
  editor       = {Marcel Toussaint},
  title        = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0015477},
  doi          = {10.1007/BFB0015477},
  isbn         = {3-540-60757-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/1995.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/AlapideCCQ95,
  author       = {A. Alapide and
                  S. Candia and
                  M. Cinella and
                  S. Quaranta},
  editor       = {Marcel Toussaint},
  title        = {Applying Teamwork/Ada and {RAISE} for Developing an Air Traffic Control
                  Application},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {331--343},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015505},
  doi          = {10.1007/BFB0015505},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/AlapideCCQ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BailesBCS95,
  author       = {Paul A. Bailes and
                  Paul Burnim and
                  Murray Chapman and
                  Eric J. Salzman},
  editor       = {Marcel Toussaint},
  title        = {{KBSE} and Ada - Object and Enabling Technology},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {152--163},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015490},
  doi          = {10.1007/BFB0015490},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BailesBCS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Barbey95,
  author       = {St{\'{e}}phane Barbey},
  editor       = {Marcel Toussaint},
  title        = {Testing Ada 95 Object-Oriented Programs},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {406--418},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015511},
  doi          = {10.1007/BFB0015511},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Barbey95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BattagliaS95,
  author       = {Marco Battaglia and
                  Giancarlo Savoia},
  editor       = {Marcel Toussaint},
  title        = {ReverseNICE: {A} Re-Engineering Methodology and Supporting Tool},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {244--248},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015499},
  doi          = {10.1007/BFB0015499},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BattagliaS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BattiniMM95,
  author       = {F. Battini and
                  P. L. Mantovani and
                  Marco Mattavelli},
  editor       = {Marcel Toussaint},
  title        = {Evaluation of a {SPARC} Board Equipped with the Ada Tasking Coprocessor
                  {(ATAC)}},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {379--388},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015509},
  doi          = {10.1007/BFB0015509},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BattiniMM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BirusKKRT95,
  author       = {Tim Birus and
                  Paul Knueven and
                  Ed Kuzemchak and
                  Jack Rosenzweig and
                  Joyce L. Tokar},
  editor       = {Marcel Toussaint},
  title        = {Extending the Ada 95 Initial Conditions for Preelaboration for Use
                  in Real-Time Systems},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {164--169},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015491},
  doi          = {10.1007/BFB0015491},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BirusKKRT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Bjornfot95,
  author       = {Lars Bj{\"{o}}rnfot},
  editor       = {Marcel Toussaint},
  title        = {Ada and Timed Automata},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {389--405},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015510},
  doi          = {10.1007/BFB0015510},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Bjornfot95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Bossard95,
  author       = {Fran{\c{c}}ois Bossard},
  editor       = {Marcel Toussaint},
  title        = {Periodic Processing in Hard Real-Time Systems: Assessment of Different
                  Design Models in Ada},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {355--364},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015507},
  doi          = {10.1007/BFB0015507},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Bossard95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Brown95,
  author       = {Rupert Brown},
  editor       = {Marcel Toussaint},
  title        = {The Practical Application of Safety Techniques on an Ada Based Project},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {51--57},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015482},
  doi          = {10.1007/BFB0015482},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Brown95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BuchsBR95,
  author       = {Didier Buchs and
                  C. Buffard and
                  Pascal Racloz},
  editor       = {Marcel Toussaint},
  title        = {Modeling and Validation of Tasks with Algebraic Structured Nets},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {284--297},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015502},
  doi          = {10.1007/BFB0015502},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BuchsBR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Bundgaard95,
  author       = {J{\o}rgen Bundgaard},
  editor       = {Marcel Toussaint},
  title        = {An {ANDF} Based Ada 95 Compiler System},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {81--98},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015485},
  doi          = {10.1007/BFB0015485},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Bundgaard95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/ChoukairK95,
  author       = {Zi{\`{e}}d Choukair and
                  Yvon Kermarrec},
  editor       = {Marcel Toussaint},
  title        = {Distributed Object Oriented Programming and Interoperability for Ada
                  95: An {OMG/CORBA} Approach},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {217--227},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015497},
  doi          = {10.1007/BFB0015497},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/ChoukairK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/CornwellW95,
  author       = {Pete Cornwell and
                  Andy J. Wellings},
  editor       = {Marcel Toussaint},
  title        = {Transaction Specification for Object-Oriented Real-Time Systems in
                  {HRT-HOOD}},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {365--378},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015508},
  doi          = {10.1007/BFB0015508},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/CornwellW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/CroxfordS95,
  author       = {Martin Croxford and
                  James Sutton},
  editor       = {Marcel Toussaint},
  title        = {Breaking Through the {V} and {V} Bottleneck},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {344--354},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015506},
  doi          = {10.1007/BFB0015506},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/CroxfordS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/DavidPCC95,
  author       = {P. David and
                  T. Planche and
                  A. Corr{\'{e}}g{\'{e}} and
                  J.{-}F. Chane},
  editor       = {Marcel Toussaint},
  title        = {Developing Fault Tolerant Software in Ada for Real-Time Dependable
                  Systems},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {21--50},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015481},
  doi          = {10.1007/BFB0015481},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/DavidPCC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/DaviesR95,
  author       = {B. Davies and
                  Derek A. Rothwell},
  editor       = {Marcel Toussaint},
  title        = {The Use of Ada for the {ENVISAT-1} Simulator},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {170--177},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015492},
  doi          = {10.1007/BFB0015492},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/DaviesR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Gabai95,
  author       = {D. De Gaba{\"{\i}}},
  editor       = {Marcel Toussaint},
  title        = {{LAMPBADA:} Logiciel d'Aide {\`{a}} la Mise au Point de Biblioth{\`{e}}ques
                  Ada (Ada Libraries Validation Tool)},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {444--455},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015514},
  doi          = {10.1007/BFB0015514},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Gabai95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/GargaroKPT95,
  author       = {Anthony B. Gargaro and
                  Yvon Kermarrec and
                  Laurent Pautet and
                  Samuel Tardieu},
  editor       = {Marcel Toussaint},
  title        = {{PARIS} - Partitioned Ada for Remotely Invoked Services},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {191--205},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015495},
  doi          = {10.1007/BFB0015495},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/GargaroKPT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/GerlichK95,
  author       = {Rainer Gerlich and
                  Mladen Kerep},
  editor       = {Marcel Toussaint},
  title        = {Distributed and Parallel Systems and {HOOD} 4},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {228--243},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015498},
  doi          = {10.1007/BFB0015498},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/GerlichK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Hass95,
  author       = {Finn Hass},
  editor       = {Marcel Toussaint},
  title        = {Round Table Discussion: "Tools and Design Methods"},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {439--443},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015513},
  doi          = {10.1007/BFB0015513},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Hass95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Heitz95,
  author       = {Maurice Heitz},
  editor       = {Marcel Toussaint},
  title        = {Achieving Reusable and Reliable Client-Server Code using HOOD\({}^{\mbox{TM}}\)
                  Automated Code Generation for {ADA95} and {C++} Targets},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {419--438},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015512},
  doi          = {10.1007/BFB0015512},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Heitz95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Kaufeler95,
  author       = {Jean{-}Fran{\c{c}}ois Kaufeler},
  editor       = {Marcel Toussaint},
  title        = {Ada: {A} Sceptical Assessment},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {1--3},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015478},
  doi          = {10.1007/BFB0015478},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Kaufeler95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Kempe95,
  author       = {Magnus Kempe},
  editor       = {Marcel Toussaint},
  title        = {Heterogeneous Data Structures and Cross-Classification of Objects
                  with Ada95},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {71--80},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015484},
  doi          = {10.1007/BFB0015484},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Kempe95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/KermarrecP95,
  author       = {Yvon Kermarrec and
                  Laurent Pautet},
  editor       = {Marcel Toussaint},
  title        = {Programming Distributed Systems with Both Ada 95 and {PVM}},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {206--216},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015496},
  doi          = {10.1007/BFB0015496},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/KermarrecP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Laurens95,
  author       = {Andr{\'{e}} Laurens},
  editor       = {Marcel Toussaint},
  title        = {{PRONAOS} Ground Control Center: First Operational Ada Application
                  in {C.N.E.S}},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {124--138},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015488},
  doi          = {10.1007/BFB0015488},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Laurens95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Mangold95,
  author       = {Karlotto Mangold},
  editor       = {Marcel Toussaint},
  title        = {Ada95 - An Approach to Overcome the Software Crisis?},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {4--10},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015479},
  doi          = {10.1007/BFB0015479},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Mangold95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Matthewman95,
  author       = {Andrew Matthewman},
  editor       = {Marcel Toussaint},
  title        = {{ECLIPS} - {A} Successful Experiment Combining {CCSDS} SFDUs, X/Motif,
                  {HOOD} and Ada},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {311--330},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015504},
  doi          = {10.1007/BFB0015504},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Matthewman95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Molenmaker95,
  author       = {Kor Molenmaker},
  editor       = {Marcel Toussaint},
  title        = {Objects at Use in Nautical Simulators},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {178--186},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015493},
  doi          = {10.1007/BFB0015493},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Molenmaker95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MonfortR95,
  author       = {Jean{-}Noel Monfort and
                  Vinh Qui Ribal},
  editor       = {Marcel Toussaint},
  title        = {Ariane 5: Development of the On-Board Software},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {111--123},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015487},
  doi          = {10.1007/BFB0015487},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/MonfortR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/ObermayerSL95,
  author       = {Peter E. Obermayer and
                  Georg Sch{\"{u}}er and
                  Rudolf Landwehr},
  editor       = {Marcel Toussaint},
  title        = {{DIS} - An Interface to Distributed Interactive Simulation},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {187--190},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015494},
  doi          = {10.1007/BFB0015494},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/ObermayerSL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Richard-Foy95,
  author       = {Marc Richard{-}Foy},
  editor       = {Marcel Toussaint},
  title        = {Safe Ada Executive: An Executive for Ada Safety Critical Applications},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {11--20},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015480},
  doi          = {10.1007/BFB0015480},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Richard-Foy95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/RognesS95,
  author       = {Bernt Rognes and
                  Per Ivar Skinderhaug},
  editor       = {Marcel Toussaint},
  title        = {Performance Tuning of a Check-Out System Coded in Ada},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {99--110},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015486},
  doi          = {10.1007/BFB0015486},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/RognesS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/RybinSZ95,
  author       = {Sergey Rybin and
                  Alfred Strohmeier and
                  Eugene Zueff},
  editor       = {Marcel Toussaint},
  title        = {{ASIS} for {GNAT:} Goals, Problems and Implementation Strategy},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {139--151},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015489},
  doi          = {10.1007/BFB0015489},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/RybinSZ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Sanden95,
  author       = {Bo Ingvar Sand{\'{e}}n},
  editor       = {Marcel Toussaint},
  title        = {Design of Concurrent Software Based on Problem Concurrency},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {298--310},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015503},
  doi          = {10.1007/BFB0015503},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Sanden95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/SchneeweissAV95,
  author       = {Heinz Schneeweiss and
                  V. Amiot and
                  O. Vix},
  editor       = {Marcel Toussaint},
  title        = {Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada
                  95},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {249--270},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015500},
  doi          = {10.1007/BFB0015500},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/SchneeweissAV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Simoens95,
  author       = {Rik Simoens},
  editor       = {Marcel Toussaint},
  title        = {The Introduction of an Object-Oriented Analysis/Design Method and
                  Object-Oriented Metrics in the Software Development Life-Cycle},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {271--283},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015501},
  doi          = {10.1007/BFB0015501},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Simoens95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/TaurisanoW95,
  author       = {G. Taurisano and
                  I. Williams},
  editor       = {Marcel Toussaint},
  title        = {Ada in Mixed Language Applications},
  booktitle    = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
                  Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1031},
  pages        = {58--70},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0015483},
  doi          = {10.1007/BFB0015483},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/TaurisanoW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics