%%% -*-BibTeX-*-
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
%%% version = "3.09",
%%% date = "18 May 2006",
%%% time = "10:27:02 MDT",
%%% filename = "sigada.bib",
%%% address = "University of Utah
%%% Department of Mathematics, 110 LCB
%%% 155 S 1400 E RM 233
%%% Salt Lake City, UT 84112-0090
%%% USA",
%%% telephone = "+1 801 581 5254",
%%% FAX = "+1 801 581 4148",
%%% URL = "http://www.math.utah.edu/~beebe",
%%% checksum = "33819 32017 128361 1212579",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org (Internet)",
%%% codetable = "ISO/ASCII",
%%% keywords = "ACM SIGAda, Ada, bibliography, BibTeX",
%%% license = "public domain",
%%% supported = "yes",
%%% docstring = "This is a preliminary bibliography of ACM
%%% SIGAda Ada Letters, covering (incompletely)
%%% 1985 -- date. It also includes coverage of
%%% a few Ada conferences whose proceedings were
%%% not published as issues of Ada Letters.
%%%
%%% The journal has a World-Wide Web site at
%%%
%%% http://info.acm.org/sigada/
%%%
%%% with a significant collection of pointers to
%%% Ada resources and publications. It also has
%%% ASCII, HTML, and PostScript versions of the
%%% Ada 95 Language Reference Manual and the Ada
%%% 95 Rationale.
%%%
%%% There are also a few tables of contents
%%% available at
%%%
%%% http://www.acm.org/sigada/ada_letters/
%%%
%%% At version 3.09, the year coverage looked
%%% like this:
%%%
%%% 1980 ( 27) 1989 ( 55) 1998 ( 79)
%%% 1981 ( 5) 1990 ( 116) 1999 ( 82)
%%% 1982 ( 57) 1991 ( 99) 2000 ( 50)
%%% 1983 ( 42) 1992 ( 55) 2001 ( 88)
%%% 1984 ( 33) 1993 ( 58) 2002 ( 35)
%%% 1985 ( 75) 1994 ( 64) 2003 ( 22)
%%% 1986 ( 54) 1995 ( 50) 2004 ( 26)
%%% 1987 ( 115) 1996 ( 28) 2005 ( 25)
%%% 1988 ( 72) 1997 ( 96) 2006 ( 14)
%%%
%%% Article: 1382
%%% Book: 1
%%% InProceedings: 129
%%% Proceedings: 10
%%%
%%% Total entries: 1522
%%%
%%% The initial draft was extracted from the
%%% ACM Computing Archive CD ROM for the 1980s,
%%% with manual corrections and additions. It
%%% was then augmented with entries derived
%%% from the IEEE Inspec (1988--1997), OCLC,
%%% UnCover, and Compendex databases.
%%%
%%% At version 1.08, another 237 entries were
%%% added from an OCLC Article1st and
%%% Contents1st database search. Regrettably,
%%% this database does not record final page
%%% numbers of journal articles, so there are
%%% many page ranges of the form 123--?? in
%%% this bibliography. Also, at the time of
%%% the search, no OCLC data was available for
%%% 1995 journal issues. This situation
%%% persists in May 1996; the few 1995 entries
%%% available have been obtained from the
%%% UnCover database.
%%%
%%% At version 3.00, data from the ACM Portal
%%% (available only for 1985--2003) was merged
%%% in.
%%%
%%% BibTeX citation tags are uniformly chosen
%%% as name:year:abbrev, where name is the
%%% family name of the first author or editor,
%%% year is a 4-digit number, and abbrev is a
%%% 3-letter condensation of important title
%%% words. Citation tags were automatically
%%% generated by software developed for the
%%% BibNet Project.
%%%
%%% In this bibliography, entries are sorted in
%%% publication order, using the ``bibsort
%%% -byvolume'' utility.
%%%
%%% The checksum field above contains a CRC-16
%%% checksum as the first value, followed by the
%%% equivalent of the standard UNIX wc (word
%%% count) utility output of lines, words, and
%%% characters. This is produced by Robert
%%% Solovay's checksum utility.",
%%% }
%%% ====================================================================
@Preamble{"\input bibnames.sty "
# "\input path.sty "
# "\ifx \undefined \circled \def \circled #1{(#1)}\fi"
# "\ifx \undefined \reg \def \reg {\circled{R}} \fi"
# "\ifx \undefined \TM \def \TM {${}^{\sc TM}$} \fi "
# "\hyphenation{
Ada-JUG
Ada-TEC
Bha-yat
Jub-a-now-sky
Pren-tice
Ra-cine
Rich-ard
SIG-ADA
Spring-er
Schlotz-hauer
} "
}
%%%=====================================================================
%%% Acknowledgement abbreviations:
@String{ack-nhfb = "Nelson H. F. Beebe,
University of Utah,
Department of Mathematics, 110 LCB,
155 S 1400 E RM 233,
Salt Lake City, UT 84112-0090, USA,
Tel: +1 801 581 5254,
FAX: +1 801 581 4148,
e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|,
\path|beebe@computer.org| (Internet),
URL: \path|http://www.math.utah.edu/~beebe/|"}
%%%=====================================================================
%%% Journal abbreviations:
@String{j-SIGADA-LETTERS = "ACM SIGADA Ada Letters"}
%%%=====================================================================
%%% Publisher abbreviations:
@String{pub-ACM = "ACM Press"}
@String{pub-ACM:adr = "New York, NY, USA"}
@String{pub-IOS = "IOS Press"}
@String{pub-IOS:adr = "Amsterdam, The Netherlands"}
%%%=====================================================================
%%% Series abbreviations:
@String{ser-SIGPLAN = "ACM SIG{\-}PLAN Notices"}
%%%=====================================================================
%%% Bibliography entries, in publication order:
@Article{Buxton:1981:RHA,
author = "John N. Buxton and Larry E. Druffel and Thomas A.
Standish",
title = "Reflections on the History of {Ada} Environments",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "1",
pages = "16--21",
month = jul # "\slash " # aug,
year = "1981",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Ada Programming Support Environments (APSE),
STONEMAN",
}
@Article{Cohen:1981:HAA,
author = "Paul M. Cohen",
title = "From {HOLWG} to {AJPO} --- {Ada} in Transition",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "1",
pages = "22--25",
month = jul # "\slash " # aug,
year = "1981",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Whitaker:1981:FFO,
author = "Lt Col William A. Whitaker",
title = "{FORTRAN}-like Formatted Output with {Ada}",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "1",
pages = "26--28",
month = jul # "\slash " # aug,
year = "1981",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "I/O",
}
@Article{Knapper:1981:RC,
author = "Robert J. Knapper and Robert F. Mathis",
title = "Roberts Corporation",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "1",
pages = "29--30",
month = jul # "\slash " # aug,
year = "1981",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Haertig:1981:TST,
author = "Herman Haertig and Andreas Pfitzmann and Leo Treff",
title = "Task State Transitions in {Ada}",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "1",
pages = "31--41",
month = jul # "\slash " # aug,
year = "1981",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "runtime environment, concurrency",
}
@Article{Davis:1982:COA,
author = "Mark Davis",
title = "Classical Optimizations in Adsa",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "2",
pages = "11--14",
month = sep,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
date = "1981-Feb",
keywords = "compiler implementation, code generation",
}
@Article{Wichmann:1982:TMR,
author = "Brian A. Wichmann",
title = "Tutorial material on the Real Data-Types in {Ada}",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "2",
pages = "15--33",
month = sep,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
date = "1981-Feb",
}
@Article{Brosgol:1982:SAL,
author = "Benjamin Brosgol",
title = "Summary of {Ada} Language Changes",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "3",
pages = "34--43",
month = mar # "\slash " # apr,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Ada 80, Ada 82, ANSI Ada",
}
@Article{Nissen:1982:AGP,
author = "J. C. D. Nissen and P. Wallis and B. A. Wichmann",
title = "{Ada-Europe} Guidelines for the Portability of {Ada}
Programs",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "3",
pages = "44--61",
month = mar # "\slash " # apr,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Style Guide",
}
@Article{Levy:1982:MBD,
author = "Arnold J. Levy",
title = "Motivation Behind the Design of the {Ada} Atom System
Environment",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "3",
pages = "62--63",
month = mar # "\slash " # apr,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Ada Programming Support Environment (APSE)",
}
@Article{Booch:1982:OOD,
author = "Grady Booch",
title = "Object Oriented Design",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "3",
pages = "64--76",
month = mar # "\slash " # apr,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Methodology",
}
@Article{Olsen:1982:ATD,
author = "Eric W. Olsen and Stephen B. Whitehill",
title = "{Ada} Technology Development at Irvine Computer
Sciences Corporation",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "3",
pages = "77--85",
month = mar # "\slash " # apr,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "compilers",
}
@Article{Bennett:1982:HCA,
author = "David A. Bennett and Brent D. Kornman and James R.
Wilson",
title = "Hidden Costs in {Ada}",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "4",
pages = "9--20",
month = may # "\slash " # jun,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "language design, portability, reliability",
}
@Article{Druffel:1982:NPD,
author = "Larry E. Druffel",
title = "{THe} Need for a Programming Discipline to Support the
{APSE}: Where Does the {APSE} Path Lead?",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "4",
pages = "21--23",
month = may # "\slash " # jun,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "methodology",
}
@Article{Farkas:1982:ABA,
author = "E. Farkas",
title = "Annoying Bagatelles in {Ada}",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "4",
pages = "24--26",
month = may # "\slash " # jun,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "compilers, code generation, constraint checks",
}
@Article{Pagan:1982:TAI,
author = "Frank G. Pagan",
title = "Taming {Ada} for Introductory Teaching Purposes --- An
Approximation",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "4",
pages = "27--31",
month = may # "\slash " # jun,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "training",
}
@Article{Huff:1982:FQA,
author = "Edward Huff",
title = "{FIFO} Queues in {Ada}: An Exercise",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "4",
pages = "32--33",
month = may # "\slash " # jun,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "training, education",
}
@Article{Levy:1982:AAS,
author = "Arnold J. Levy",
title = "The {Ada} Atom System Environment",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "4",
pages = "34--45",
month = may # "\slash " # jun,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Ada Programming Support Environments (APSE), operating
systems",
}
@Article{Crafts:1982:CAS,
author = "Ralph E. Crafts",
title = "Commercial Applications Software in {Ada}: {A}
Reality",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "4",
pages = "46--54",
month = may # "\slash " # jun,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "string processing",
}
@Article{Chambers:1982:EAL,
author = "John M. Chambers",
title = "Extending {Ada} legally via Pre-Processors",
journal = j-SIGADA-LETTERS,
volume = "1",
number = "4",
pages = "55--58",
month = may # "\slash " # jun,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "macros, C pre-processor, cpp",
}
@Article{Bray:1982:ASM,
author = "Gary Bray",
title = "{AIE} Support for Management of Embedded Computer
Projects",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "1",
pages = "33--49",
month = jul # "\slash " # aug,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Ada Programming Support Environments (APSE)",
}
@Article{Hart:1982:ADA,
author = "Hal Hart",
title = "{Ada} for Design: An Approach for Transitioning
Industry Software Developers",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "1",
pages = "50--57",
month = jul # "\slash " # aug,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "methodology, PDL",
}
@Article{Basili:1982:MAS,
author = "Victor Basili and John Gannon and Elizabeth Katz and
Marvin Zelkowitz and John Bailey and Elizabeth Kruesi
and Sylvia Sheppard",
title = "Monitoring an {Ada} Software Development Project",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "1",
pages = "58--61",
month = jul # "\slash " # aug,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "software process",
}
@Article{Lahtinen:1982:MAA,
author = "Pekka Lahtinen",
title = "A Machine Architecture for {Ada}",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "2",
pages = "28--33",
month = sep # "\slash " # oct,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "MPS-10 architecture",
}
@Article{Charles:1982:LGA,
author = "Philippe Charles and Gerald Fisher",
title = "A {LALR(1)} Grammar for '82 {Ada}",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "2",
pages = "34--45",
month = sep # "\slash " # oct,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "compilers, parsers",
}
@Article{Yehudai:1982:DAT,
author = "Amiram Yehudai",
title = "Data Abstraction: Types vs. Objects",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "2",
pages = "46--48",
month = sep # "\slash " # oct,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "methodologies",
}
@Article{Kerner:1982:SPB,
author = "Judith Kerner",
title = "Should {PDL\slash Ada} Be Compilable?",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "2",
pages = "49--50",
month = sep # "\slash " # oct,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Wegner:1982:AET,
author = "Peter Wegner",
title = "{Ada} Education and Technology Transfer Activities",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "2",
pages = "51--60",
month = sep # "\slash " # oct,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Cohen:1982:PQE,
author = "Norman H. Cohen",
title = "Parallel Quicksort: An Exploitation of Concurrent
Programming in {Ada}",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "2",
pages = "61--68",
month = sep # "\slash " # oct,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "tasking",
}
@Article{Sammet:1982:PDL,
author = "Jean E. Sammet and Douglas W. Waugh and Robert W.
{Reiter, Jr.}",
title = "{PDL\slash Ada} --- {A} Design Language Based on
{Ada}",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "3",
pages = "19--31",
month = nov # "\slash " # dec,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Ada PDL",
}
@Article{Lindley:1982:APD,
author = "Lawrence M. Lindley",
title = "{Ada} Program Design Language Survey",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "3",
pages = "32--33",
month = nov # "\slash " # dec,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Ada PDL",
}
@Article{Ben-Ari:1982:CFA,
author = "Mordechai Ben-Ari",
title = "The Case for Full {Ada}",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "3",
pages = "34--37",
month = nov # "\slash " # dec,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Bach:1982:TCA,
author = "Ivan Bach",
title = "On the Type Concept of {Ada}",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "3",
pages = "38--50",
month = nov # "\slash " # dec,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Chase:1982:CFA,
author = "Anna I. Chase and Mark S. Gerhardt",
title = "The Case for Full {Ada} as a Design Language",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "3",
pages = "51--59",
month = nov # "\slash " # dec,
year = "1982",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Ada PDL",
}
@Article{Brosgol:1983:AIN,
author = "Ben Brosgol",
title = "{Ada} Implementation Notes: Constraint Check
Elimination",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "4",
pages = "54--57",
month = jan # "\slash " # feb,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "compilers, code generation",
}
@Article{Lindley:1983:APD,
author = "Lawrence M. Lindley",
title = "{Ada} Program Design Language Survey Update",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "4",
pages = "61--63",
month = jan # "\slash " # feb,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Ada PDL",
}
@Article{Grabber:1983:MWA,
author = "Eran Grabber",
title = "The Middle Way Approach for {Ada} Based {PDL} Syntax",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "4",
pages = "64--67",
month = jan # "\slash " # feb,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Masters:1983:SDP,
author = "Michael W. Masters and Michael J. Kuchinski",
title = "Software Design Prototyping Using {Ada}",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "4",
pages = "68--75",
month = jan # "\slash " # feb,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "methodology",
}
@Article{Gordon:1983:BPD,
author = "Michael Gordon",
title = "The Byron Program Design Language -1-",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "4",
pages = "76--83",
month = jan # "\slash " # feb,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "PDL",
}
@Article{Emery:1983:DDS,
author = "David Emery",
title = "The {Department of Defense Software Initiative}, a
Summary",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "4",
pages = "84--87",
month = jan # "\slash " # feb,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "STARS",
}
@Article{Hall:1983:ADM,
author = "Patrick A. V. Hall",
title = "Adding Database Management to {Ada}",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "4",
pages = "88--91",
month = jan # "\slash " # feb,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Faasch:1983:AMI,
author = "M. Faasch and V. Haarslev and H.-H. Nagel",
title = "{Ada} on a Minicomputer-Network for Image Sequence
Analysis: An Investigative Implementation",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "4",
pages = "92--96",
month = jan # "\slash " # feb,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Elliott:1983:RAW,
author = "Jon K. Elliott",
title = "The {ROLM Ada} Work Center",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "4",
pages = "97--100A",
month = jan # "\slash " # feb,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Ada Programming Support Environment (APSE)",
xxnote = "Yes, the final page number is 100A, a special page
inserted between 100 and 101.",
}
@Article{Debest:1983:UIS,
author = "X. Debest",
title = "A User-Friendly {I/O} System for {Ada}",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "4",
pages = "101--112",
month = jan # "\slash " # feb,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Waugh:1983:ALP,
author = "Douglas W. Waugh",
title = "An {Ada} Language Programming Course",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "5",
pages = "34--41",
month = mar # "\slash " # apr,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "training, education",
}
@Article{Braun:1983:ATC,
author = "Christine L. Braun",
title = "{Ada} Training Considerations",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "5",
pages = "42--55",
month = mar # "\slash " # apr,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "education, courses, process models",
}
@Article{Gardner:1983:UAC,
author = "Michael R. Gardner",
title = "Using {Ada} for Commercial Software",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "5",
pages = "56--59",
month = mar # "\slash " # apr,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Rudolph:1983:ODA,
author = "Bruce L. Rudolph",
title = "An Overview of the Design of an {Ada} Ballistics
System",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "5",
pages = "60--61",
month = mar # "\slash " # apr,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "gunnery, numerics, FORTRAN",
}
@Article{Lomuto:1983:SAT,
author = "Nico Lomuto",
title = "Self-Reproducing {Ada} Tasks",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "5",
pages = "62--75",
month = mar # "\slash " # apr,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "tasking, concurrency",
}
@Article{Fernandez:1983:EMM,
author = "John D. Fernandez and Homer Carlisle and Sallie
Sheppard",
title = "Experience with Matrix Multiplication Using {Ada}
Tasks",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "5",
pages = "76--84",
month = mar # "\slash " # apr,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "concurrency, generics",
}
@Article{Fritz:1983:AUD,
author = "Robert Fritz",
title = "The {Ada} User and the {DoD} Software Initiative",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "5",
pages = "85--88",
month = mar # "\slash " # apr,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Fischer:1983:STI,
author = "Herman Fischer",
title = "Software Technology Initiative Raleigh Workshop: An
Editorial Report",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "6",
pages = "45--50",
month = may # "\slash " # jun,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "STARS",
}
@Article{Alstad:1983:PAP,
author = "James P. Alstad",
title = "Problems with {Ada} as a Program Design Language: {A}
Position Paper",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "6",
pages = "51--52",
month = may # "\slash " # jun,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "PDL",
}
@Article{Bossi:1983:MDA,
author = "A. Bossi and N. Cocco and S. Dulli",
title = "Modular Decomposition of {Ada} into a Hierarchy of
Sublanguages",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "6",
pages = "53--58",
month = may # "\slash " # jun,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "training, education",
}
@Article{Dobbs:1983:AEA,
author = "Paul Dobbs",
title = "{Ada} Experience on the {Ada} Capability Study",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "6",
pages = "59--62",
month = may # "\slash " # jun,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "metrics, error analysis, quality assurance",
}
@Article{Zeigler:1983:ALS,
author = "Stephen F. Zeigler and Reinhold P. Weiker",
title = "{Ada} Language Statistics for the {iMAX} 432 Operating
System",
journal = j-SIGADA-LETTERS,
volume = "2",
number = "6",
pages = "63--67",
month = may # "\slash " # jun,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "metrics, compiler implementation",
}
@Article{Standish:1983:IAA,
author = "Thomas A. Standish",
title = "Interactive {Ada} in the Arcturus Environment",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "1",
pages = "23--36",
month = jul # "\slash " # aug,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Tischler:1983:NSA,
author = "Ron Tischler",
title = "Note on Scanning {Ada}",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "1",
pages = "36--??",
month = jul # "\slash " # aug,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Lexical Analysis",
}
@Article{Nissen:1983:AGA,
author = "J. C. D. Nissen and B. A. Wichmann",
title = "{Ada-Europe} Guidelines for {Ada} Compiler
Specification and Selection",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "1",
pages = "37--50",
month = jul # "\slash " # aug,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Compiler Evaluation",
}
@Article{Litvintchouk:1983:AARa,
author = "Steven D. Litvintchouk and A. S. Matsumoto",
title = "An Algebraic Approach to Reusable {Ada} Components",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "1",
pages = "51--54",
month = jul # "\slash " # aug,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Reuse, Specification, Methodology",
}
@Article{Wetherell:1983:ALT,
author = "Charles Wetherell and M. E. Quinn",
title = "An {Ada} Language Type Checking Problem and Two
Morals",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "1",
pages = "55--56",
month = jul # "\slash " # aug,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Compilers",
}
@Article{McDermid:1983:LCS,
author = "John McDermid and Knut Ripken",
title = "Life Cycle Support in the {Ada} Environment",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "1",
pages = "57--62",
month = jul # "\slash " # aug,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Ada Programming Support Environments (APSE)",
}
@Article{Persch:1983:EEP,
author = "Guido Persch and Manfred Dausmann and Gerhard Goos",
title = "Early Experience with the Programming Language {Ada}",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "1",
pages = "63--70",
month = jul # "\slash " # aug,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "compilers",
}
@Article{Krieg-Brueckner:1983:CCA,
author = "Berndt Krieg-Brueckner",
title = "Consistency Checking in {Ada} and Anna: {A}
Transformational Approach",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "2",
pages = "46--54",
month = sep # "\slash " # oct,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "formal specification, verification",
}
@Article{Inverardi:1983:DKA,
author = "P. Inverardi and G. Levi and U. Montanari and G. N.
Vallario",
title = "A Distributed {KAPSE} Architecture",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "2",
pages = "55--61",
month = sep # "\slash " # oct,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Ada Programming Support Environment (APSE)",
}
@Article{Bray:1983:IIA,
author = "Gary Bray",
title = "Implementation Implications of {Ada} Generics",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "2",
pages = "62--71",
month = sep # "\slash " # oct,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "compiler implementation, code generation",
}
@Article{Molich:1983:ACQ,
author = "Rolf Molich",
title = "{Ada} Compiler Quality Assurance",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "2",
pages = "72--75",
month = sep # "\slash " # oct,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "verification",
}
@Article{Heker:1983:SCE,
author = "Wolf-Dieter Heker",
title = "Some Comments on ``Experiences with Matrix
Multiplication Using {Ada} Tasks''",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "2",
pages = "76--??",
month = sep # "\slash " # oct,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "tasking, concurrency",
}
@Article{Wilder:1983:MHK,
author = "William L. Wilder",
title = "Minimal Host for the {KAPSE}",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "2",
pages = "77--88",
month = sep # "\slash " # oct,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Ada Programming Support Environment (APSE)",
}
@Article{Litvintchouk:1983:AARb,
author = "Steven D. Litvintchouk and A. S. Matsumoto",
title = "An Algebraic Approach to Reusable {Ada} Components",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "2",
pages = "89--92",
month = jul # "\slash " # aug,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Reuse, Specification, Methodology",
}
@Article{Becker:1983:AES,
author = "Lee A. Becker",
title = "{Ada} --- Extended Structure Charts",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "2",
pages = "93--97",
month = sep # "\slash " # oct,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "PDL, design methodology",
}
@Article{Berard:1983:EA,
author = "Edward V. Berard",
title = "Engineering {Ada}",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "3",
pages = "33--44",
month = nov # "\slash " # dec,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "metrics",
}
@Article{Kirchgassner:1983:OA,
author = "Walter Kirchgassner and Jurgen Uhl and Guido Perch and
Manfred Dausmann and Sophia Drossopoulou and
Hans-Stephan Jansohn and Rudolph Landwehr",
title = "Optimization in {Ada}",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "3",
pages = "45--57",
month = nov # "\slash " # dec,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "compiler implementation",
}
@Article{Kamrad:1983:ROA,
author = "J. Michael Kamrad",
title = "Runtime Organization for the {Ada} Language System
Programs",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "3",
pages = "58--68",
month = nov # "\slash " # dec,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "tasking, concurrency, compiler implementation",
}
@Article{Houghton:1983:TTF,
author = "Raymond C. Houghton",
title = "A taxonomy of Tool Features for the {Ada} Programming
Support Environment {(APSE)}",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "3",
pages = "63--78",
month = nov # "\slash " # dec,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Cornhill:1983:SDC,
author = "Dennis Cornhill",
title = "A Survivable Distributed Computing System for Embedded
Applications Programs Writtein in {Ada}",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "3",
pages = "79--87",
month = nov # "\slash " # dec,
year = "1983",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "tasking, runtime executive, concurrency",
}
@Article{Fisher:1984:LGA,
author = "Gerry Fisher",
title = "A {LALR(1)} Grammar for {ANSI Ada}",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "4",
pages = "37--50",
month = jan # "\slash " # feb,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "compilers",
}
@Article{Wheeler:1984:CIA,
author = "Thomas J. Wheeler",
title = "A Command Interpreter for {Ada}",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "4",
pages = "51--61",
month = jan # "\slash " # feb,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Bein:1984:ADJ,
author = "Edward Bein",
title = "{Ada} Design, Jovial Implementation",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "4",
pages = "62--69",
month = jan # "\slash " # feb,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "style guide, standards, Jovial J73",
}
@Article{MacanAirchinnign:1984:APU,
author = "M{\'\i}che{\'a}l {Mac an Airchinnign}",
title = "{Ada} Packages and the User's Conceptual Model",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "4",
pages = "70--77",
month = jan # "\slash " # feb,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "design methodology",
}
@Article{Meiling:1984:CSC,
author = "Erik Meiling and Steen U. Palm",
title = "A Comparative Study of {CHILL} and {Ada} on the Basis
of Denotational Descriptions",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "4",
pages = "78--91",
month = jan # "\slash " # feb,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "formal specification",
}
@Article{Ploedereder:1984:PS,
author = "Erhard Ploedereder",
title = "Project {SPERBER}",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "4",
pages = "92--99",
month = jan # "\slash " # feb,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Ada Programming Support Environment (APSE), compiler
implementation",
}
@Article{Phillips:1984:RAR,
author = "Stephen P. Phillips and Peter R. Stevenson",
title = "The Role of {Ada} in Real Time Embedded Applications",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "4",
pages = "99--111",
month = jan # "\slash " # feb,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "tasking, runtime environments, concurrency",
}
@Article{Wellings:1984:PAR,
author = "A. J. Wellings and D. Keeffe and G. M. Tomlinson",
title = "A Problem with {Ada} and Resource Allocation",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "4",
pages = "112--124",
month = jan # "\slash " # feb,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "tasking, concurrency",
}
@Article{Nissen:1984:AGA,
author = "J. C. D. Nissen and P. A. Wichmann and others",
title = "{Ada-Europe} Guidelines for {Ada} Compiler
Specification and Selection",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "5",
pages = "50--62",
month = mar # "\slash " # apr,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Pyle:1984:PSA,
author = "I. C. Pyle",
title = "A Package for Specifying {Ada} Programs",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "5",
pages = "63--68",
month = mar # "\slash " # apr,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Ardo:1984:SAC,
author = "Anders Ardo and Lars Philipson",
title = "A Simple {Ada} Compiler Invalidation Test",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "5",
pages = "69--74",
month = mar # "\slash " # apr,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Bengel:1984:PA,
author = "G. G. Bengel",
title = "Peculiarities of {Ada}",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "5",
pages = "75--81",
month = mar # "\slash " # apr,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Fisher:1984:UAP,
author = "Gerry Fisher",
title = "Universal Arithmetic Packages",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "6",
pages = "30--47",
month = may # "\slash " # jun,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "universal integer, universal real, rational
arithmetic",
}
@Article{Winkler:1984:MBS,
author = "J. F. H. Winkler",
title = "More on Block Structure: Using {Ada}",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "6",
pages = "48--56",
month = may # "\slash " # jun,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Dapra:1984:UAA,
author = "A. Dapra and S. Gatti and S. Crespi-Reghizzi and F.
Maderna and D. Belcredi and A. Natali and R. A.
Stammers and M. D. Tedd",
title = "Using {Ada} and {APSE} to Support Distributed
Multimicroprocessor Targets",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "6",
pages = "57--65",
month = may # "\slash " # jun,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "runtime system, tasking, partitioning, concurrency",
}
@Article{Gardner:1984:WUP,
author = "Michael R. Gardner",
title = "When to Use Private Types",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "6",
pages = "66--78",
month = may # "\slash " # jun,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "style guide, methodology",
}
@Article{Daily:1984:APS,
author = "Paulan D. Daily and John T. Foreman",
title = "{Ada} Programming Standards and Guidelines",
journal = j-SIGADA-LETTERS,
volume = "3",
number = "6",
pages = "79--94",
month = may # "\slash " # jun,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "style guide",
}
@Article{Basili:1984:MAS,
author = "Victor R. Basili and Shih Chang and John Gannon and
Elizabeth Katz and N. Monina Panlilo-Yap and Connie
Loggia Ramsey and Marvin Zelkowitz and John Bailey and
Elizabeth Kruesi and Sylvia Sheppard",
title = "Monitoring an {Ada} Software Development",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "1",
pages = "32--39",
month = jul # "\slash " # aug,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Wolverton:1984:PHF,
author = "David Alan Wolverton",
title = "A Perfect Hash Function for {Ada} Reserved Words",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "1",
pages = "40--44",
month = jul # "\slash " # aug,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Berard:1984:AEM,
author = "Edward V. Berard",
title = "{Ada} Education is a Moving Target",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "1",
pages = "45--49",
month = jul # "\slash " # aug,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Llamosi:1984:UTR,
author = "Albert Llamosi and Pere Botella and Fernando Orejas",
title = "On Unlimited types and Reliability of {Ada} Programs",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "1",
pages = "50--60",
month = jul # "\slash " # aug,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Smith:1984:ASA,
author = "David A. Smith",
title = "{ANSI} Standard {Ada} --- Quick Reference Sheet",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "1",
pages = "61--66",
month = jul # "\slash " # aug,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Bond:1984:APD,
author = "Rodney M. Bond",
title = "{Ada} as a Program Description Language {(PDL)}",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "1",
pages = "67--73",
month = jul # "\slash " # aug,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Kirkham:1984:USS,
author = "J. A. Kirkham and A. Burns and R. J. Thomas",
title = "The Use of Structured Systems Analysis in the Rapid
Creation of Information Management Systems Prototypes
Written in {Ada}",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "1",
pages = "74--87",
month = jul # "\slash " # aug,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Harbaugh:1984:TSU,
author = "Sam Harbaugh and John A. Forakis",
title = "Timing Studies Using a Synthetic Whetstone Benchmark",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "2",
pages = "23--35",
month = sep # "\slash " # oct,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Fantechi:1984:IRE,
author = "A. Fantechi",
title = "Interfacing with Real Environments from {Ada}
Programs",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "2",
pages = "35--43",
month = sep # "\slash " # oct,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Linden:1984:WDS,
author = "Peter van der Linden",
title = "Writing Diagnostic Software in {Ada}",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "2",
pages = "44--53",
month = sep # "\slash " # oct,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Gilroy:1984:EAG,
author = "Kathleen Gilroy",
title = "Experience with {Ada} for the Graphical Kernal
System",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "2",
pages = "54--64",
month = sep # "\slash " # oct,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Dewar:1984:ALM,
author = "Robert B. K. Dewar",
title = "{Ada} Language Maintenance, {A} Look at What is Going
On",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "2",
pages = "65--76",
month = sep # "\slash " # oct,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
}
@Article{Temte:1984:ODB,
author = "Mark Temte",
title = "Object-Oriented Design and Ballistics Software",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "3",
pages = "25--36",
month = nov # "\slash " # dec,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "methodology",
}
@Article{Bach:1984:UIR,
author = "Ivan Bach",
title = "Unorthogonalities in the Identification Rules in
{Ada}",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "3",
pages = "37--43",
month = nov # "\slash " # dec,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "visibility, overloading",
}
@Article{Kok:1984:PSB,
author = "J. Kok and G. T. Symm",
title = "A Proposal for Standard Basic Functions in {Ada}",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "3",
pages = "44--52",
month = nov # "\slash " # dec,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "mathematical functions, real numbers, standards,
generic packages",
}
@Article{Knight:1984:IUA,
author = "John C. Knight and John I. A. Urquhart",
title = "On the Implementation and Use of {Ada} on
Fault-Tolerant Distributed Systems",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "3",
pages = "53--64",
month = nov # "\slash " # dec,
year = "1984",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "runtime systems, real-time, embedded systems",
}
@Article{Goodenough:1985:DA,
author = "John B. Goodenough",
title = "On Defining ``='' in {Ada}",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "4",
pages = "27--31",
month = jan # "\slash " # feb,
year = "1985",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
acknowledgement = ack-nhfb,
keywords = "generics; languages; limited private types; private
types",
subject = "D.4.3 Software, OPERATING SYSTEMS, File Systems
Management, Access methods \\ D.3.2 Software,
PROGRAMMING LANGUAGES, Language Classifications, Ada
\\
D.3.3 Software, PROGRAMMING LANGUAGES, Language
Constructs, Data types and structures",
}
@Article{Armitage:1985:ASD,
author = "James W. Armitage and James V. Chelini",
title = "{Ada} Software on Distributed Targets: {A} Survey of
Approaches",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "4",
pages = "32--37",
month = jan # "\slash " # feb,
year = "1985",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
acknowledgement = ack-nhfb,
keywords = "run-time environments",
subject = "K.6.3 Computing Milieux, MANAGEMENT OF COMPUTING AND
INFORMATION SYSTEMS, Software Management, Software
development \\ D.3.2 Software, PROGRAMMING LANGUAGES,
Language Classifications, Ada",
}
@Article{Schill:1985:CCC,
author = "John Schill and Roger Smeaton and Richard Jackman",
title = "The Conversion of Command \& Control Software to
{Ada}: Experiences and Lessons Learned",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "4",
pages = "38--48",
month = jan # "\slash " # feb,
year = "1985",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
acknowledgement = ack-nhfb,
keywords = "UNITREP, WWMCCS, WIS, COBOL conversions",
subject = "D.2.2 Software, SOFTWARE ENGINEERING, Tools and
Techniques, Modules and interfaces \\ J.7 Computer
Applications, COMPUTERS IN OTHER SYSTEMS, Command and
control \\ D.4.9 Software, OPERATING SYSTEMS, Systems
Programs and Utilities, Command and control languages
\\ D.4.4 Software, OPERATING SYSTEMS, Communications
Management, Message sending",
}
@Article{Buxton:1985:FAE,
author = "J. N. Buxton",
title = "Future {Ada} environment workshop: keynote address",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "5",
pages = "40--44",
month = mar # "\slash " # apr,
year = "1985",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Mon Aug 29 17:53:43 1994",
acknowledgement = ack-nhfb,
keywords = "languages",
subject = "K.3.2 Computing Milieux, COMPUTERS AND EDUCATION,
Computer and Information Science Education, Information
systems education \\ D.3.2 Software, PROGRAMMING
LANGUAGES, Language Classifications, Ada \\ D.2
Software, SOFTWARE ENGINEERING, Programming
Environments \\ D.2.1 Software, SOFTWARE ENGINEERING,
Requirements/Specifications, Languages",
}
@Article{Buxton:1985:KAF,
author = "John N. Buxton",
title = "Keynote Address, Future {APSE} Workshop",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "5",
pages = "40--44",
month = mar # "\slash " # apr,
year = "1985",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Ada Programming Support Environment (APSE), Stoneman",
}
@Article{Myers:1985:SEA,
author = "Gil Myers",
title = "{Software Engineering Automation for Tactical Embedded
Systems (SEATECS)}",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "5",
pages = "45--48",
month = mar # "\slash " # apr,
year = "1985",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
acknowledgement = ack-nhfb,
keywords = "design; experimentation; languages; process models;
Ada Programming Support Environment (APSE)",
subject = "D.2.9 Software, SOFTWARE ENGINEERING, Management, Life
cycle \\ J.1 Computer Applications, ADMINISTRATIVE DATA
PROCESSING, Military \\ D.2.9 Software, SOFTWARE
ENGINEERING, Management, Software quality assurance
(SQA) \\ D.2 Software, SOFTWARE ENGINEERING,
Programming Environments",
}
@Article{Buhr:1985:IOC,
author = "R. J. A. Buhr and G. M. Karam",
title = "An Informal Overview of {CADA}: {A} Design Environment
for {Ada}",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "5",
pages = "49--58",
month = mar # "\slash " # apr,
year = "1985",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
acknowledgement = ack-nhfb,
keywords = "tasking, verification, visualization, concurrency;
design; languages",
subject = "D.3.2 Software, PROGRAMMING LANGUAGES, Language
Classifications, Ada \\ J.6 Computer Applications,
COMPUTER-AIDED ENGINEERING, Computer-aided design (CAD)
\\ D.2 Software, SOFTWARE ENGINEERING, Programming
Environments \\ I.3.4 Computing Methodologies, COMPUTER
GRAPHICS, Graphics Utilities, Picture description
languages \\ D.2.7 Software, SOFTWARE ENGINEERING,
Distribution and Maintenance, Extensibility \\ D.3.2
Software, PROGRAMMING LANGUAGES, Language
Classifications, Prolog",
}
@Article{Pyster:1985:EEE,
author = "Arthur Pyster",
title = "Experience with Existing Environments",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "5",
pages = "59--64",
month = mar # "\slash " # apr,
year = "1985",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
note = "Future Ada Environment Workshop.",
acknowledgement = ack-nhfb,
keywords = "Ada Programming Support Environment (APSE); design; languages",
subject = "D.3.2 Software, PROGRAMMING LANGUAGES, Language
Classifications, Ada \\ D.2 Software, SOFTWARE
ENGINEERING, Programming Environments \\ J.1 Computer
Applications, ADMINISTRATIVE DATA PROCESSING, Military
\\ D.2.9 Software, SOFTWARE ENGINEERING, Management,
Life cycle",
}
@Article{Oberndorf:1985:PD,
author = "P. A. Oberndorf and M. H. Penedo",
title = "Project databases",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "5",
pages = "65--78",
month = mar # "\slash " # apr,
year = "1985",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Mon Aug 29 17:53:45 1994",
acknowledgement = ack-nhfb,
keywords = "design",
subject = "D.2 Software, SOFTWARE ENGINEERING, Programming
Environments \\ D.4.1 Software, OPERATING SYSTEMS,
Process Management, Concurrency \\ H.2.2 Information
Systems, DATABASE MANAGEMENT, Physical Design, Access
methods",
}
@Article{Orberndorf:1985:PDW,
author = "Patricia A. Orberndorf and Maria H. Penedo",
title = "Project Database Working Group",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "5",
pages = "65--78",
month = mar # "\slash " # apr,
year = "1985",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
note = "Future Ada Environment Workshop.",
keywords = "Ada Programming Support Environment (APSE), object
database",
}
@Article{Marmor-Squires:1985:MER,
author = "Ann Marmor-Squires and Jack Wileden",
title = "Methodology and Environment Relationships",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "5",
pages = "79--83",
month = mar # "\slash " # apr,
year = "1985",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
note = "Future Ada Environment Workshop.",
acknowledgement = ack-nhfb,
keywords = "Ada Programming Support Environment (APSE); design; languages",
subject = "K.6.3 Computing Milieux, MANAGEMENT OF COMPUTING AND
INFORMATION SYSTEMS, Software Management, Software
development \\ D.2 Software, SOFTWARE ENGINEERING,
Programming Environments \\ D.2.7 Software, SOFTWARE
ENGINEERING, Distribution and Maintenance,
Extensibility",
}
@Article{Berecz:1985:DE,
author = "Vic Berecz and Jack Kramer and Carol LeDoux",
title = "Distributed Environments",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "5",
pages = "84--89",
month = mar # "\slash " # apr,
year = "1985",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
note = "Future Ada Environment Workshop.",
acknowledgement = ack-nhfb,
keywords = "design; economics; performance; Ada Programming Support Environment (APSE),
concurrency, networking",
subject = "D.2 Software, SOFTWARE ENGINEERING, Programming
Environments \\ D.4.7 Software, OPERATING SYSTEMS,
Organization and Design, Distributed systems \\ D.2.5
Software, SOFTWARE ENGINEERING, Testing and Debugging,
Debugging aids",
}
@Article{Adatec:1985:UI,
author = "{ACM Adatec Future Ada and Environment Workshop and
Working Group 6.}",
title = "User interfaces",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "5",
pages = "90--96",
month = mar # "\slash " # apr,
year = "1985",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Mon Aug 29 17:53:39 1994",
acknowledgement = ack-nhfb,
keywords = "design; human factors; languages",
subject = "D.2.2 Software, SOFTWARE ENGINEERING, Tools and
Techniques, User interfaces \\ D.2.9 Software, SOFTWARE
ENGINEERING, Management, Copyrights",
}
@Article{Braesicke:1985:FAE,
author = "Carl Braesicke and Jeff Dean and Dave Fisher and Jim
Holder and Rand McKinney and Panna Nagarsenker and
Dewayne Perry and Phil Rossomando and Tim Standish and
Dick Wisehart",
title = "Future {Ada} Environments Workshop: User Interfaces",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "5",
pages = "90--96",
month = mar # "\slash " # apr,
year = "1985",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
keywords = "Ada Programming Support Environment (APSE)",
}
@Article{Jones:1985:ISR,
author = "Bill Jones and Steve Litvintchouk and Jerry Mungle and
Herb Krasner and John Melby and Herb Willman",
title = "Issues in Software Reusability",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "5",
pages = "97--99",
month = mar # "\slash " # apr,
year = "1985",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
note = "Future Ada Environment Workshop.",
acknowledgement = ack-nhfb,
keywords = "algorithms; design; reliability; Ada Programming
Support Environment (APSE)",
subject = "D.2 Software, SOFTWARE ENGINEERING, Miscellaneous",
}
@Article{Redwine:1985:EA,
author = "Sam Redwine",
title = "Environment Architectures",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "5",
pages = "100--104",
month = mar # "\slash " # apr,
year = "1985",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
note = "Future Ada Environment Workshop.",
acknowledgement = ack-nhfb,
keywords = "Ada Programming Support Environment (APSE); design;
reference model",
subject = "D.2 Software, SOFTWARE ENGINEERING, Programming
Environments \\ D.2.7 Software, SOFTWARE ENGINEERING,
Distribution and Maintenance, Extensibility \\ D.2.9
Software, SOFTWARE ENGINEERING, Management, Life
cycle",
xxtitle = "Environment architecture",
}
@Article{Wagreich:1985:MEE,
author = "Roberta G. Wagreich",
title = "Methodologies and Environments for Embedded Systems
Lifecycle Support",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "5",
pages = "105--110",
month = mar # "\slash " # apr,
year = "1985",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
note = "Future Ada Environment Workshop.",
acknowledgement = ack-nhfb,
keywords = "Ada Programming Support Environment (APSE); algorithms; design",
subject = "D.2.9 Software, SOFTWARE ENGINEERING, Management, Life
cycle \\ D.4.5 Software, OPERATING SYSTEMS,
Reliability, Fault-tolerance \\ D.2 Software, SOFTWARE
ENGINEERING, Programming Environments",
}
@Article{Harbaugh:1985:XEA,
author = "Sam Harbaugh",
title = "{XAda} --- An Executable {Ada} Design Language
Methodology",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "6",
pages = "27--31",
month = may # "\slash " # jun,
year = "1985",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.adahome.com/Resources/Bibliography/articles.ref",
acknowledgement = ack-nhfb,
keywords = "PDL, design methodology; design; documentation;
languages; standardization",
subject = "D.3.2 Software, PROGRAMMING LANGUAGES, Language
Classifications, Ada \\ D.3.2 Software, PROGRAMMING
LANGUAGES, Language Classifications, Design languages
\\ D.3.3 Software, PROGRAMMING LANGUAGES, Language
Constructs, Input/Output \\ D.2.5 Software, SOFTWARE
ENGINEERING, Testing and Debugging, Debugging aids",
}
@Article{Walasek:1985:SLC,
author = "Jan Walasek",
title = "Source Listing with Combs",
journal = j-SIGADA-LETTERS,
volume = "4",
number = "6",
pages = "32--34",
month = may # "\slash " # jun,
year = "1985",
CODEN = "AALEE5",
ISSN = "0736-721X",
bibdate = "Thu Sep 28 07:33:23 MDT 2000",
bibsource = "