Search dblp for Publications

export results for "toc:db/conf/wadas/wadas1985.bht:"

 download as .bib file

@inproceedings{DBLP:conf/wadas/Airchinnigh85,
  author       = {M{\'{\i}}che{\'{a}}l Mac an Airchinnigh},
  editor       = {Michael B. Feldman},
  title        = {Computer graphics software in Ada using AdaM},
  booktitle    = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  pages        = {53--66},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612.325626},
  doi          = {10.1145/325612.325626},
  timestamp    = {Fri, 02 Jun 2023 17:16:30 +0200},
  biburl       = {https://dblp.org/rec/conf/wadas/Airchinnigh85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadas/BassmanFG85,
  author       = {Mitchell J. Bassman and
                  Gerald A. Fisher and
                  Anthony B. Gargaro},
  editor       = {Michael B. Feldman},
  title        = {Evaluating the performance efficiency of Ada compilers},
  booktitle    = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  pages        = {179--194},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612.325640},
  doi          = {10.1145/325612.325640},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadas/BassmanFG85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadas/Bowles85,
  author       = {Kenneth Bowles},
  editor       = {Michael B. Feldman},
  title        = {Industry (keynote address) (title only)},
  booktitle    = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612.325617},
  doi          = {10.1145/325612.325617},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadas/Bowles85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadas/ChanDLNSF85,
  author       = {Aryola Chan and
                  Sy Danberg and
                  Terry A. Landers and
                  Anil Nori and
                  John Miles Smith and
                  Stephen Fox},
  editor       = {Michael B. Feldman},
  title        = {A database management capability for Ada},
  booktitle    = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  pages        = {67--92},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612.325627},
  doi          = {10.1145/325612.325627},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadas/ChanDLNSF85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadas/DanielsL85,
  author       = {Frederick H. Daniels and
                  Jonathan A. Lorch},
  editor       = {Michael B. Feldman},
  title        = {Applications of Ada in a kidney-dialysis ward},
  booktitle    = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  pages        = {125--129},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612.325633},
  doi          = {10.1145/325612.325633},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadas/DanielsL85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadas/Fujita85,
  author       = {S. Fujita},
  editor       = {Michael B. Feldman},
  title        = {Distributed operating system for robot network (title only)},
  booktitle    = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  pages        = {123},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612.325632},
  doi          = {10.1145/325612.325632},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadas/Fujita85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadas/Goerner85,
  author       = {Alan A. Goerner},
  editor       = {Michael B. Feldman},
  title        = {The impact of Ada on software project organization},
  booktitle    = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  pages        = {113--119},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612.325631},
  doi          = {10.1145/325612.325631},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadas/Goerner85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadas/HelmC85,
  author       = {J. C. Helm and
                  T. E. Cook},
  editor       = {Michael B. Feldman},
  title        = {Ada implementation in a non-Ada environment},
  booktitle    = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  pages        = {5--10},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612.325620},
  doi          = {10.1145/325612.325620},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadas/HelmC85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadas/Houle85,
  author       = {Joseph D. Houle},
  editor       = {Michael B. Feldman},
  title        = {Developing a queueing simulation package in Ada},
  booktitle    = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  pages        = {45--51},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612.325625},
  doi          = {10.1145/325612.325625},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadas/Houle85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadas/Johovich85,
  author       = {Joseph J. Johovich},
  editor       = {Michael B. Feldman},
  title        = {{EEES:} the "Manhattan Project" for systems engineering},
  booktitle    = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  pages        = {19--42},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612.325624},
  doi          = {10.1145/325612.325624},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadas/Johovich85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadas/KellerP85,
  author       = {Steven E. Keller and
                  John A. Perkins},
  editor       = {Michael B. Feldman},
  title        = {Ada measurement based on software quality principles},
  booktitle    = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  pages        = {195--203},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612.325642},
  doi          = {10.1145/325612.325642},
  timestamp    = {Wed, 11 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadas/KellerP85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadas/Lieblein85,
  author       = {Edward Lieblein},
  editor       = {Michael B. Feldman},
  title        = {Government (keynote address) (title only)},
  booktitle    = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612.325616},
  doi          = {10.1145/325612.325616},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadas/Lieblein85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadas/LindquistF85,
  author       = {Timothy E. Lindquist and
                  Jeffrey L. Facemire},
  editor       = {Michael B. Feldman},
  title        = {Ada-based abstract machine specification of {CAIS} to generate validation
                  tests},
  booktitle    = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  pages        = {173--178},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612.325638},
  doi          = {10.1145/325612.325638},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadas/LindquistF85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadas/PaulkovichB85,
  author       = {Michael B. Paulkovich and
                  Bill R. Brykczynski},
  editor       = {Michael B. Feldman},
  title        = {{VISTA:} Vitro Software Test Application Program},
  booktitle    = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  pages        = {11--17},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612.325623},
  doi          = {10.1145/325612.325623},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadas/PaulkovichB85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadas/Robertson85,
  author       = {Paul Robertson},
  editor       = {Michael B. Feldman},
  title        = {OPSAda3: an Ada-based production rule interpreter},
  booktitle    = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  pages        = {139--146},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612.325636},
  doi          = {10.1145/325612.325636},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadas/Robertson85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadas/Rude85,
  author       = {Allen Rude},
  editor       = {Michael B. Feldman},
  title        = {Translating a research {LISP} prototype to a formal Ada design prototype},
  booktitle    = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  pages        = {147--170},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612.325637},
  doi          = {10.1145/325612.325637},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadas/Rude85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadas/SterneSGGP85,
  author       = {Daniel F. Sterne and
                  M. E. Schmid and
                  M. J. Gralia and
                  T. A. Grobicki and
                  R. A. R. Pearce},
  editor       = {Michael B. Feldman},
  title        = {Use of Ada for shipboard embedded applications},
  booktitle    = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  pages        = {131--136},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612.325635},
  doi          = {10.1145/325612.325635},
  timestamp    = {Wed, 18 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadas/SterneSGGP85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadas/Vasilescu85,
  author       = {Eugen Vasilescu},
  editor       = {Michael B. Feldman},
  title        = {Teaching Ada for business students},
  booktitle    = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  pages        = {95--104},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612.325628},
  doi          = {10.1145/325612.325628},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadas/Vasilescu85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadas/WeidermanJ85,
  author       = {Nelson H. Weiderman and
                  Catherine W. Johnson},
  editor       = {Michael B. Feldman},
  title        = {An animated instructional model for Ada tasking},
  booktitle    = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  pages        = {105--111},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612.325629},
  doi          = {10.1145/325612.325629},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadas/WeidermanJ85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/wadas/1985,
  editor       = {Michael B. Feldman},
  title        = {Proceedings of the Second Annual Washington Ada Symposium on Ada -
                  Ada in the Mainstream: Applications and Education, {WADAS} 1985, Washington,
                  D.C., USA, 1985},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/325612},
  doi          = {10.1145/325612},
  isbn         = {978-1-4503-7318-0},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadas/1985.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.