[comp.lang.ada] A Bibliography of ADA texts

carterc@msudoc.ee.mich-state.edu (Chris Carter) (08/06/87)

LOUBOUTIN@CLSEPF51 sent me this bibliography, which I am finding very
helpful:

                        TEXTBOOKS-BIBLIOGRAPHY

        The  following  list  of  Ada  Language  textbooks,   arranged
alphabetically by  author,  is  provided  as  a  service  by  the  Ada
Information  Clearinghouse  (AdaIC)   to  the   Ada  user   community.
Announcements do  not  constitute  an endorsement  by  the  Ada  Joint
Program Office (AJPO).  Most  of these texts  are currently listed  in
the TEXT-BOOKS help file where the ISBN and an abstract can be  found.

        Send any corrections or  additions to Ada-Information@ECLB  or
IITRI@ECLB.  Or, you may contact the Ada Information Clearinghouse  at
(703) 685-1477 or (315) 336-2359.



                BIBLIOGRAPHY OF ADA TEXTBOOKS
                -----------------------------


         Barnes:  PROGRAMMING IN ADA, Addison-Wesley 2/e 1984,
           $19.95.

         Bjorner & Oest:  TOWARDS A FORMAL DESCRIPTION OF ADA,
           Springer-Verlag, 1981, 630 pages, $29.00


         Booch:   SOFTWARE ENGINEERING WITH ADA, Addison-Wesley
           1983, $22.95.

         Buhr:   SYSTEMS DESIGN WITH ADA,  Prentice-Hall,  1984,
           $21.95.

         Cherry:    ADA PROGRAMMING STRUCTURES WITH AN INTRODUCTION
           TO STRUCTURED CONCURRENT PROGRAMMING, Prentice-Hall, 1984,
           $15.95

         Cherry:     PARALLEL PROGRAMMING  ANSI   STD   ADA,
           Prentice-Hall, 1984, $21.95.

         Cohen:  ADA AS A SECOND LANGUAGE, McGraw Hill, 1984,
           $26.95.

        Freedman:  PROGRAMMING CONCEPTS WITH THE Ada LANGUAGE,
          Petrocelli Books, 1982, $12.00

        Freedman:  PROGRAMMING WITH APSE SOFTWARE TOOLS, Petrocelli
          Books, 1985, $27.50

         Downes & Goldsack:  PROGRAMMING EMBEDDED SYSTEMS WITH
           ADA, Prentice-Hall, 1982, 400 pages, $30.00 (PB)

         Gehani:  ADA: AN ADVANCED INTRODUCTION, Prentice-Hall
           1983, 352 pages, $19.95

         Gehani:  ADA:  CONCURRENT PROGRAMMING,  Prentice-Hall, 1984,
           $29.95

         Goos & Hartmanis:  DIANA:  AN INTERMEDIATE LANGUAGE FOR
           ADA, Springer-Verlag, 1983.

         Habberman & Perry:  ADA FOR EXPERIENCED PROGRAMMERS,
           Addison-Wesley, 1983,  $18.95.

         Hibbard, et al: STUDIES IN ADA STYLE, Springer-Verlag, 1983
           2/e, $11.95.

         Leathrum:   ADA SOFTWARE DESIGNER'S PRIMER, Prentice-
           Hall, 1984, $16.95.

         Ledgard:  ADA:  AN INTRODUCTION (second edition),
           Springer-Verlag, 1983, $14.95.

         Lewis:  PROBLEM-SOLVING PRINCIPLES FOR ADA PROGRAMMERS,
           Hayden Book Company, 1982, 183 pages, $9.95

         Lorho:  METHODS AND TOOLS FOR COMPILER CONSTRUCTION,
           Cambridge University Press, 1984, $49.50.

         Mayoh:  PROBLEM SOLVING WITH ADA, John Wiley, 1982,
           240 pages, $17.90

         McDermid & Ripken:   LIFE CYCLE SUPPORT IN THE ADA
           ENVIRONMENT, Cambridge University Press, 1984, 247
           pages, $24.95.

         McGettrick:  PROGRAM VERIFICATION USING ADA, Cambridge
           University Press, 1982, 368 pages, $18.50 (PB) $42.50 (HB)

         Nissen & Wallis: PORTABILITY AND SYTLE IN ADA, Cambridge
           University Press, 1984, 202 pages, $24.95.

         Olsen & Whitehall:  ADA FOR PROGRAMMERS, Prentice-Hall, 1983,
           $20.95

         Organick: AN ADA PROGRAMMING VIEW OF THE 1432 SYSTEM
           ARCHITECTURE AND OPERATING SYSTEM, McGraw Hill, 1983,
           $29.95.

         Parikh & Zvegintzov:  TUTORIAL ON SOFTWARE MAINTENANCE,
           IEEE, 1983, $32.00.

         Price:  INTRODUCTION TO ADA, Prentice-Hall, 1984, $22.95.

         Pyle:   ADA PROGRAMMING LANGUAGE, Prentice-Hall, 1981
           294 pages, $18.95.

         Rogers:  ADA:  LANGUAGE, COMPILERS AND BIBLIOGRAPHY,
           Cambridge University Press, 1984, $17.95.

         Saib:  ADA PROGRAMMING LANGUAGE, IEEE, 1983, $50.00.

         Saxon & Fitz:  BEGINNING PROGRAMMING WITH ADA,
           Prentice-Hall, 1983, 240 pages, $16.95.

         Smedema, Medema & Boasson:  THE PROGRAMMING LANGUAGES
           PASCAL, MODULA, CHILL AND ADA, Prentice-Hall, 1983,
           $16.95.

         Shumate:  UNDERSTANDING ADA, Harper & Row, 1984, $18.95

         Stratford & Collins:  ADA: A PROGRAMMER'S  CONVERSION
           COURSE, John Wiley, 1982, 192 pages, $48.95.

         Wiener & Sincovec: PROGRAMMING IN ADA, Wiley, 1983,
           345 pages, $25.95.

         Wiener:  SOFTWARE ENGINEERING IN MODULA 2 AND ADA, Wiley, 1984,
           480 pages $24.95.

         V. Young:  AN INTRODUCTION TO ADA, John Wiley, 1982, 320
           pages, $29.95.


Thanks to all who have emailed me recommendations; keep 'em coming!

Chris Carter                       UUCP:    ihnp4!msudoc!carterc
Michigan State University          Arpanet: carterc@msudoc.egr.msu.edu
(517) 353-3255                     Bitnet:  17158CC@MSU

blackje%sungod.tcpip@GE-CRD.ARPA (08/07/87)

Received: by sungod.steinmetz (3.2/1.1x Steinmetz)
	id AA00390; Fri, 7 Aug 87 11:10:16 EDT
Date: Fri, 7 Aug 87 11:10:16 EDT
From: emmett black <blackje@sungod>
Posted-Date: Fri, 7 Aug 87 11:10:16 EDT
Message-Id: <8708071510.AA00390@sungod.steinmetz>
To: info-ada@ada20.isi.edu
Subject: Re:  A Bibliography of ADA texts

After watching the Ada biblography data go by
on the network, I decided that it would be nice
to have all that info as a SCRIBE Bibliography 
Database!....

I already have several of the books mentioned in 
my own Scribe biblography data base, and would be
happy to share them... 

How about someone (Chris Carter, perhaps??) volunteering
to assemble said Ada Scribe Bibliography and redistributing
it to the net?

For what it's worth---  here comes my contribution!------------------
This should be checked for correctness -- and addition of info like
number of pages and price would be great...
I have a few "home grown" biblio forms that i'd be willing to share too...


--Emmett
	BlackJE@GE-CRD.Arpa


----------------cut here----------------------
@COMMENT[ -- Bibliography Database -- ]
@TechReport(DeLauer,
	key="DeLauer",
	Author="DeLauer, Dr. Richard D.",
	Institution="DoD",
	Title="Interim DoD Policy on Computer Programming Languages",
	Year="1983",
	Month="June",
	Number="5000.31",
	Note="DoD Directive mandating use of Ada Programming Language"
	)
@Book(BOOCH,
  Title="Software Engineering with Ada",
  Author="Booch, Grady",
  key="Booch",
  Publisher="The Benjamin/Cummings Publishing Company, Inc.",
  Year="1983",
  Address="2727 Sand Hill Road, Menlo Park, CA 94025"
  )
@Article(McCabe,
         Key="McCabe",
         Title="A Complexity Measure",
         Author="McCabe, T.",
         Journal="IEEE Transactions on Software Engineering",
         Volume="2",
         Number="4",
         pages="308-320",
         Month="April",
         Year="1976"
         )
@book(YOUNG,
	key="Young",
	Title="An Introduction to Ada",
	Author="Young, Stephen J.",
	Publisher="Ellis Horwood Limited",
	Year="1983",
	Address="Market Cross House, Cooper Street, Chichester, West Sussex, PO191 1EB, England"
	)
@Book(AdaConPgm,
      Title="Ada: Concurrent Programming",
      Author="Gehani, Narain",
      key="Gehani",
      Publisher="Prentice-Hall, Inc.",
      Year="1984"
      )
@Book(AdaAdvIntro,
      Title="Ada: An Advanced Introduction",
      Author="Gehani, Narain",
      key="Gehani",
      Publisher="Prentice-Hall, Inc.",
      Year="1983"
      )
@Book(DeMarco,
      Title="Structured Analysis and System Specification", 
      Author="DeMarco, Tom",
      key="DeMarco",
      Publisher="Yourdon, Inc.",
      Year="1978"
      )
@Book(PortableAda,
      Title="Portability and Style in Ada",
      Author="Nissen, J. and Wallis, P.",
      key="Nissen/Wallis",
      Publisher="Cambridge University Press",
      Year="1984"
      )
@Book(AdaStyle,
      Title="Studies in Ada Style",
      edition="second",
      Author="Hibbard, et al.",
      key="Hibbard",
      Publisher="Springer-Verlag",
      Year="1983"
      )
@Book(Buhr,
      Title="Systems Design with Ada",
      Author="Buhr, R.J.A.",
      key="Buhr",
      Publisher="Prentice-Hall",
      Address="Englewood Cliffs, NJ",
      Note="ISBN 0-13-881623-9",
      Year="1984"
      )
@InProceedings(DH80,
  Key="Duncan",
  Author="Duncan, A.G., J.S. Hutchison",
  Title="Using Ada for Industrial Embedded Microprocessor Applications",
  Organization="ACM-SIGPLAN",
  BookTitle="Symposium on the Programming Language Ada",
  Address="Boston, MA",
  Month="December",
  Year="1980",
  Note="Published as Volume 15, Number 11 of @I(SIGPLAN Notices).",
  Pages="26-35"
	)
@InProceedings(DH82,
  Key="Duncan",
  Author="Duncan, A.G. and J.S. Hutchison",
  Title="Using Ada for Industrial Embedded Microprocessor Applications II",
  BookTitle="Proc. of the AdaTEC Conference on Ada",
  Address="Arlington, VA",
  Month="October",
  Year="1982",
  Pages="152-161"
	)
@InProceedings(AdvAdaDevEnv,
  Key="Duncan",
  Author="Duncan, A.G.",
  Title="Toward an Interactive Integrated Development Environment for Ada",
  BookTitle="Proc. of Third Ada Europe/AdaTEC Conference",
  Address="Brussels, Belgium",
  Month="June",
  Year="1984",
  publisher="Cambridge University Press"
	)
@Book(Jackson,
	key="Jackson",
	title="System Development",
	publisher="Prentice-Hall",
	author="M. A. Jackson",
	year="1983",
	note="data structure design"
	)
@Book(Warnier,
	key="Warnier",
	title="Logical Construction of Systems",
	publisher="Van Nostrand-Reinhold",
	author="J. D. Warnier",
	year="1981",
	note="data flow design"
	)
@Book(Yourdon,
	key="Yourdon",
	title="Structured Design; Fundamentals of a Discipline of Computer Program and System Design",
	publisher="Prentice-Hall",
	year="1979",
	author="E. Yourdon, L. Constantine"
	)
@Article(NassiShneiderman,
        Key="Nassi",
	Journal="ACM SIGPlan Notices",
	Title="Flowcharting Techniques for Structured Programming",
	Author="Nassi, I., Shneiderman, B.",
	Month="August",
	Year="1973",
	Volume="8",
	Number="8",
	Pages="12-26"
	)
@Directive(DoDD500031,
	key="DoDD 5000.31",
	Author="DeLauer, Dr. Richard D.",
	Title="Interim DoD Policy on Computer Programming Languages",
	Date="June 1983",
	Number="5000.31",
	Note="DoD Directive mandating use of Ada Programming Language"
	)
@Manual(MILSTDAda,
	key="ANSI/MIL-STD-1815A",
	title="Reference Manual for the Ada@+(@c[tm]) Programming Language",
	date="17 February 1983",
	year="1983",
	author="United States Department of Defense",
	organization="American National Standards Institute, Inc.",
	edition="ANSI/MIL-STD-1815A-1983"
	)
@Standard(MILSTD1815A,
	key="ANSI/MIL-STD-1815A",
	title="Reference Manual for the Ada@+(@c[tm]) Programming Language",
	date="17 February 1983",
	agency="ANSI",
        number="1815A",
	note="Current edition: ANSI/MIL-STD-1815A-1983"
	)
@Directive{DoDD34052,
	key="DoDD 3405.2",
	Title="Use of Ada@+(@c[tm]) in Weapon Systems",
	Date="30 March 1987",
	Number="3405.2",
	Author="William H. Taft, IV.; Duputy Secretary of Defense"
	}
@Book(ASRhdbk,
	key="Conn",
	author="Conn, Richard",
	title="The Ada Software Repository and the Defense Data Network: A Resource Handbook",
	year="1987",
	publisher="New York Zoetrope, Inc."
	)@comment<203 pp.>
@Book(ASRindex,
	key="Conn",
	author="Conn, Richard",
	title="Ada Software Repository Master Index",
	year="1986",
	publisher="Echelon, Inc."
	)@comment<500+ pp.>
@TechReport(Anna,
	key="Luckham",
	title="ANNA - A Language for Annotating Ada Programs",
	Institution="Stanford University",
	Author="Luckman, David, et.al.",
	Number="84-261",
	Month="July",
	Year="1984"
	)

------------------------------cut here----------------------------