Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/wadas/wadas1987.bht:"
download as .bib file
@inproceedings{DBLP:conf/wadas/000187,
author = {Carl F. Schaefer},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Translation of {VHDL} to Ada},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {111--117},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339824},
timestamp = {Mon, 28 Mar 2022 11:43:10 +0200},
biburl = {https://dblp.org/rec/conf/wadas/000187.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/AgrawalM87,
author = {Jagdish C. Agrawal and
Shan Manickam},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Comprehensive approach to teaching Ada},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {274--276},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339920},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/AgrawalM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/AutyC87,
author = {David Auty and
Norman Cohen},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {The testability of Ada programs},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {249--252},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339906},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/AutyC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/AutyC87a,
author = {David Auty and
Norman Cohen},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Establishing an Ada runtime benchmarking capability},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {447--451},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339981},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/AutyC87a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Baker87,
author = {Paul L. Baker},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Partial automation of code generation with Ada prespecifications},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {397--404},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339969},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Baker87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Bamberger87,
author = {Judy Bamberger},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Using Ada for design: what is gained ... what is lost},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {151--158},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339843},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Bamberger87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/BasiliR87,
author = {Victor R. Basili and
H. Dieter Rombach},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {{TAME:} tailoring an Ada Measurement Environment},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {318--325},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339941},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/BasiliR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/BeckerG87,
author = {Jeffrey Becker and
Robert T. Goettge},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Ada performance issues for real-time systems},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {441--446},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339979},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/BeckerG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Behnke87,
author = {D. Behnke},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Selection and use of and Ada-based program design language},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {187--191},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339872},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Behnke87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Biddle87,
author = {Mary E. Biddle},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Methodology in selecting tools for a real-time embedded Ada program},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {63--66},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339805},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Biddle87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/BlumbergMRS87,
author = {F. Blumberg III and
M. McNickle and
A. Reedy and
D. Stephenson},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {A compiler independent approach to test and configuration management
for Ada},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {205--212},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339879},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/BlumbergMRS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/BonnetCR87,
author = {Christian Bonnet and
Jean{-}Fran{\c{c}}ois Caillet and
Barbara Raither},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Debugging concurrent software using a general Ada task state transition
model},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {67--76},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339807},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/BonnetCR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/BoydKRTW87,
author = {Stowe Boyd and
Rudolph A. Krutar and
George Romanski and
S. Tucker Taft and
Tom Wilcox},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {{DIANA} (panel session): an intermediate representation language for
Ada},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {479--485},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339994},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/BoydKRTW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/BrophyAB87,
author = {Carolyn E. Brophy and
William W. Agresti and
Victor R. Basili},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Lessons learned in use of Ada-oriented design methods},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {231--236},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339892},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/BrophyAB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Chelini87,
author = {James V. Chelini},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {The impact of the Ada language resource allocation, programmer productivity,
and project performance},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {183--186},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339861},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Chelini87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/ChenB87,
author = {Thomas L. Chen and
Lujoye F. Barnes},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Ada processing requirements of parallel processing idioms},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {452--458},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339983},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/ChenB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Conn87,
author = {Richard Conn},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {The Ada software repository and software reusability},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {45--53},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339799},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Conn87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Conti87,
author = {Robert A. Conti},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Critical run-time design tradeoff sin an Ada implementation (panel
session)},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {486--495},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339997},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Conti87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Crawford87,
author = {Bard S. Crawford},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Building an elevator simulation in Ada using a process oriented methodology
and support tool},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {223--230},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339886},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Crawford87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Diaz-HerreraGW87,
author = {Jorge L. D{\'{\i}}az{-}Herrera and
C. Gonz{\'{a}}lez and
P. Wang},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Development of an operational flight control program in Ada},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {95--102},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339818},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Diaz-HerreraGW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/El-GhorouryLB87,
author = {Hassan N. El{-}Ghoroury and
Philip R. LaBarbera and
John Bollenbacher},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Software portability in embedded, distributed systems},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {420--431},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339976},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/El-GhorouryLB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/EmbleyW87,
author = {David W. Embley and
Scott N. Woodfield},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {A knowledge structure for reusing abstract data types in Ada software
production},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {27--34},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339794},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/EmbleyW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Feinberg87,
author = {David A. Feinberg},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Non-technical aspects of using Ada},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {180--182},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339858},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Feinberg87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Firesmith87,
author = {Donald G. Firesmith},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Should the {DOD} mandate a standard software development process?},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {159--167},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339845},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Firesmith87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/GambhirDF87,
author = {Dinesh Gambhir and
Rinaldo Digiorgio and
Roy S. Freedman},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {{PADS:} a working architecture for a distributed {APSE}},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {89--94},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339815},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/GambhirDF87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/GillSBHR87,
author = {Helen Gill and
Thomas J. Smith and
Rebecca Bowerman and
Chuck Howell and
Tana Reagan},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Distributing the {CAIS:} a technical approach using the {MITRE} {CAIS}
prototype},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {83--88},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339812},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/GillSBHR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Hall87,
author = {Dana L. Hall},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {{NASA} space station program software plans and status},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {237--243},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339898},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Hall87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Harrison87,
author = {George C. Harrison},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {An automated method of referencing Ada reusable code using lil},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {1--7},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339783},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Harrison87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Hilburn87,
author = {Thomas B. Hilburn},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Ada and the study of mathematics},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {269--273},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339916},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Hilburn87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Holtsberg87,
author = {Steven Holtsberg},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Formal semantics of the data types of Ada: abridged version},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {377--389},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339964},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Holtsberg87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/JouchouxCDHKLMS87,
author = {A. Jouchoux and
J. Cowley and
R. Davis and
E. Hansen and
M. Klemp and
S. Lasater and
D. Mullens and
T. Sparn and
Graham Tate},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Developing a spacecraft monitor and control system in Ada},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {244--248},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339900},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/JouchouxCDHKLMS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/KatzB87,
author = {Elizabeth E. Katz and
Victor R. Basili},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Examining the modularity of Ada programs},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {390--396},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339968},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/KatzB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/KnightR87,
author = {John C. Knight and
Marc E. Rouleau},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Analysis of Ada for a crucial distributed application},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {103--110},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339822},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/KnightR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Latour87,
author = {Larry Latour},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {The role of explicit type management schemes in the implementation
of abstract data types in Ada},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {133--141},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339835},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Latour87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/LeGrandM87,
author = {Sue LeGrand and
John McBride},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Why Ada is appropriate for the space station program},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {253--257},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339908},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/LeGrandM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Leach87,
author = {Ronald J. Leach},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Ada software metrics and their limitations},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {285--293},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339930},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Leach87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/MarcusSS87,
author = {Mark Marcus and
Kirk Sattley and
C. Mugur Stefanescu},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Configuration control in an Ada programming support environment},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {192--204},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339875},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/MarcusSS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Marmelstein87,
author = {Robert E. Marmelstein},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {The Interactive Ada Workstation: a prototype for next generation software
environments},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {54--62},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339800},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Marmelstein87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Moore87,
author = {Freeman L. Moore},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Ada training for programming embedded systems},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {264--268},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339915},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Moore87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/NarotamC87,
author = {Matt Narotam and
Mike Caffey},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Object-directed development of software using Ada},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {354--359},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339952},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/NarotamC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/NewtonK87,
author = {John E. Newton and
Frank D. Kirschner},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Ada's role in Air Force Software architecture for the 1990s},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {367--376},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339959},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/NewtonK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Osborne87,
author = {Haywood S. Osborne},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {The generation of Ada and an associated {PDL} from a higher-level
representation},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {168--179},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339851},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Osborne87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/OwenGH87,
author = {G. Scott Owen and
Ross A. Gagliano and
Pentti A. Honkanen},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Functional specifications of reusable {MIS} software in Ada},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {19--26},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339790},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/OwenGH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/PerkinsG87,
author = {John A. Perkins and
R. S. Gorzela},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Programming paradigms involving exceptions: a software quality approach},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {142--150},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339839},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/PerkinsG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/PerkinsG87a,
author = {John A. Perkins and
R. S. Gorzela},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Experience using an automated metrics framework to improve the quality
of Ada software},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {277--284},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339925},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/PerkinsG87a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/PorterK87,
author = {Tim Porter and
Craig King},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Productivity implications of Ada generics and code generation in military
formatted message processing},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {334--343},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339946},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/PorterK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Rudd87,
author = {David Rudd},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {What is good software and how does Ada support its development?},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {258--260},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339910},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Rudd87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Russell87,
author = {Gary Russell},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Experience implementing a reusable data structure component taxonomy},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {8--18},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339788},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Russell87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Rymer87,
author = {John L. Rymer},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Ada education on the project},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {261--263},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339914},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Rymer87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Selby87,
author = {Richard W. Selby},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Incorporating metrics into a software environment},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {326--333},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339942},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Selby87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Shah87,
author = {Shantilal N. Shah},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Solution of elliptic partial differential equations using parallel
processing and tasks in Ada language},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {118--120},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339827},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Shah87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Sivley87,
author = {Karen E. Sivley},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Experience and lessons learned in transporting Ada software},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {436--440},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339977},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Sivley87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/SlonakerSPG87,
author = {Paul Slonaker and
Mark S. Smith and
Sharon Prizant and
Judith M. Giles},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Development of multi-tasking software in Ada - a case study},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {304--317},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339934},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/SlonakerSPG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Smith87,
author = {David A. Smith},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Mechanisms for abstraction in Ada},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {126--132},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339831},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Smith87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Spiegel87,
author = {James R. Spiegel},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Interactive discrete event simulation in Ada},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {121--125},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339829},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Spiegel87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/SpringerL87,
author = {Mitchell L. Springer and
Ronald L. Lawson},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {The {AFATDS} data management software system},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {344--353},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339949},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/SpringerL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/StarkS87,
author = {Mike Stark and
Ed Seidewitz},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Towards a general object-oriented Ada lifecycle},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {213--222},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339882},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/StarkS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Stevenson87,
author = {Dave Stevenson},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Architectural support for Ada in the rational environment (panel session)},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {474--478},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339992},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Stevenson87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/TaiCO87,
author = {Kuo{-}Chung Tai and
Richard H. Carver and
Evelyn E. Obaid},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {A methodology for testing concurrent Ada programs},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {459--464},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339986},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/TaiCO87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/ThibeaultD87,
author = {John E. Thibeault and
D. Brian DeGonia},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {An Ada symbolic debugger for multiprocessor embedded computer systems},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {77--82},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339810},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/ThibeaultD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Tracz87,
author = {Will Tracz},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Ada reusability efforts: a survey of the state of the practice},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {35--44},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339796},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Tracz87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Vishnubhotla87,
author = {Prasad Vishnubhotla},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Parallelizing Ada procedures},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {465--471},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339988},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Vishnubhotla87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/WalkerSG87,
author = {James E. Walker and
S. Denise Skyles and
Pamela Gilliam},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {A practical experience with Ada* portability},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {432--435},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=340764},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/WalkerSG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Wartik87,
author = {Steven P. Wartik},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {File structures for object-oriented software development},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {411--419},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339975},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Wartik87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Waters87,
author = {Willie L. Waters},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {A basic expert system tool in Ada},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {405--410},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339973},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Waters87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Wheeler87,
author = {Thomas J. Wheeler},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Object data bases and Ada},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {360--366},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339956},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/Wheeler87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/WuBR87,
author = {Liqun Wu and
Victor R. Basili and
Karl Reed},
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {A structure coverage tool for Ada software systems},
booktitle = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
pages = {294--303},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339932},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/WuBR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadas/1987,
editor = {Elmer F. Godwin and
Miguel A. Carrio Jr. and
Teledyne Brown},
title = {Proceedings of the Joint Ada conference Fifth National Conference
on Ada Technology and Fourth Washington Ada Symposium, {WADAS} 1987,
Arlington, Virginia, USA, 1987},
publisher = {George Washington University},
year = {1987},
url = {https://dl.acm.org/citation.cfm?id=339771},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadas/1987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-21 19:03 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
