home *** CD-ROM | disk | FTP | other *** search
/ Usenet 1994 October / usenetsourcesnewsgroupsinfomagicoctober1994disk1.iso / answers / comp-lang-ada / cla-faq1 next >
Encoding:
Text File  |  1994-06-01  |  41.5 KB  |  922 lines

  1. Newsgroups: comp.lang.ada,news.answers,comp.answers
  2. Path: bloom-beacon.mit.edu!hookup!news.kei.com!MathWorks.Com!news.duke.edu!godot.cc.duq.edu!toads.pgh.pa.us!news.sei.cmu.edu!ajpo.sei.cmu.edu!cla-faq
  3. From: cla-faq@ajpo.sei.cmu.edu (Ada Info. Clearinghouse)
  4. Subject: comp.lang.ada FAQ 2/2
  5. Message-ID: <1994Jun1.102331.24857@sei.cmu.edu>
  6. Followup-To: poster
  7. Summary: comp.lang.ada Frequently Asked Questions. (Does *not* 
  8.          get into programming questions.)
  9. Sender: netnews@sei.cmu.edu (Netnews)
  10. Organization: Ada Information Clearinghouse
  11. Date: Wed, 1 Jun 1994 10:23:31 EDT
  12. Approved: news-answers-request@MIT.Edu
  13. Lines: 906
  14. Xref: bloom-beacon.mit.edu comp.lang.ada:10348 news.answers:20335 comp.answers:5618
  15.  
  16. Archive-name: comp-lang-ada/cla-faq1
  17.  
  18. comp.lang.ada Frequently Asked Questions part 2 of 2
  19.  
  20. Effective date: 31 May 94
  21.  
  22. 20) Is there a list of good Ada books?
  23.  
  24.       Just for a list of texts, etc. (no evaluations or
  25.       recommendations), you might take a look at the ADABOOKS.TXT file
  26.       on the AdaIC Bulletin Board and in the public/ada-info directory
  27.       on the AJPO host (ajpo.sei.cmu.edu).
  28.  
  29.       A real-time book:
  30.       (From lodge@ferndown.ate.slb.com (Mathew Lodge)
  31.       via rlk@igor.rational.com (Robert Kitzberger))
  32.  
  33.       Real Time Systems and Their Programming Languages
  34.       by A. Burns and A. Wellings
  35.       Prentice-Hall
  36.       The book uses Ada, Modula-2 and Occam2 as examples, though Ada
  37.       is clearly the language of choice and gets more coverage than
  38.       either of the other two.  IMHO, it's a good book -- a wide
  39.       coverage of real-time issues with good examples in all the
  40.       languages.  It covers Ada real-time excellently, including the
  41.       use of CIFO etc.  Thoroughly recommended!
  42.  
  43.       Books for use in class (and others):
  44.       (from mfeldman@seas.gwu.edu (Michael B. Feldman))
  45.  
  46.       As co-chair of the SIGAda Education Committee, and a denizen of
  47.       the Internet newsgroups, I am often asked to give references for
  48.       "Ada textbooks."  This list responds to these many queries.  It
  49.       is far from exhaustive, merely a selected list of 26 books being
  50.       used successfully in undergraduate computer science courses.
  51.  
  52.       The six books in the Group 1 are written especially for students
  53.       without programming experience, who are learning Ada as their
  54.       first language.  Most of these can also cover at least part of a
  55.       typical CS2-level course.  The seven books in Group 2 use Ada as
  56.       their language of discourse but are "subject-oriented:" data
  57.       structures, file structures, compilers, comparative languages.
  58.       The thirteen books in Group 3 are either "Ada books" focusing on
  59.       the language features or more general books that use Ada, at
  60.       least in part, but do not fit obviously into a standard
  61.       curriculum "pigeonhole."
  62.  
  63.       I invite you to add to the list.  Please write your annotated
  64.       entry in the form I have used here and write or e-mail it to me.
  65.       I will include it in my next version and credit you as a
  66.       co-compiler of the list.
  67.  
  68.       Disclaimers: I wrote two of the texts listed here; I hope the
  69.       annotations are impartial enough.  And any annotated
  70.       bibliography is selective and opinionated.  Your mileage may
  71.       vary.
  72.  
  73.       Group 1: Books Suitable for a First Course in Programming
  74.  
  75.       Bover, D.C.C., K.J. Maciuas, and M.J. Oudshoorn.
  76.       Ada: A First Course in Programming and Software Engineering.
  77.       Addison-Wesley, 1992.
  78.       This work is, to our knowledge, the first Ada book to emerge
  79.       from Australia, from a group of authors with much collective
  80.       experience in teaching Ada to first-year students.  A number of
  81.       interesting examples are presented, for example, an Othello
  82.       game.  The book is full of gentle humor, a definite advantage in
  83.       a world of dry and serious texts.  In the book's favor is the
  84.       large number of complete programs.  On the other hand, it is
  85.       rather "European" in its terseness; American teachers may miss
  86.       the pedagogical apparatus and "hand-holding" typically found in
  87.       today's CS1 books.  Generic units are hardly mentioned.
  88.  
  89.       Culwin, F.
  90.       Ada: a Developmental Approach.
  91.       Prentice-Hall, 1992.
  92.       This work introduces Ada along with a good first-year approach
  93.       to software development methodology.  Much attention is paid to
  94.       program design, documentation, and testing.  Enough material is
  95.       present in data structures and algorithm analysis is present to
  96.       carry a CS2 course.  A drawback of the book is that the first
  97.       third is quite "Pascal-like" in its presentation order:
  98.       procedures, including nested ones, are presented rather early,
  99.       and packages are deferred until nearly the middle of the book.
  100.       This is certainly not a fatal flaw, but it will frustrate
  101.       teachers wishing a more package-oriented presentation.  The
  102.       programs and solutions are apparently available from the author.
  103.  
  104.       Feldman, M.B., and E.B. Koffman.
  105.       Ada: Problem Solving and Program Design.
  106.       Addison-Wesley, 1991.
  107.       This work combines the successful material from Koffman's CS1
  108.       pedagogy with a software-engineering-oriented Ada presentation
  109.       order.  Packages are introduced early and emphasized heavily;
  110.       chapters on abstract data types, unconstrained arrays, generics,
  111.       recursion, and dynamic data structures appear later.  The last
  112.       five chapters, combined with some language-independent algorithm
  113.       theory, can serve as the basis of a CS2 course.  A diskette with
  114.       all the fully-worked packages and examples (about 180) is
  115.       included; the instructor's manual contains a diskette with
  116.       project solutions.
  117.  
  118.       Savitch, W.J. and C.G. Petersen.
  119.       Ada: an Introduction to the Art and Science of Programming.
  120.       Benjamin/Cummings, 1992.
  121.       This is a straightforward adaptation of the well-known Savitch
  122.       Pascal books.  Ada is introduced in a Pascal-like order, with
  123.       subtypes and packages introduced halfway through the book.  This
  124.       is purely a CS1 book.  The final chapter covers dynamic data
  125.       structures.  There is no coverage of unconstrained array types;
  126.       generics are introduced at the halfway point to explain Text_IO,
  127.       then dropped until the final chapter.  The authors intended this
  128.       book to provide a painless transition to Ada for teachers of
  129.       Pascal; one wishes they had taken advantage of the chance to
  130.       show some of the interesting Ada concepts as well.  Program
  131.       examples from the text are available on disk, but only as part
  132.       of the instructor's manual; a solutions disk is available for a
  133.       fee from the authors.
  134.  
  135.       Skansholm, J.
  136.       Ada from the Beginning.
  137.       Addison Wesley, 1988.
  138.       This book was one of the first to use Ada with CS1-style
  139.       pedagogy.  There are excellent sections on the idiosyncracies of
  140.       interactive I/O (a problem in all languages), and a sufficient
  141.       number of fully-worked examples to satisfy students.  Generics,
  142.       linked lists and recursion are covered at the end; there is no
  143.       tasking coverage, but one would not expect this at CS1-level.
  144.  
  145.       Volper, D., and M. Katz.
  146.       Introduction to Programming Using Ada.
  147.       Prentice-Hall, 1990.
  148.       This book uses a heavily "spiraled" approach to Ada, and is
  149.       designed for a 2-semester course, covering nearly all of Ada
  150.       eventually.  There are lots of fully-coded examples, and good
  151.       pedagogical sections on testing, coding style, etc.  If you like
  152.       spiraling, you'll like this.  The down side is that you can't
  153.       find all you need on a given subject in one place.  It's at the
  154.       other end of the scale from the "Ada books" that follow the Ada
  155.       Language Reference Manual (LRM) order.
  156.  
  157.       Group 2: Other Books Intended for Undergraduate Courses
  158.  
  159.       Ben-Ari, M.
  160.       Principles of Concurrent and Distributed Programming.
  161.       Prentice-Hall 1990.  (OS/concurrency)
  162.       In my opinion, this is the best introduction to concurrency on
  163.       the market.  Ada notation is used for everything, but the focus
  164.       is on concurrency and not on Ada constructs per se.  I liked the
  165.       CoPascal notation of the first edition better, but this book is
  166.       still great.  A software disk is promised in the preface; I had
  167.       to work quite hard to get it from the publisher, which finally
  168.       had to express-ship it from England.  The software comes with a
  169.       tiny Ada-ish interpreter, complete with Pascal source code,
  170.       adapted from Wirth's Pascal/S via CoPascal.  There are also some
  171.       real Ada programs, most of which I've tested and found correct
  172.       and portable.
  173.  
  174.       Feldman, M.B.
  175.       Data Structures with Ada.
  176.       Prentice Hall, 1985 (now distributed by Addison-Wesley).
  177.       (CS2/data structures)
  178.       This book is a reasonable approximation to a modern CS2 book:
  179.       "big O" analysis, linked lists, queues and stacks, graphs,
  180.       trees, hash methods, and sorting, are all covered.  The Ada is a
  181.       bit old-fashioned, especially the lack of generics; the book was
  182.       published before compilers could handle generics.  The packages
  183.       and other programs are available free from the author.  The book
  184.       is currently under revision with Addison-Wesley and should
  185.       appear in 1993.
  186.  
  187.       Fischer, C., and R. LeBlanc.
  188.       Crafting a Compiler.
  189.       Benjamin Cummings, 1988.  (compilers)
  190.       This book uses Ada as its language of discourse and Ada/CS, a
  191.       usefully large Ada subset, as the language being compiled.  If
  192.       you can get the "plain Pascal" tool software by ftp from the
  193.       authors, you'll have a good translator-writing toolset.  Skip
  194.       the Turbo Pascal diskette version, which is missing too many
  195.       pieces to be useful.  I've used the book since it came out with
  196.       both undergrad and graduate compiler courses; it embodies a good
  197.       blend of theory and "how it's really done" coding.  Students
  198.       like it.  The authors have recently published a second version,
  199.       which uses C as its coding language but retains Ada/CS as the
  200.       language being compiled.
  201.  
  202.       Lomuto, N.
  203.       Problem-Solving Methods with Examples in Ada.
  204.       Prentice-Hall, 1987.  (algorithms)
  205.       Inspired by Polya's classic How to Solve It, this book can make
  206.       a nice addition to an Ada-oriented algorithms course.  It makes
  207.       too many assumptions about students' programming background to
  208.       use as a CS1 book, and doesn't teach enough Ada to be an "Ada
  209.       book."  But it makes nice reading for students sophisticated
  210.       enough to handle it.  I'd classify it as similar to Bentley's
  211.       Programming Pearls.
  212.  
  213.       Miller, N.E. and C.G. Petersen.
  214.       File Structures with Ada.
  215.       Benjamin/Cummings, 1990.  (file structures)
  216.       Designed for a straightforward ACM-curriculum file structures
  217.       course, this book succeeds at what it does.  There are good
  218.       discussions of ISAM and B-tree organizations.  The software can
  219.       be purchased a low cost from the authors; it seems to
  220.       approximate in Ada all those C-based file packages advertised in
  221.       programmer-oriented trade publications.
  222.  
  223.       Schneider, G.M., and S.C. Bruell.
  224.       Concepts in Data Structures and Software Development (with Ada
  225.       Supplement by P. Texel).
  226.       West, 1991.  (CS2/data structures)
  227.       This work is not, strictly speaking, an Ada book; rather, it is
  228.       a solid, language-independent approach to modern CS2.  The
  229.       language of discourse in the book is a Pascal-like ADT language
  230.       rather like Modula-2 in style; some examples are coded in legal
  231.       Pascal.  The Ada supplement makes it usable in an Ada-based
  232.       course, but the supplement is rather too terse (100 pages of
  233.       large type) for my taste, and insufficiently well keyed to the
  234.       book chapters.  The supplement's effectiveness would be greatly
  235.       enhanced by full translations to Ada of a large number of the
  236.       book's examples.
  237.  
  238.       Sebesta, R.W.
  239.       Concepts of Programming Languages.
  240.       Benjamin Cummings, 1989.  (comparative languages)
  241.       If you've been around for a while, you might remember the late
  242.       Mark Elson's 1975 book by the same title.  This is similar: a
  243.       concept-by-concept presentation, with -- in each chapter --
  244.       examples taken from several languages.  There is a nice
  245.       impartial presentation of Ada along with the others.  I
  246.       especially like the chapters on abstraction and exception
  247.       handling.  The book covers -- comparatively, of course -- most
  248.       of the lanuages you'd like to see, including C, Lisp, Smalltalk,
  249.       etc., with nice historical chapters as well.  The book is
  250.       readable; my students like it.  Our undergraduate and graduate
  251.       courses both use it as a base text.
  252.  
  253.       Group 3: A Selection of Other Ada-Related Books
  254.  
  255.       Barnes, J.
  256.       Programming in Ada.  (3rd edition)
  257.       Addison Wesley, 1989.
  258.       Barnes' work has been one of the most popular "Ada books."  Some
  259.       students find it hard to see how the pieces fit together from
  260.       Barnes' often fragmentary examples; it is difficult to find
  261.       complete, fully-worked out, compilable programs.  A version is
  262.       available with the entire Ada Language Reference Manual bound in
  263.       as an appendix.
  264.  
  265.       Booch, G.
  266.       Object-Oriented Design, with Applications.
  267.       Benjamin Cummings, 1991.
  268.       This is a good comparative introduction to the "object-oriented
  269.       (OO)" concept.  The first half gives a balanced presentation of
  270.       the issues in OO Design; the second half gives nontrivial
  271.       examples from Ada, Smalltalk, C++, CLOS, and Object Pascal.  The
  272.       author tries to sort out the difference between object-based
  273.       (weak inheritance, like Ada) and object-oriented (like C++)
  274.       languages.  My only real complaint is that Booch should have
  275.       worked out at least some of his case studies using several
  276.       different languages, to highlight the similarities and
  277.       differences in the language structures.  As it is, each case
  278.       study is done in only a single language.  The good news is that
  279.       the book is remarkably free of the hyperbolic claims one
  280.       sometimes finds in the OO literature.  I think this book could
  281.       be used successfully in a second- level comparative languages
  282.       course.
  283.  
  284.       Booch, G.
  285.       Software Components with Ada.
  286.       Benjamin Cummings, 1987.
  287.       This work is an encyclopedic presentation of data structure
  288.       packages from Booch's OOD point of view.  It is great for those
  289.       who love taxonomies.  It's not for the faint-hearted, because
  290.       the volume of material can be overwhelming.  It could serve as a
  291.       text for an advanced data structures course, but it's thin in
  292.       "big O" analysis and other algorithm-theory matters.  The book
  293.       is keyed to the (purchasable) Booch Components.
  294.  
  295.       Booch, G.
  296.       Software Engineering with Ada.  (2nd edition)
  297.       Benjamin Cummings 1987.
  298.       Another of the classical "Ada books."  Introduces Booch's OOD
  299.       ideas.  Not for use to introduce Ada to novices, in my opinion;
  300.       there are some nice fully-worked case studies but they begin too
  301.       far into the book, after long sections on design, philosophy,
  302.       and language elements.  The earlier chapters contain too much
  303.       fragmentary code, a common flaw in books that follow the LRM
  304.       order.
  305.  
  306.       Bryan, D.L., and G.O. Mendal.
  307.       Exploring Ada, Volumes 1 and 2.
  308.       Prentice-Hall, 1990 and 1992 respectively.
  309.       This is an excellent study of some of the interesting nooks and
  310.       crannies of Ada; it sometimes gets tricky and
  311.       "language-lawyerly."  Volume 2 takes up tasking, generics,
  312.       exceptions, derived types, scope and visibility; Volume 1 covers
  313.       everything else.  The programs are short and narrowly focused on
  314.       specific language issues.  If you like Bryan's "Dear Ada" column
  315.       in Ada Letters, you'll like this book.  It is certainly not a
  316.       book for beginners, but great fun for those who know Ada already
  317.       and wish to explore.
  318.  
  319.       Burns, A.
  320.       Concurrent Programming in Ada.
  321.       Cambridge University Press, 1985.
  322.       I used this book for years in my concurrency course.  It's
  323.       roughly equivalent to Gehani's book, but its age is showing.
  324.       Cambridge Press is not always easy to get books from, especially
  325.       in the US.
  326.  
  327.       Cohen, N.
  328.       Ada as a Second Language.
  329.       McGraw Hill, 1986.
  330.       This book is a quite comprehensive exploration of Ada which
  331.       follows the LRM in its presentation order.  My graduate students
  332.       like it because it is more detailed and complete than
  333.       alternative texts.  It's an excellent book for students who know
  334.       their languages and want to study all of Ada.  There are good
  335.       discussions of "why's and wherefore's" and many long,
  336.       fully-worked examples.
  337.  
  338.       Gauthier, M.
  339.       Ada: Un Apprentissage (in French).
  340.       Dunod, 1989.
  341.       I found this an especially interesting, almost philosophical
  342.       approach to Ada.  The first section presents Ada in the context
  343.       of more general laguage principles: types, genericity,
  344.       reusability.  The second section introduces testing and
  345.       documentation concerns, as well as tasking; the third considers
  346.       generics and variant records in the more general context of
  347.       polymorphism.  For mature Ada students in the French-speaking
  348.       world, and others who can follow technical French, this book can
  349.       serve as a different slant on the conventional presentations of
  350.       the language.  An English translation would be a real
  351.       contribution to the Ada literature.
  352.  
  353.       Gehani, N.
  354.       Ada: an Advanced Introduction (2nd edition).
  355.       Prentice-Hall, 1989.
  356.       I've always liked Gehani's literate writing style; he knows his
  357.       languages and treats Ada in an interesting, mature, and balanced
  358.       fashion.  This book comes with a diskette sealed in the back of
  359.       the book, which is advantageous because the book has numerous
  360.       nontrivial, fully-worked examples.
  361.  
  362.       Gehani, N.
  363.       Ada: Concurrent Programming (2nd edition).
  364.       Silicon Press, 1991.
  365.       This is a less formal, more Ada-oriented presentation of
  366.       concurrency than the Ben-Ari work.  I use both books in my
  367.       concurrency course; its real strength is the large number of
  368.       nontrivial, fully worked examples.  Gehani offers a nice
  369.       critique of the tasking model from the point of view of an OS
  370.       person.  The preface promises the availability of a software
  371.       disk from the publisher.
  372.  
  373.       Nyberg, K.
  374.       The Annotated Ada Reference Manual.  (2nd edition)
  375.       Grebyn Corporation, 1991.
  376.       This is the definitive work on Ada legalities, because it
  377.       presents not only the full text of the LRM but also the official
  378.       Ada Interpretations.  These commentaries, interleaved with the
  379.       LRM text, have been approved and promulgated by the Ada Board
  380.       and the various standards organizations, and are binding upon
  381.       compiler developers.  I recommend this book as an essential
  382.       volume in the library of every serious Ada enthusiast.
  383.  
  384.       Shumate, K.
  385.       Understanding Ada.  (2nd edition)
  386.       John Wiley, 1989.
  387.       This would make a CS1 book if it included more overall pedagogy,
  388.       independent of language constructs.  Otherwise it is a nice
  389.       introduction to Ada in fairly gentle steps.  Lots of completely
  390.       worked examples, right from the start.  Doesn't follow the LRM
  391.       order, which is great.
  392.  
  393.       Watt, D.A., B.A. Wichmann, and W. Findlay.
  394.       Ada Language and Methodology.
  395.       Prentice-Hall, 1987.
  396.       This work presents some interesting programming projects, and
  397.       the coverage of design and testing--at the level of a first-year
  398.       student--is quite good.  The first third of the book
  399.       concentrates heavily on classical control and data structures,
  400.       leaving exceptions and packages until the "programming in the
  401.       large" material in the second third.  CS2 teachers will find too
  402.       little concentration on algorithm analysis.  On the other hand,
  403.       tasking and machine-dependent programming are covered.  Like the
  404.       Shumate work, this book would make a suitable introduction to
  405.       Ada for students with a semester or so of programming
  406.       experience; it "jumps in" too quickly to satisfy the needs of
  407.       neophytes and is not well-tailored to CS1 or CS2 needs.
  408.  
  409. 21) Where can I get language translators?
  410.  
  411.       The AdaIC maintains a Products and Tools Database on its
  412.       bulletin board (703/614-0215), and one of the categories is
  413.       translators.  (The list of products should not be considered
  414.       exhaustive; if you wish to suggest additions, please contact the
  415.       AdaIC.)  Besides access to the database via the bulletin board,
  416.       you can also call the AdaIC (800-AdaIC-11 or 703/685-1477) and
  417.       ask for a customized search.
  418.  
  419.       In addition to all the usual caveats, however, it should also be
  420.       noted that translation itself is a controversial issue.
  421.  
  422.       When a project makes the transition to Ada from some other
  423.       language, one question that arises is whether to translate older
  424.       code into Ada.  Among the immediate considerations are how much
  425.       of the code can in fact be translated by a program intended for
  426.       that purpose, versus how much will still require re-coding by
  427.       hand.  And will the translated code suffer a significant loss in
  428.       speed of execution?  Further, a project must consider whether
  429.       the translated code will reflect sound software engineering and
  430.       be readily understandable and modifiable.  Or will the
  431.       translated code be merely "Fortranized Ada" or "Cobolized Ada",
  432.       or the like, possibly retaining limitations present in the
  433.       earlier code?  Portability is also a problem.
  434.  
  435.       The resolution of such issues will require an understanding of
  436.       the earlier code, an appreciation of the similarities and
  437.       differences between its language and Ada, and an evaluation of
  438.       the translation program under consideration.
  439.  
  440. 22) What is the status of the POSIX/Ada work?
  441.  
  442.       (from emery@mitre.org (dave emery))
  443.  
  444.       The IEEE approved IEEE Standard 1003.5-1992 in June 1992.  This
  445.       is the Ada Binding to the facilities defined in ISO
  446.       9945-1:1989/IEEE 1003.1-1990, the POSIX System Services.
  447.  
  448.       IEEE Standards Committee P1003.5 is now working on Ada bindings
  449.       to IEEE draft standards 1003.4, Real-Time Extensions and
  450.       1003.4a, Threads Extensions.  Current plans call for an IEEE
  451.       ballot in October 1993, with IEEE approval in September 1995.
  452.       For more information, contact the P1003.5 Chairman, Jim Lonjers
  453.       (lonjers@vfl.paramax.com, 805/987-9457).
  454.  
  455. 23) How can I get a copy of POSIX/Ada?  Is it available via FTP?
  456.  
  457.       (from emery@mitre.org (dave emery))
  458.  
  459.       You can buy a copy of the standard from the IEEE.  The order
  460.       number is "SH 15354", and the mailing address is "IEEE Service
  461.       Center, 445 Hoes Lane, Piscataway, NJ 08855-1331".  They will
  462.       accept credit-card orders at 1-800/678-4333.  The cost is $62.50
  463.       + $5.00 s/h ($43.75 + $4.00 s/h for IEEE Members).
  464.  
  465.       Current IEEE policy prohibits electronic distribution of IEEE
  466.       standards.  Proceeds from the sale of IEEE standards help
  467.       support the IEEE standards program.  However, The POSIX P1003.5
  468.       committee has been able to work out an arrangement with the IEEE
  469.       to make the POSIX/Ada package specifications available for
  470.       distribution via e-mail and anonymous FTP from the AJPO host
  471.       (ajpo.sei.cmu.edu).  Look in the public/dev-tool/POSIX
  472.       directory.  The AJPO files are also mirrored at the PAL.  (See
  473.       29) for more on the PAL, 25) for anonymous FTP.)
  474.  
  475. 24) Where can I get Ada benchmark programs?
  476.  
  477.       In addition to the information below, you may also wish to look
  478.       at the AdaIC flyer "How to Obtain Benchmark Performance Test
  479.       Suites and Results", flyer C15, file benchmrk.txt on the
  480.       AJPO host (ajpo.sei.cmu.edu).  For more on the AdaIC and
  481.       downloading files, see questions 14), 15), and 25).
  482.  
  483.       (from pd@SEI.CMU.EDU (Patrick Donohoe))
  484.  
  485.       a.  The Ada Evaluation System:
  486.  
  487.       The Ada Evaluation System (AES) may be obtained from the British
  488.       Standards Institute at the following address:
  489.  
  490.            Software Product Services
  491.            Software Engineering Department
  492.            BSIQA
  493.            P.O. Box 375
  494.            Milton Keynes MK14 6LL
  495.            United Kingdom
  496.            Tel: 0908 220908
  497.            UUCP: sed@bsiqa.uucp
  498.            (Internet: bsiqa!sed@uunet.uu.net)
  499.  
  500.       As of February 1993, the current version is the DIY-MAPSE-01
  501.       version.  It is available at a cost of 3,000 pounds sterling.
  502.       BSI also offers a validation service at a cost of 24,000 pounds
  503.       sterling.  Principal documents are a User's Manual, a Reference
  504.       Manual, and a Test Description Document.
  505.  
  506.       The Ada Evaluation System (AES) was merged with the Ada
  507.       Compiler Evaluation Capability (ACEC) under a joint agreement
  508.       between the Ministry of Defence of the United Kingdom and the
  509.       Department of Defense of the United States that was signed in
  510.       June of 1991.  The merged product has been released as the Ada
  511.       Compiler Evaluation System (ACES), which is the latest version
  512.       of the ACEC.
  513.  
  514.       b.  The Ada Compiler Evaluation Capability/Ada Compiler
  515.       Evaluation System:
  516.  
  517.       The Ada Compiler Evaluation System (ACES) may be obtained
  518.       from:
  519.  
  520.            Data and Analysis Center for Software (DACS)
  521.            Attn: Document Dataset Ordering
  522.            Kamen Sciences Corporation
  523.            P.O. Box 120
  524.            Utica, NY 13503-0120
  525.            Tel: 315/734-3696; Fax: 315/734-3699
  526.            Internet: dacs@kaman.com
  527.  
  528.       There are three documents: the User's Guide, the Reader's Guide,
  529.       and the Version Description Document.  The total cost for the
  530.       software (on 6250-bpi 9-track VMS Backup tape) and documentation
  531.       is 100 US dollars.
  532.  
  533.       ACES is also available for downloading via anonymous FTP from
  534.       the AJPO host computer, where it can be found in the
  535.       /public/aces directory.  It can also be downloaded from the
  536.       Public Ada Library (PAL -- see question 29).
  537.  
  538.       c.  Hartstone Benchmarks:
  539.  
  540.       Electronic-mail requests for Hartstone should be sent to the
  541.       following Internet address:
  542.  
  543.            hartstone-info@sei.cmu.edu
  544.  
  545.       The reply message will contain full details of how to obtain
  546.       source code and documentation by various means, including
  547.       anonymous ftp.  There is no charge for the Hartstone source
  548.       code.
  549.  
  550.       For people without Internet access, the address to send requests
  551.       to is:
  552.  
  553.            REST Transition Services
  554.            Software Engineering Institute
  555.            Carnegie Mellon University
  556.            Pittsburgh, PA 15213-3890
  557.            Phone: 412/268-7787
  558.  
  559.       Hartstone source code may also be retrieved from the PIWG
  560.       bulletin board.  (See below.)
  561.  
  562.       d.  The PIWG Benchmarks:
  563.  
  564.       The ACM Performance Issues Working Group (PIWG) benchmarks may
  565.       be obtained in one of three ways:
  566.  
  567.            1.  Via anonymous ftp from the ajpo.sei.cmu.edu machine.
  568.                Users should issue the command "ftp ajpo.sei.cmu.edu"
  569.                and log in using the word "anonymous" as the login name
  570.                and an identifying string (e.g., the user's e-mail
  571.                address) as password.  Change directory ("cd" command)
  572.                to the "public/piwg/piwg_11_92" directory and use the
  573.                ftp file-transfer commands to retrieve the files.  The
  574.                README file contains information about using the
  575.                benchmarks.
  576.  
  577.            2.  Via the PIWG bulletin board.
  578.                Ideally, users should access this from a PC (rather
  579.                than a dumb terminal) using a modem capable of sending
  580.                and receiving at 1200 baud or higher.  The number of
  581.                the bulletin board is 412/268-7020.  Once connected to
  582.                the bulletin board, users will be able to navigate
  583.                their way around the system using simple menus that the
  584.                system provides.  The point of contact for this service
  585.                is Gene Rindels, 412/268-6728.
  586.  
  587.            3.  Via a written request or telephone request to the
  588.                following service:
  589.  
  590.                    PIWG Distribution
  591.                    Software Engineering Institute
  592.                    Carnegie Mellon University
  593.                    Pittsburgh, PA 15213-3890
  594.                    Tel: 412/268-7787
  595.  
  596.                As of February 1993, the current release of the PIWG
  597.                suite is the one dated 11/92.  There is no charge for
  598.                the PIWG benchmarks.  Documentation for the PIWG
  599.                benchmarks consists principally of the READ.ME file
  600.                distributed with the suite and comments in the
  601.                individual test programs and command files.  There is
  602.                also additional information about the PIWG suite in the
  603.                Winter 1990 special edition of Ada Letters (Vol. X,
  604.                No. 3, special edition on Ada Performance Issues).
  605.  
  606. 25) The AJPO host has many Ada information files available for
  607.     downloading by anonymous FTP.  But I don't have FTP service on
  608.     the Internet host where I have an account.  Is there any way I
  609.     can get those files?
  610.  
  611.       The AJPO host, ajpo.sei.cmu.edu, will provide mail-server
  612.       capabilities on an experimental basis.  The available services
  613.       provided by this automatic mail server are: services, Re, help,
  614.       info, man, directory, and file-request.  To request a service,
  615.       send e-mail to "ftpmail@ajpo.sei.cmu.edu" and place its name in
  616.       the Subject line of the mail message, followed by any needed
  617.       parameters.  The mail server will respond to your request with
  618.       either the information you requested or an error message.
  619.  
  620.       The following are common examples on how to request services
  621.       from the AJPO host mail server:
  622.  
  623.       ----------------------------------------------------------------
  624.       1) To get "help" --
  625.  
  626.       To: ftpmail@ajpo.sei.cmu.edu
  627.       Subject: help
  628.  
  629.       ----------------------------------------------------------------
  630.  
  631.       2) To get "man" pages of a particular service, such as
  632.       "directory" --
  633.  
  634.       To: ftpmail@ajpo.sei.cmu.edu
  635.       Subject: man directory
  636.  
  637.       This service takes as a parameter the name of a service, and
  638.       returns a manual page on that service.
  639.  
  640.       ----------------------------------------------------------------
  641.  
  642.       3) To get a "directory" listing of the AJPO anonymous ftp area
  643.       (/public) --
  644.  
  645.       To: ftpmail@ajpo.sei.cmu.edu
  646.       Subject: directory
  647.  
  648.       The "directory" service takes as an optional parameter a file or
  649.       directory name, and returns the results of an "ls -l" on that
  650.       parameter.  For example, to get a listing of the
  651.       /public/compiler directory you would submit a message with the
  652.       Subject of:
  653.  
  654.       Subject: directory compiler
  655.  
  656.       The filename pattern may include wildcards as defined by the C
  657.       shell.  For example, to get a listing of the /public directories
  658.       beginning with "p" you would submit a message with the Subject
  659.       of:
  660.  
  661.       Subject: directory p*
  662.  
  663.       ----------------------------------------------------------------
  664.  
  665.       4) Use "file-request" to get /public/README file --
  666.  
  667.       To: ftpmail@ajpo.sei.cmu.edu
  668.       Subject: file-request README
  669.  
  670.       The "file-request" service takes as an optional parameter a
  671.       filename, and will return the contents of the file.  Text files
  672.       are returned verbatim, while binary files are encoded via the
  673.       Unix "uuencode" command.  Large files (greater than 1000 lines
  674.       long) will be split into multiple mail messages.  For example,
  675.       to get the file "README" in the /public/compiler directory you
  676.       would submit a message with the Subject of:
  677.  
  678.       Subject: file-request compiler/README
  679.  
  680.       ----------------------------------------------------------------
  681.  
  682.       Below is a sample response to a "help" request.
  683.  
  684.       From: FTP Mail Server <ftpmail@ajpo.sei.cmu.edu>
  685.       Message-Id: <9301141628.AA26473@ajpo.sei.cmu.edu>
  686.       To: adainfo@ajpo.sei.cmu.edu
  687.       Subject: Re: help
  688.       In-Reply-To: <9301141628.AA26462@ajpo.sei.cmu.edu>
  689.       Content-Type: text/plain; charset=us-ascii
  690.  
  691.       You have sent electronic mail to the Ada Joint Programs Office
  692.       automatic mail server.  This server is based on the
  693.       ServiceMail(tm) Toolkit from Enterprise Integration Technologies.
  694.  
  695.       In general, you may request a service by placing its name in the
  696.       Subject line of a mail message, followed by any needed
  697.       parameters.  The mail server will respond to your request with
  698.       either the information you requested or an error message.
  699.  
  700.       Here is a brief description of the available services:
  701.  
  702.       services:       This service returns a list of the available
  703.                       services.
  704.  
  705.       Re:             This service discards all messages with "Re:" in
  706.                       the subject line.  This is to prevent mail
  707.                       loops.
  708.  
  709.       help:           This service returns this help message.
  710.  
  711.       info:           This service returns this help message.
  712.  
  713.       man:            This service takes as a parameter the name of a
  714.                       service, and returns a manual page on that
  715.                       service.
  716.  
  717.       directory:      This service takes as an optional parameter a
  718.                       file or directory name, and returns the results
  719.                       of an "ls -l" on that parameter.  The root of
  720.                       the file structure is the AJPO anonymous FTP
  721.                       area.
  722.  
  723.       file-request:   This service takes as an optional parameter a
  724.                       file name, and will return the contents of the
  725.                       file.  The root of the file structure is the
  726.                       AJPO anonymous FTP area.  Text files are
  727.                       returned verbatim, while binary files are
  728.                       encoded via the Unix "uuencode" command.  Large
  729.                       files (greater than 1000 lines long) will be
  730.                       split into multiple mail messages.
  731.  
  732.       Try 'man <service>' to get more information on a particular
  733.       service.  Please report bugs and other problems to
  734.       ftpmail-request@ajpo.sei.cmu.edu.
  735.  
  736. 26) What is ASIS?
  737.  
  738.       The Ada Semantic Interface Specification is a layered
  739.       vendor-independent open architecture.  ASIS queries and services
  740.       provide a consistent interface to information within the Ada
  741.       Program Library created at compile time.  Clients of ASIS are
  742.       shielded and free from the implementation details of each Ada
  743.       compiler vendor's proprietary library and intermediate
  744.       representation.
  745.  
  746.       ASIS Version 1.1.0 is the latest version of the ASIS83 1.1 (Ada
  747.       83) de facto industry standard.  It differs from the previous
  748.       ASIS83 Version 1.1 in errata, clarifications, and two new
  749.       functions in Asis.Declarations (Implicit_Components and
  750.       Implicit_Variant_Components).
  751.  
  752.       ASIS Version 2.0.0 is the Ada 9x version of ASIS, called ASIS9X.
  753.       As errors, misunderstandings, and clarifications are discovered,
  754.       the ASIS Working Group will release new edited versions of the
  755.       specification.  The latest working draft for ASIS is ASIS 1.1.0,
  756.       dated July
  757.  
  758.       Your comments are welcome, if you wish to see replies to your
  759.       comments, please join the e-mail discussion group (discussed
  760.       below) first.
  761.  
  762. 27) How can I find out more about ASIS?  Can I take part in development?
  763.  
  764.       The following electronic mail forums now exist for the ASISWG.
  765.  
  766.       asiswg-technical@ajpo.sei.cmu.edu     technical discussions
  767.       asiswg@ajpo.sei.cmu.edu               high-level non-technical
  768.                                             discussions
  769.  
  770.       To have your email address added to these forums, send e-mail
  771.       to:
  772.  
  773.       asiswg-technical-request@ajpo.sei.cmu.edu
  774.       asiswg-request@ajpo.sei.cmu.edu
  775.  
  776.       Include your preferred e-mail address, name, telephone number,
  777.       and surface mail address.
  778.  
  779. 28) How can I get hold of ASIS?
  780.  
  781.       ASIS 2.0.0, 1.1.1, and 1.1.0 (along with the earlier version
  782.       1.1) are avaiable for anonymous FTP from ajpo.sei.cmu.edu.  They
  783.       can be found under the public/asis directory.
  784.  
  785.       If you have Internet FTP access, run your FTP program, a sample log
  786.       might look something like this:
  787.  
  788.          $ ftp ajpo.sei.cmu.edu
  789.          Name (ajpo.sei.cmu.edu:you): anonymous
  790.          331 Guest login ok, send your complete e-mail address as password.
  791.          Password:you@your-company.com
  792.          ftp> cd public/asis/v1.1.0
  793.          ftp> binary
  794.          ftp> get asis_1.1.0.asc
  795.          200 PORT command successful.
  796.          150 Opening BINARY mode data connection for /bin/compress.
  797.          (799382 bytes).
  798.          ....
  799.          ftp> bye
  800.  
  801.       (The "binary" command is not always necessary.  Some host ftp
  802.       programs drop form-feed characters.  The binary command will
  803.       prevent this behavior.)
  804.  
  805.       If you do not have Internet ftp access, the AJPO host provides
  806.       mail-server capabilities.  To get more information about the
  807.       mail-server, send e-mail to "ftpmail@ajpo.sei.cmu.edu", and
  808.       address your message as:
  809.  
  810.          To: ftpmail@ajpo.sei.cmu.edu
  811.          Subject: help
  812.  
  813.       To get a copy of the /public/asis/README file, address your
  814.       e-mail as:
  815.  
  816.          To: ftpmail@ajpo.sei.cmu.edu
  817.          Subject: file-request asis/README
  818.  
  819.       To get a "directory" listing of /public/asis/v1.1.0, address
  820.       your e-mail as:
  821.  
  822.          To: ftpmail@ajpo.sei.cmu.edu
  823.          Subject: directory asis
  824.  
  825.       To get any of the various files, e.g.,
  826.       /public/asis/v1.1.1/asis_1.1.1.asc.ps,
  827.       address your e-mail as:
  828.  
  829.          To: ftpmail@ajpo.sei.cmu.edu
  830.          Subject: file-request asis/v1.1.1/asis_1.1.1.asc.ps
  831.  
  832.       The filename pattern may include the "*" wildcard.
  833.  
  834.       Files have been compressed into .zip files.  On Unix hosts, you
  835.       can uncompress with unzip, and under DOS with PKUNZIP (at least
  836.       version 2.04).
  837.  
  838.       The files currently available for v1.1.1 include:
  839.  
  840.       asis_1.1.1.changes.zip    - listing of changes made by v1.1.1 to
  841.                                   v1.1.0
  842.  
  843.       asis_1.1.1.changes.ps.zip - Postscript version of the .changes
  844.                                   file
  845.  
  846.       asis_1.1.1.ada.zip        - full interface, includes all
  847.                                   Annexes, in a form suitable for
  848.                                   compilation with an Ada 83 compiler
  849.  
  850.       asis_1.1.1.asc.zip        - full interface listing, includes all
  851.                                   Annexes, line-numbered, 7-bit ASCII,
  852.                                   369 pages
  853.  
  854.       asis_1.1.1.asc.ps.zip     - Postscript version of the .asc file
  855.  
  856.       asis_1.1.1.index.zip      - line-number/function-name
  857.                                   cross-index for interface, 7-bit
  858.                                   ASCII
  859.  
  860.       asis_1.1.1.index.ps.zip   - Postscript version of the .index
  861.                                   file
  862.  
  863.       asis_1.1.1.decom.zip      - just the Data Decomposition Annex
  864.                                   interface
  865.  
  866.       asis_1.1.1.decom.ps.zip   - Postscript version of the .decom
  867.                                   file
  868.  
  869.       asis_1.1.1.bnf.ps.zip     - "ASIS/LRM Crossreference", Ada 83
  870.                                   LRM BNF notation correlated with
  871.                                   ASIS interfaces (Postscript)
  872.  
  873.       asis_1.1.1.imp.ps.zip     - "ASIS: Detailed Semantics and
  874.                                   Implementatation Requirements",
  875.                                   additional discussion of the ASIS
  876.                                   interface semantics, implementation
  877.                                   considerations, and requirements,
  878.                                   should be read by application
  879.                                   programmers as well (PostScript)
  880.  
  881. 29) Are there any free, public-domain, or other general-access software
  882.     repositories that contain Ada source code and information on reuse?
  883.  
  884.       There are a number of them, among them AdaNet and the Public Ada
  885.       Library.
  886.  
  887.       Public Ada Library (formerly Ada Software Repository):
  888.  
  889.       Formerly the Ada Software Repository (ASR), the Public Ada
  890.       Library (PAL) is a collection of programs, components, tools,
  891.       general information, and educational materials; taking up more
  892.       than 100 megabytes, it contains the source code for
  893.       approximately 355 distinct items as documented in its Master
  894.       Index.  Previously housed on the SIMTEL20 host computer, it is
  895.       now located at Washington University at St. Louis's host
  896.       (wuarchive.wustl.edu -- which had been a mirror site for the
  897.       ASR).  The PAL is available for anonymous ftp.
  898.  
  899.       The PAL has its own FAQ, a copy of which is stored on the AJPO
  900.       host (ajpo.sei.cmu.edu, in directory public/comp-lang-ada, file
  901.       name public-ada-library).  It is also available on rtfm.mit.edu,
  902.       which stores FAQ files posted to news.answers.
  903.  
  904.       AdaNet:
  905.       (from mprice@rbse.Mountain.Net (Margie Price))
  906.  
  907.       AdaNET is a component of the Repository Based Software
  908.       Engineering (RBSE) Program sponsored by NASA's Technology
  909.       Utilization Division.  It is a public-domain reuse library
  910.       containing value-added software from ASR (PAL), STARS, JPL, many
  911.       educational institutions, and various other sources.  Our
  912.       non-software information includes relevant research papers,
  913.       standards, and technical reports.
  914.  
  915.       AdaNET also distributes components on floppy disks.  All of its
  916.       services are free of charge.
  917.  
  918.       For more information, contact AdaNET Client Service at
  919.       1-800/444-1458 or lacey@rbse.mountain.net.
  920.  
  921. ====================================end=======================================
  922.