Search dblp for Publications

export results for "toc:db/conf/sigada/triada96.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sigada/BailesBCS96,
  author       = {Paul A. Bailes and
                  Paul Burnim and
                  Murray Chapman and
                  Eric J. Salzman},
  editor       = {Susan Carlson},
  title        = {Towards an Ada Basis for {KBSE:} Refine-Ada 95 Conversion},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {193--204},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240716},
  doi          = {10.1145/240678.240716},
  timestamp    = {Fri, 06 May 2022 16:16:51 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/BailesBCS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/BariGRZ96,
  author       = {M. Bari and
                  P. Gabrini and
                  Colette Rolland and
                  Kacem Zeroual},
  editor       = {Susan Carlson},
  title        = {Active Information Systems, From Object-Oriented Design to Ada 95},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {115--124},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240708},
  doi          = {10.1145/240678.240708},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/BariGRZ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Beidler96,
  author       = {John Beidler},
  editor       = {Susan Carlson},
  title        = {REUSE/Ada},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {211--217},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240718},
  doi          = {10.1145/240678.240718},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/Beidler96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/BeugnardCK96,
  author       = {Antoine Beugnard and
                  Zi{\`{e}}d Choukair and
                  Yvon Kermarrec},
  editor       = {Susan Carlson},
  title        = {{COREMO:} {A} {CORBA} Real Time Extension Model and its Ada 95 Implementation},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {255--268},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240728},
  doi          = {10.1145/240678.240728},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/BeugnardCK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/CherryC96,
  author       = {George W. Cherry and
                  Brad S. Crawford},
  editor       = {Susan Carlson},
  title        = {The Situation in Object-Oriented Specification and Design},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {83--98},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240706},
  doi          = {10.1145/240678.240706},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/CherryC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/CrossBHT96,
  author       = {James H. Cross II and
                  Larry A. Barowski and
                  T. Dean Hendrix and
                  Joseph C. Teate},
  editor       = {Susan Carlson},
  title        = {Control Structure Diagrams for Ada 95},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {143--147},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240711},
  doi          = {10.1145/240678.240711},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/CrossBHT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/DwyerCR96,
  author       = {Matthew B. Dwyer and
                  Matthew J. Craig and
                  Eric Runquist},
  editor       = {Susan Carlson},
  title        = {An Application-Independent Concurrency Skeleton in Ada 95},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {179--192},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240715},
  doi          = {10.1145/240678.240715},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/DwyerCR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Gramp96,
  author       = {Karl J. Gramp},
  editor       = {Susan Carlson},
  title        = {A Comparison of Different Tasking Architectures Used in Mobile Satellite
                  Communication Ground Station Software},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {23--28},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240683},
  doi          = {10.1145/240678.240683},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/Gramp96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/HagenauerP96,
  author       = {Helge Hagenauer and
                  Werner Pohlmann},
  editor       = {Susan Carlson},
  title        = {Prototyping a Parallel Discrete Event Simulation System in Ada},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {11--22},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240681},
  doi          = {10.1145/240678.240681},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/HagenauerP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/HamiltonC96,
  author       = {John A. Hamilton Jr. and
                  David A. Cook},
  editor       = {Susan Carlson},
  title        = {Ada Training and Education in the {US} Army and {US} Air Force},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {151--155},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240712},
  doi          = {10.1145/240678.240712},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/HamiltonC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/KermarrecNP96,
  author       = {Yvon Kermarrec and
                  Laurent Nana and
                  Laurent Pautet},
  editor       = {Susan Carlson},
  title        = {Providing Fault-Tolerant Services to Distributed Ada 95 Applications},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {39--47},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240688},
  doi          = {10.1145/240678.240688},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/KermarrecNP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/KermarrecNP96a,
  author       = {Yvon Kermarrec and
                  Laurent Nana and
                  Laurent Pautet},
  editor       = {Susan Carlson},
  title        = {{GNATDIST:} {A} Configuration Language for Distributed Ada 95 Applications},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {63--72},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240695},
  doi          = {10.1145/240678.240695},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/KermarrecNP96a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/KlinglerS96,
  author       = {Carol Diane Klingler and
                  James Solderitsch},
  editor       = {Susan Carlson},
  title        = {{DAGAR:} {A} Process for Domain Architecture Definition and Asset
                  Implementation},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {231--245},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240723},
  doi          = {10.1145/240678.240723},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/KlinglerS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/LedruS96,
  author       = {Pascal Ledru and
                  Sajjan G. Shiva},
  editor       = {Susan Carlson},
  title        = {Interpartition Communication with Shared Active Packages},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {57--62},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240693},
  doi          = {10.1145/240678.240693},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/LedruS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/MeyerR96,
  author       = {Charles A. Meyer and
                  Michael G. Reznick},
  editor       = {Susan Carlson},
  title        = {Design and Test Strategies for a Safety-Critical Embedded Executive},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {29--37},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240685},
  doi          = {10.1145/240678.240685},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/MeyerR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Moody96,
  author       = {Scott Arthur Moody},
  editor       = {Susan Carlson},
  title        = {Migrating Well Engineered Ada 83 Applications into Newer Architecture
                  and Reuse Based Ada 95 Systems: Experiences from Boeing's Reuse Initiative
                  Project},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {219--229},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240719},
  doi          = {10.1145/240678.240719},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/Moody96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/NebeshF96,
  author       = {Bohdan Nebesh and
                  Michael B. Feldman},
  editor       = {Susan Carlson},
  title        = {Learning to Use Ada 95 Components Using {HTML} Linking},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {207--210},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240717},
  doi          = {10.1145/240678.240717},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/NebeshF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/NeedhamDGPZME96,
  author       = {Donald M. Needham and
                  Steven A. Demurjian and
                  Karim El Guemhioui and
                  Thomas J. Peters and
                  P. Zamani and
                  M. McMahon and
                  Heidi J. C. Ellis},
  editor       = {Susan Carlson},
  title        = {{ADAM:} {A} Language-Independent, Object-Oriented, Design Environment
                  for Modeling Inheritance and Relationship Variants in Ada 95, C++,
                  and Eiffel},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {99--113},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240707},
  doi          = {10.1145/240678.240707},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/NeedhamDGPZME96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/ParrishCLM96,
  author       = {Allen S. Parrish and
                  David Cordes and
                  Cynthia Lester and
                  Deanne Moore},
  editor       = {Susan Carlson},
  title        = {Active Learning and Process Assessment: Two Experiments in an Ada-Based
                  Software Engineering Course},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {157--161},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240713},
  doi          = {10.1145/240678.240713},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/ParrishCLM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Pettit96,
  author       = {Robert G. Pettit IV},
  editor       = {Susan Carlson},
  title        = {Using Ada 95 for the Design of Distributed Real-Time Systems},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {49--55},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240691},
  doi          = {10.1145/240678.240691},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/Pettit96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Riley96,
  author       = {John D. Riley},
  editor       = {Susan Carlson},
  title        = {A Comparison of Two Approaches to Distributed Application Development
                  in Ada: the Ada Distributed Systems Annex and {CORBA}},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {73--80},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240697},
  doi          = {10.1145/240678.240697},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/Riley96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/RybinS96,
  author       = {Sergey Rybin and
                  Alfred Strohmeier},
  editor       = {Susan Carlson},
  title        = {Ada and {ASIS:} Justification of Differences in Terminology and Mechanisms},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {249--254},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240725},
  doi          = {10.1145/240678.240725},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/RybinS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Sanden96,
  author       = {Bo Ingvar Sand{\'{e}}n},
  editor       = {Susan Carlson},
  title        = {The State-Machine Pattern},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {135--142},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240710},
  doi          = {10.1145/240678.240710},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/Sanden96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Westley96,
  author       = {Terry J. Westley},
  editor       = {Susan Carlson},
  title        = {{TASH:} {A} Free Platform-Independent Graphical User Interface Development
                  Toolkit for Ada},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {165--178},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240714},
  doi          = {10.1145/240678.240714},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/Westley96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/YuEM96,
  author       = {Huiming Yu and
                  Albert C. Esterline and
                  Joseph Monroe},
  editor       = {Susan Carlson},
  title        = {Object Oriented Formal Specifications to Support Ada 95 Reuse},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {125--131},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240709},
  doi          = {10.1145/240678.240709},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/YuEM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/YueDL96,
  author       = {Kwok{-}Bun Yue and
                  Sadegh Davari and
                  Ted Leibfried},
  editor       = {Susan Carlson},
  title        = {Priority Ceiling Protocol in Ada},
  booktitle    = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  pages        = {3--9},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678.240679},
  doi          = {10.1145/240678.240679},
  timestamp    = {Sun, 04 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/YueDL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigada/1996,
  editor       = {Susan Carlson},
  title        = {The annual meeting of the Ada programming world, TRI-Ada 1996, December
                  3-7, 1996, Philadelphia, Pennsylvania, {USA}},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/240678},
  doi          = {10.1145/240678},
  isbn         = {0-89791-808-8},
  timestamp    = {Fri, 06 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics