Ada : a professional course

著者

    • Gauthier, Michel

書誌事項

Ada : a professional course

Michel Gauthier

(Macmillan computer science series)

Macmillan, 1993

タイトル別名

ADA - un apprentissage

統一タイトル

ADA - un apprentissage

大学図書館所蔵 件 / 3

この図書・雑誌をさがす

注記

Bibliography: p. 454

Translation of: ADA - un apprentissage

内容説明・目次

内容説明

This title is intended to appeal to those programmers who, for professional reasons, need to acquire an in-depth knowledge of how to program effectively in Ada. The reader is assumed to have a reasonable knowledge of how to program in a Pascal-like language and design basic algorithms. Throughout the text, Michel Gauthier demonstrates how, in contrast to many other languages, Ada provides a complete programming environment. Once the reader has appreciated the extent of the facilities offered by the language, he or she can begin to exploit the advantages of its powerful range of features. In addition to providing a comprehensive coverage of the language, the author also gives indications of further refinements brought by the introduction of the Ada 9x standard. From the outset, the advantages of program readability and re-usability are stressed, while the value of gaining a full knowledge of the language is underlined, since this enables its full power to be utilitzed in solving software engineering problems.

目次

  • Overview of the language
  • software components reuse
  • packages - private and limited types
  • exception handling
  • introduction to types
  • subprograms
  • introduction to genericity
  • scalar types, record types
  • statements, expressions
  • introduction to tasking
  • array types
  • other types
  • a component for the formal calculus
  • testing programs
  • commenting programs
  • proving programs
  • termination of programs
  • Ada and proofs
  • a component for filename matching
  • names and visibility
  • library organization
  • miscellaneous topics
  • more about genericity
  • more about exception handling
  • more about tasking
  • a component for a simple database
  • miscellaneous package specifications
  • possibly-raised exceptions
  • summary of style rules.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA26349046
  • ISBN
    • 033358001X
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 原本言語コード
    fre
  • 出版地
    Basingstoke
  • ページ数/冊数
    xviii, 459 p.
  • 大きさ
    24 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ