home *** CD-ROM | disk | FTP | other *** search
Text File | 1988-05-03 | 85.8 KB | 1,615 lines |
- This file contains abstracts of many
- of the Ada textbooks listed in the file
- TEXT-BIB.HLP.
- (Ada IC point of contact: Sue O'Neill)
- * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
-
- A Programmer's View of the Intel 432 System
-
- Author,Affiliation
- Elliott I. Organick, U. of Utah
-
- Published by:
- McGraw-Hill Book Co.
- 1221 Ave. of Americas
- New York, NY 10020
- Publication date : 1983
-
- ISBN: 0-07-047719-1
- Library of Congress: QA76.8.I267073
- Number of pages: 418
- The principle theme in this book is the effective implementation of the
- concepts of multiprocessing, object-based design, and object filing systems as
- exhibited by the 1432. This book provides the user with a new dimension for
- expressive power and productivity for both system software and applications
- programs, and at new levels of simplicity and efficiency. Some of the areas
- discussed include: structure and use of Ada packages and tasks; hardware and
- system software support for interprocess communication and for process (task)
- dispatching and scheduling; architectural and Ada language support for object
- structures; emphasizing type management and access control; the supporting
- operating system iMAX; several of its important "user-interfaces"; the
- importance of input-output peripheral sub-systems and their relationship with
- the central object-based architecture of 1432; and iMAX provided
- implementations of process management, memory management, and object filing;
- and user interfaces to these facilities. This book contains three sets of
- appendices providing lists of 1432-based literature references; a group of
- compiled Ada program units comprising versions of an investment management
- system; and user interfaces to iMAX that help confirm and expand understanding
- of the functionality, scope, and flexibility of iMAX.
- Ada - An Introduction, 2nd Edition
-
- Author,Affiliation
- Henry Ledgard, Human Factors Ltd.
-
- Published by:
- Springer-Verlag
- P.O. Box 2485
- Secaucus, NJ 07094
- Publication date : 1983
-
- ISBN: 0-387-90814-5
- Paperback cost : $14.95
- The primary subject areas include introductory programming.
-
- Written just one month after the DoD language was revised; concentrates on the
- numerous changes in standards, incorporating much of the material from the
- reference.
- Ada Applications and Environments
-
- Author,Affiliation
-
- Published by:
- IEEE Computer Society Press
- Publication date : 10/84
-
- ISBN: 0-8186-0590-1
- Library of Congress: 84-81844
- Number of pages: 165
- Paperback cost : $32
- The primary subject areas include problem solving principles. Other
- application area(s) include Applications Research and Development
-
- This is a conference proceedings on research and development related to the Ada
- language and environments. It covers topics on methodologies, run-time models,
- environments, tools, distributed implementations, applications, use,
- validation, and educational issues.
- Ada for Experienced Programmers
-
- Author,Affiliation
- A. Nico Habermann, Carnegie-Mellon University
- Dewayne E. Perry, Pegasus Sys & Carnegie-Mellon
-
- Published by:
- Addison-Wesley Publishing Co.
- Reading, MA 01867
- Publication date : 1983
-
- ISBN: 0-201-11481-X
- Library of Congress: 82-20757
- Paperback cost : $20.95
- The primary subject areas include software engineering.
-
- The goal of this book is a presentation of the major features of the Ada
- programming language and their relevance to software engineering. Since
- concepts such as data abstraction, exception handling and concurrency are of
- fundamental importance to the design and maintenance of software systems, we
- will explain in detail how Ada's facilities support such concepts. We do this
- by discussing a series of non-trivial example programs that exhibit the typical
- use of the relevant language constructs. The examples are chosen on the basis
- of their suitability in illustrating specific language features. Software
- engineering issues are taken into account, but are not the primary motivation
- for selecting the particular examples. Our goal is achieved if the examples
- demonstrate to what extent the Ada language supports good programming style in
- software engineering. This book is written for experienced programmers who,
- when learning a new language, must often choose between using an introductory
- text and using a reference manual. Either choice is unsuitable, because an
- introductory text contains too much explanation, ignoring a programmer's
- knowledge and experience, whereas a reference manual contains too little
- explanation, aiming at a complete and concise description of the language
- syntax and semantics. This book supplies a need between these two extremes. On
- the one hand, unlike an introductory text, it exploits the reader's general
- knowledge of programming techniques. On the other hand, unlike a reference
- manual, it explains the significance of the language features by detailed
- discussions and apt examples.
- Ada for Multi-Microprocessor
-
- Author,Affiliation
- Mike Tedd, SPL Int'l & U College of Wales
- Stefano Crespi-Reghizzi, Politecnico di Milano
- Antonio Natali, University of Bologna
-
- Published by:
- Cambridge University Press
-
- ISBN: 30103-3
- Hardcover cost : $29.95
- The primary subject areas include software engineering.
-
- This book examines how the Ada language can be used for distributed systems.
- It discusses how to construct and run an Ada program for a variable target
- configuration of several microcomputers, interconnected through shared
- memories, multi-access busses, local area networks, or end-to-end lines. The
- book recognizes that the Ada language and current Ada Programming Support
- Environments (APSEs) do not address distributed targets, and therefore
- considers different approaches for coping with distribution without changing
- the language or unduly restricting how it is used. The approach found most
- natural requires the designer to cluster tightly coupled Ada tasks into
- "virtual nodes." The authors examine the implications of this approach in
- detail and study further implications concerning use of the multi-
- microprocessor approach to achieve reliability and extensibility.
- Ada for Programmers
-
- Author,Affiliation
- Eric W. Olsen, U. of Ca. at Irvine
- Stephen B. Whitehall, U. of Ca. at Irvine
-
- Published by:
- Reston Pub. Co.
- 11480 Sunset Hills Road
- Reston, VA 22090
-
- ISBN: 0835901491
- Number of pages: 310
- Hardcover cost : $20.95
- The primary subject areas include advanced programming and introductory
- programming.
-
- The Reference Manual for Ada Programming Language (LRM) is not intended for use
- by anyone not already familiar with the Ada language. This book presents an
- overview of the Ada programming language. The Ada topics covered in this book
- are predefined types and operations, expressions, object declarations, basic
- Ada statements, subprograms, packages, user-defined types, derived types, real
- types, array types, record types and access types, operator overloading,
- overloading enumeration literals, generics, tasking, exceptions, program
- structure and separate compilation.
- Ada for Specification: Possibilities and
- Limitations
-
- Author,Affiliation
- S. J. Goldsack, Imperial College of Sci & Tec
-
- Published by:
- Cambridge University Press
- Publication date : 5/85
-
- ISBN: 30853-4
- Number of pages: 220
- Hardcover cost : $24.95
- The primary subject areas include advanced programming and introductory
- programming.
-
- This book examines the use of the Ada programming language in the specification
- stage of a software development project, placing emphasis throughout on the
- issues involved in specification and the generation of ideas for software tools
- for use in an Ada environment. It begins with a discussion of the role and
- purpose of specification in a large-scale software project, describing the
- features that a specification language should have and assessing the Ada
- language as a candidate. The use of the Ada language as a program design
- language and in system modelling is then examined, together with a number of
- other specification languages. Conversion of a specification into a program and
- tools for handling specifications are then considered, before the findings are
- summarized and conclusions drawn. An appendix describes an Ada-related
- specification language, adapted to general engineering systems. The book is
- based on a study for the Commission of the European Communities, completed in
- July 1984. It will interest all who are engaged in research into the properties
- and use of specification languages and the design of tools for support of
- formal approaches to programming.
- Ada Language System Textbook
-
- Author,Affiliation
- Elaine Primack, SofTech, Inc.
-
- Published by:
- SofTech, Inc.
- The Ada Language System, or ALS is a comprehensive, integrated programming
- environment designed to aid in the development and maintenance of Ada programs.
- Its extensible tool set, a VAX Ada compiler and a symbolic debugger, provides
- an open-ended environment. Configuration control is provided through a variety
- of features, including protected access to files and records of how objects are
- created. Each chapter includes exercises to provide practical knowledge of the
- tools.
- Ada Primer
-
- Author,Affiliation
- CENTACS/CECOM, U.S. Army
-
- Published by:
- CENTACS/CECOM
- Paperback cost : $26.50
- The primary subject areas include introductory programming and problem solving
- principles.
-
- Government personnel may order this document from the Defense Tactical
- Information Center (DTIC). Industry may order this document from National
- Technical Information Service (NTIS). The order number for both DTIC and NTIS
- is AD A148 855. The Ada Primer leads the novice through the fundamentals of Ada
- by addressing the "Pascal subset" of Ada. NTIS COST: Paper Copy: $26.50;
- Microfiche: $4.50 each.
- The Ada Programming Language
-
- Author,Affiliation
- Sabina H. Saib, General Research Corp.
- Robert E. Fritz, SAI Comsystems
-
- Published by:
- IEEE Computer Society Press
- Publication date : 1983
- Library of Congress: 82-84689
- Paperback cost : $30.00
- The primary subject areas include advanced programming, introductory
- programming, software engineering and problem solving principles. Other
- application area(s) include large bibliography real-time, embedded systems
-
- An historical as well as current status discussion of the Ada language is
- given. Topics covered include: design methodology, Ada environments,
- implementations and real-time programming. In addition, applications,
- criticisms, and influences of the Ada language are presented.
- Ada Programming with Applications
-
- Author, Affiliation
- Eugen N. Vasilescu
-
- Published by:
- Allyn and Bacon, Inc.
- 7 Wells Avenue
- Newton, MA 02167
-
-
- Price: $24.00
-
- ADA PROGRAMMING WITH APPLICATIONS shows how to implement Ada for
- business applications. This self-contained introduction presents the syntax
- of Ada in step-by-step fashion. Ultimately, this book will enable you to :
-
- - Grasp the complexities of a strongly typed language and explore
- its advantages for efficient and reliable implementation of
- packages.
-
- - Obtain practical hands-on experience in designing Ada packages for
- business use.
-
- - Gain a solid understanding of such advanced concepts as data
- application, concurrency, and modularity.
-
- The syntax of Ada is introduced in measured doses, and the presentation of
- complete Ada programs is emphasized.
-
- Ada: A Programmer's Conversion Course
-
- Author,Affiliation
- Michael J. Stratford-Collins
-
- Published by:
- John Wiley & Sons, Inc.
- 605 Third Avenue
- New York, NY 10158
- Publication date : 1982
-
- ISBN: 0470-273321
- Number of pages: 192
- Hardcover cost : $48.95
- The primary subject areas include advanced programming and software
- engineering.
-
- This book is aimed at providing the professional programmer with an easy means
- to learn the basics of the Ada language. It therefore assumes that the reader
- has knowledge of at least one other high-level programming language. It is not
- intended to be a primer on programming, not a reference manual for every nook
- and cranny of the language. It concentrates instead on those features which
- will be used most often by most programmers. The first five chapters are
- designed to cover the basic language elements which are common to most modern
- procedural languages. Chapter 1 is an introduction, chapter 2 is concerned with
- control over program flow, chapters 3 and 4 with data types and data structures
- and chapter 5 with procedures and functions. Chapters 6,7,8 and 9 cover the
- package concept, the generic concept, support for exception handling and
- language constructs for tasking support, respectively. Chapter 10 is devoted
- to a discussion of the issues of program structure, and name scope and
- visibility, and the book closes with a chapter covering the Input and Output
- facilities provided by the Ada language. For reference purposes, Appendix A
- provides a syntax definition of the language while Appendix B contains a list
- of Ada language reserved words.
- Ada: An Advanced Introduction
-
- Author,Affiliation
- Narain Gehani, Bell Laboratories
-
- Published by:
- Prentice-Hall
- 200 Old Tappan Road
- Old Tappan, NJ 07675
- Publication date : 1983
-
- ISBN: 0-13-003962-4
- Library of Congress: QA76.73.A35643
- Number of pages: 352
- Paperback cost : 21.95
- The primary subject areas include advanced programming and problem solving
- principles.
-
- This book is written especially for readers who have a good knowledge of at
- least one procedural language such as Pascal, C, PL/1, Algol 60, Simula 67,
- Algol 68 or FORTRAN. The book focuses primarily on the novel aspects of the Ada
- language, which are illustrated by many fairly difficult and concrete examples
- written out in full. Interesting differences between the Ada language and other
- programming languages are commented upon. The example programs are developed
- using stepwise refinement to assist the reader in understanding their design
- and development. The first chapter is an introduction to the feature of the Ada
- language that are rather common, such as those found in programming languages
- like Pascal, C, PL/1 or FORTRAN. Elaborate details about each feature are not
- provided. The remaining chapters focus on the novel aspects of the Ada
- language, devoting a chapter to each of the following topics: treatment of
- types, packages, concurrency or tasking, exception handling generic facilities,
- program structure and separate compilation, and representation clauses and
- implementation dependent features.
- Ada: An Advanced Introduction Including the LRM
-
- Author,Affiliation
- Narain Gehani, Bell Laboratories
-
- Published by:
- Prentice-Hall
- 200 Old Tappan Road
- Old Tappan, NJ 07675
- Publication date : 1984
-
- ISBN: 0-13-003997-7
- Number of pages: 672
- Hardcover cost : 29.95
- The primary subject areas include advanced programming.
-
- Written for readers with a knowledge of at least one programming language
- (Pascal, C, PL/1, Algol, FORTRAN, etc.), this volume focuses primarily on the
- novel aspects of the Ada language - data encapsulation, concurrency, generic
- facilities, exception handling and others. The ANSI standard the Ada langugage
- is used in the book. All programs have been tested on the NYU Ada Compiler.
- Interesting differences between the Ada language and other programming
- languages are noted. Stepwise refinement is used to develop programs so that
- the reader can easily understand design and development.
- Ada: An Introduction
-
- Author,Affiliation
- Sabina H. Saib, Thomson-CSF, Inc.
-
- Published by:
- Holt, Rinehart and Winston
- Publication date : 1985
- Library of Congress: 84-27987
- Number of pages: 350
- Hardcover cost : $25.95
- The primary subject areas include advanced programming, introductory
- programming, software engineering and problem solving principles.
-
- This introductory Ada text assumes some background and familiarity with
- computers but not with the Ada language itself. Central to this text are many
- examples and problems. An introductory class may omit the later chapters on
- more advanced programming techniques while an intermediate programmer may skim
- the first chapters.
- Ada: Concurrent Programming
-
- Author,Affiliation
- Narain Gehani, Bell Laboratories
-
- Published by:
- Prentice-Hall
- 200 Old Tappan Road
- Old Tappan, NJ 07675
- Publication date : 1984
-
- ISBN: 0-13-004011-8
- Number of pages: 272
- Paperback cost : $24.95
- The primary subject areas include advanced programming.
-
- Written especially for persons with a knowledge of a high level sequential
- programming language such as C, Pascal, PL/1, FORTRAN, or Algol 60. Gehani
- explains the concurrent programming facilities in the Ada language and shows
- how to use them effectively in writing concurrent programs.
- Ada: Language, Compilers, and Bibliography
-
- Author,Affiliation
- M.W. Rogers, CEC IT Task Force, Brussels
-
- Published by:
- Cambridge University Press
- 32 East 57th Street
- New York, NY 10022
- Publication date : 08/84
-
- ISBN: 0-521-26464-2
- Library of Congress: 84-7688
- Hardcover cost : $17.95
- The primary subject areas include advanced programming and software
- engineering.
-
- This book provides essential reference material for those involved in the
- application of software engineering concepts using the Ada language. It
- consists of three components: 1) The reference manual for the Ada programming
- language (ANSI/MIL-STD-1815A-1983) 2) Guidelines for Ada compiler specification
- and selection. This Guide has been produced by a number of leading experts
- involved in implementing Ada compilers. It lists the characteristics of an
- implementation that should be taken into account in the specification or
- selection of an Ada compiler. 3) A selective bibliography for the Ada
- langugage. This well-structured bibliography lists the principle works on the
- Ada language, covering all aspects from the history and evolution of the
- language to the latest thinking on the many features combined for the first
- time in the Ada language. This is a reference volume that should never be far
- from the workbench of the serious software engineer or programmer using the Ada
- language.
- Advanced Ada
-
- Author,Affiliation
- CENTACS/CECOM, U.S. Army
-
- Published by:
- CENTACS/CECOM
- Paperback cost : $26.50
- The primary subject areas include advanced programming and problem solving
- principles.
-
- Government personnel may order this document from the Defense Tactical
- Information Center (DTIC). Industry may order this document from the National
- Technical Information Service (NTIS). The order number for both DTIC and NTIS
- is AD A146257. Advanced Ada discusses data structures and algorithms, data
- abstraction and information hiding. It is assumed the reader is familiar with
- all the concepts covered in the Ada Primer. NTIS COST: Paper Copy: $26.50;
- Microfiche: $4.50 each.
- An Attribute Grammar for the Semantic Analysis of
- Ada
-
- Author,Affiliation
- J. Uhl
- S. Drossopoulou
- G. Persch
-
- Published by:
- Springer-Verlag
- P.O. Box 2485
- Secaucus, NJ 07094
- Publication date : 6/82
-
- ISBN: 3-540-11571-4
- Paperback cost : $23.10
- Attribute grammars are an established tool for the formal specification of the
- semantics of a programming language and also the specification of the
- language's compiler. This book contains an attribute grammar specifying the
- static semantics of the Ada language, together with an explanatory
- introduction. This attribute grammar completely describes the semantics of the
- Ada language, as published in July 1980. Part A of this volume describes the
- development of the AG. It contains a survey of the tasks of semantic analysis
- within a front-end, the use of attribute grammars for the specification of
- static semantics and semantic analysis, and the procedure for writing the AG.
- Part B is a rationale for the AG: the three main tasks of semantic analysis are
- described, the main attributes are introduced, their use, their dependencies
- and their types are outlined.
- An Introduction to Ada
-
- Author,Affiliation
- Stephen Young, U. of Manchester, UK
-
- Published by:
- John Wiley & Sons, Inc.
- 605 Third Avenue
- New York, NY 10158
- Publication date : 1983
-
- ISBN: 0-470-27551-0
- Number of pages: 320
- Hardcover cost : 29.95
- The primary subject areas include advanced programming, introductory
- programming and problem solving principles.
-
- This book is aimed at students and experienced programmers. It provides a
- complete introduction to programming in the Ada language. All Ada language
- features are carefully explained and wherever possible illustrated by examples.
- A key feature of the book is the inclusion of an extended example at the end of
- each chapter. These are intended to give further clarification of the points
- covered in that chapter, but more importantly they are used to illustrate how
- programs should be designed in the Ada language. In particular, strong emphasis
- is placed on the use of the package in supporting data abstraction. Finally,
- exercises are provided with each chapter, and solutions to a selection of these
- are given at the end of the book.
- Beginning Programming with Ada
-
- Author,Affiliation
- James A. Saxon
- Robert E. Fritz
-
- Published by:
- Prentice-Hall
- 11480 Sunset Hills Road
- Reston, VA 22090
- Publication date : 1983
-
- ISBN: 0-13-071688
- Number of pages: 240
- Paperback cost : $16.95
- The primary subject areas include introductory programming.
-
- Audience: students or individuals with little or no programming experience.
- Material: elements of programming and the Ada programming language, including
- such concepts as data types, control statements, etc. Remarks: heavy emphasis
- on fundamentals of programming make it suitable for someone who has never
- programmed before.
- Comparing & Assessing Programming Languages (Ada,
- C, Pascal)
-
- Author,Affiliation
- Alan Feuer, Catalytix Corporation
- Narain Gehani, A.T.&T., Bell Labs.
-
- Published by:
- Prentice-Hall
- Englewood Cliffs, NJ 07631
- Publication date : 1984
-
- ISBN: 0-13-154857-3
- Number of pages: 264
- Hardcover cost : $24.95 Paperback cost : $16.95
- Comparing and Assessing Programming Languages, edited by Alan Feuer and Narain
- Gehani, contains over fifteen articles by leading experts in software
- performance and evaluation. The contributors explore the plusses and minuses of
- three popular languages: the Ada language, C, and Pascal. The exploration
- contains reviews of languages' features, performance characteristics, security
- and reliability measures, judgements of suitability for commercial and other
- applications, and much more. The judgements and evaluations needed to select a
- programming language are complex, and the procedures for performing the
- evaluations are typically ill-defined. An outstanding feature of Comparing and
- Assessing Programming Languages is that it provides a methodology which you can
- use to evaluate any language.
- Concurrent Programming in Ada
-
- Author,Affiliation
- A. Burns, University of Bradford
-
- Published by:
- Cambridge University Press
- Publication date : 05/85
-
- ISBN: 3033-9
- Hardcover cost : $29.50
- The primary subject areas include advanced programming.
-
- A main design specification for the Ada programming language was that it should
- contain the features necessary for concurrent programming. This book introduces
- the topic of concurrency and shows how the Ada language deals with it. The need
- to produce software that models inherent parallelism is important in many
- applications, including real-time systems, process, and general purpose
- multi-processor system software. Although for many other applications of the
- Ada language, knowledge of the Tasking Model is not necessary, the full power
- of the language can only really be obtained if this model is understood.
- Developing Large Software Systems Using Ada
-
- Author,Affiliation
- Sommerville/Morrison, U Strathclyde/U St. Andrews
-
- Published by:
- Addison-Wesley Publishing Co.
- Jacob Way, Reading, MA 01867
- Publication date : 9/85
-
- ISBN: 14227
- Number of pages: 400
- Paperback cost : $23.95
- The primary subject areas include software engineering.
-
- The Ada language is becoming the standard language for developing and
- implementing large software systems. This book shows how the language can be
- best used in this context, by establishing a set of programming principles to
- be used in large system development, and showing how the Ada language fits in
- with these principles. The authors begin by setting the Ada language in its
- historical context and in the overall context of the software life cycle. They
- go on to examine aspects of programming environments and the techniques of
- software design, including object-oriented design and formal notations for
- software specifications. The electronic mail system is used for design examples
- throughout the book. Later chapters deal with the effective use of Ada types,
- program development, parallel, and real time programming, the problems of I/O
- programming, and programming for portability.
- Diana: An Intermediate Language for Ada
-
- Author,Affiliation
- G. Goos
- J. Hartmanis
-
- Published by:
- Springer-Verlag
- Publication date : 1983
-
- ISBN: 3-540-12695-3
- DIANA is an acronym for Descriptive Intermediate Attributed Notation for Ada.
- Diana describes the form of an intermediate language intended to be used as an
- internal form of Ada programs. Typically, this is the result of lexical,
- syntactical, and static semantic analysis, but before any actual dynamic
- semantic analysis, code optimization, or code generation. Diana has already
- been effectively used in Ada compiler environments (ROLM). This book is not an
- introductory text. It contains state-of-the-art information on Ada compiler
- design, and is intended for that audience.
- Fundamentals of Programming Languages, Second
- Edition
-
- Author,Affiliation
- Ellis Horowitz, U of Southern California
-
- Published by:
- Computer Science Press, Inc.
- Publication date : 9/83
-
- ISBN: 0-88175-004-2
- Library of Congress: 83-15369
- Number of pages: 446
- Hardcover cost : $29.95
- This excellent new book takes a fundamentally different point of view from
- traditional books on programming languages. The best way to study and
- understand today's programming languages is by focusing on a few essential
- concepts. These concepts form the outline for this book and include such
- topics as variables, expressions, statements, typing scope, procedures, data
- types, exception handling, and concurrency. By understanding what these
- concepts are and how they are realized in different programming languages, one
- arrives at a level of comprehension far greater than one gets by writing some
- programs in a few languages. Moreover, knowledge of these concepts provides a
- framework for understanding future language designs. Numerous examples from The
- Ada language, Pascal, LISP, and other programming languages are included. This
- book is a fascinating study of the complexities of programming languages.
- Handbook of Software Engineering
-
- Author,Affiliation
- Charles R. Vick
- C.V. Ramamoorthy
-
- Published by:
- Van Nostrand Rienhold Co.
- 135 West 50th Street
- New York, NY 10020
-
- ISBN: 26251-2
- Number of pages: 768
- Hardcover cost : $62.50
- The Handbook examines recent trends and the most up-to-date technology in the
- field. It explains innovative strategies for hardware/software tradeoffs to
- help you apply new advances in computer technology that reduce costs and
- increase performance and reliability. Ready-to-use performance measures and
- fault tolerance techniques ensure that you get the most out of your system.
- Formal verification procedures show you how to determine if various program
- components operate consistently for all combinations of data. Fully discussed
- are major developments in the area of data base management systems, such as,
- data base models, data base languages, access methods, data base design, and
- future trends. Practical guidance includes: graph modeling and analysis,
- methods of expressing algorithms, concurrency control in distributed data base
- management systems, modeling and analysis of concurrent systems using Petri
- nets, choosing a computer language, and functional and applicative programming.
- Software management issues, such as software costing, the definition of
- products in each phase of the development process, and the tools available to
- speed and control the process are also covered.
- Introduction to Ada
-
- Author,Affiliation
- David Price
-
- Published by:
- Prentice-Hall
- 200 Old Tappan Road
- Old Tappan, NJ 07675
- Publication date : 1984
-
- ISBN: 013-477653-4
- Hardcover cost : $22.95
- The primary subject areas include introductory programming.
-
- An introductory guide to the Ada programming language, appropriate for readers
- with all levels of programming experience. The text's tutorial structure starts
- with essential concepts and proceeds logically to more advanced features. All
- concepts are explained in clear, understandable terms. Extensive examples
- - sample programs and program fragments - illustrate the Ada language usage.
- Uses the most recent definition of the Ada language (1982 Department of Defense
- Standard).
- Introduction To Programming Ada
-
- Author,Affiliation
- Sabina Saib, General Research Corp.
-
- Published by:
- CBS Educational & Professional
- Publication date : Feb 85
-
- ISBN: 0-03-059487-1
- Library of Congress: 8427987
- Number of pages: 400
- The primary subject areas include introductory programming and problem solving
- principles.
-
- Based on the 1983 ANSI standard, this introductory text provides complete
- coverage of the modern Ada programming language. Presently being developed by
- academic, industrial, and government groups for a wide variety of computers
- using a spiral approach, this book builds from elementary concepts to the most
- advanced forms. With this approach instructors have the option of omitting
- final sections. Written as a tutorial rather than a manual, the text is
- accessible and fully illustrated. General discussions are balanced by a wealth
- of fully debugged, error-free examples and numerous practice exercises.
- Invitation to Ada & Ada Reference Manual
-
- Author,Affiliation
- Harry Katzan, Katzan International
-
- Published by:
- Petrocelli Books, Inc.
- Publication date : 7/82
-
- ISBN: 089433-132-9
- Library of Congress: 82-3686
- Number of pages: 429
- Hardcover cost : $32.95
- The primary subject areas include advanced programming, introductory
- programming, software engineering and problem solving principles.
-
- This book is an invitation to scientists, engineers, analysts, and students to
- learn the Ada language. In the introductory section of the book the emphasis is
- on classical programming and encourages the development of programming style
- and good programming practices. In addition the complete Ada Reference Manual
- prepared for the Department of Defense is included.
- Invitation to Ada Condensed Edition
-
- Author,Affiliation
- Harry Katzan Jr., Katzan International
-
- Published by:
- Petrocelli Books, Inc.
- Publication date : 1984
-
- ISBN: 089433-239-2
- Library of Congress: 83-26968
- Number of pages: 173
- Paperback cost : $14.95
- The primary subject areas include advanced programming and introductory
- programming.
-
- The audience for this book is persons who will eventually program in the Ada
- language including scientists, engineers, analysts, and students. Moreover, the
- reader need not be conversant in Pascal, Algol, PL/1 or any other high-level
- programming language to use this book effectively. Certainly a basic knowledge
- of computers is needed, but that's it. Invitation to Ada emphasizes classical
- programming and leaves many of the esoteric features in the Ada language for
- advanced books on the subject.
- Life Cycle Support in the Ada Environment
-
- Author,Affiliation
- John McDermid, Systems Designers Ltd
- Knut Ripken, TECSI - Software
-
- Published by:
- Cambridge University Press
- 32 East 57th Street
- New York, NY 10022
- Publication date : Mar 84
-
- ISBN: 0-521-26042-6
- Library of Congress: 83-18911
- Hardcover cost : $24.95
- The primary subject areas include software engineering.
-
- This book represents a first attempt at an integrated Ada Programming Support
- Environment (APSE) based on coherent methods covering all stages of the
- Software Life-Cycle. The environment supports programmers, software engineers,
- and their managers with harmoniously cooperating tool sets. The system was
- designed by System Designer Ltd., and TECSI-Software with the support of the
- Commission of the European Communities. It presents a detailed life-cycle
- model, discusses a management philosophy compatible with that model, and gives
- an experimental assessment of individual methods.
- Methods and Tools for Compiler Construction
-
- Author,Affiliation
- B. Lorho, Universite d'Orleans
-
- Published by:
- Cambridge University Press
- Publication date : 8/84
-
- ISBN: 26843-5
- Hardcover cost : $49.50
- This book presents an introduction to compiler construction, emphasizing
- specific areas where significant improvements have been made recently:
- Attribute grammar, compilation from semantic definitions, code generation and
- optimization, and Ada compiling. It examines the state of the art in compiler
- construction and discusses new perspectives in automatic compiler systems
- (meta-compilers). A case study concerning Ada compilation is included. It
- discusses Ada specification problems, modular compilation of the Ada code, the
- codification of Ada compilers, and aid systems. The book itself consists of
- sixteen papers presented at an advanced course sponsored by the Commission of
- the European Communities and the Institut National de Recherche en Informatique
- et en Automatique. The course was held in Rocquencourt in December, 1983. Two
- of the papers refer directly to Ada: J. Teller, "Production Quality Ada
- Compilers" and J.C. Heliard, "Compiling Ada."
- Parallel Programming in ANSI Standard Ada
-
- Author,Affiliation
- George W. Cherry, George Washington University
-
- Published by:
- Prentice-Hall
- P.O. Box 2037
- Reston, Va 22090
- Publication date : Mar 84
-
- ISBN: 0-8359-5434-X
- Library of Congress: QA76.6.C444 1984
- Hardcover cost : $21.95
- The primary subject areas include advanced programming, introductory
- programming, software engineering and problem solving principles.
-
- The book treats parallel independent processes (identical and nonidentical),
- parallel communicating processes, parallel sorting (including an O(n) pipeline
- sort), parallel linear search, parallel root finding, and other parallel
- algorithms, process pipelining, single-slot and multi-slot buffers (including
- pipeline buffers) and their use, resolving structure clashes by means of task
- pipelines, object (flow) graphs, Petri net representations of processes and
- process communications, exception handling in parallel programs, and other
- topics (such as the semantics of rendezvous, selective waiting, and task
- types). The book illustrates parallel concepts through case studies, complete
- programs, and many exercises with complete answers.
- Portability and Style in Ada
-
- Author,Affiliation
- John Nissen, GEC Telecommunications
- Peter Wallis, University of Bath
-
- Published by:
- Cambridge University Press
- 32 East 57th Street
- New York, NY 10022
- Publication date : Mar 84
-
- ISBN: 0-521-26482-0
- Library of Congress: 83-26237
- Hardcover cost : $24.95
- The primary subject areas include advanced programming.
-
- This book contains two guides, one on the portability of Ada programs and one
- on Ada programming style. The guides are the result of work by the Ada-Europe
- Portability Working Group and represent the combined expertise of some of the
- leading authorities on the Ada language. In the design of the Ada language,
- comprises were made between portability and freedom of the compiler
- implementor; also there are features in the Ada language that allow the
- programmer access to machine representations. The portability guide discusses
- the necessary restrictions on the use of the Ada language so that truly
- portable programs can be written. Although the Ada language is a significant
- step forward in the encouragement of good programming practice, it is a large
- language, and so guidance is needed on how best to use the many features. The
- style guide is concerned with how the Ada language should be used to contribute
- towards legibility, maintainability, and correctness of programs. To facilitate
- use of the guides, the chapters and section numbers corresponds to those in the
- Reference Manual for the Ada Programming Language (ANSI/MIL-STD 1815A, 1983).
- Principles of Programming Languages
-
- Author,Affiliation
- R. D. Tennent
-
- Published by:
- Prentice-Hall
- Publication date : 1981
-
- ISBN: 0-13-709873-1
- The primary subject areas include advanced programming.
-
- "This book is a systematic exposition of the fundamental concepts and general
- principles underlying programming languages in current use."
- Problem Solving Principles for Ada Programmers:
- Appl. Logic, Psychology, & Grit
-
- Author,Affiliation
- William E. Lewis, IBM Corp.
-
- Published by:
- Hayden Book Company, Inc.
- 50 Essex St. (Dept. #CD 82
- Rochelle Park, NJ 07662
- Publication date : 1982
-
- ISBN: 081045211-1
- Number of pages: 183
- Hardcover cost : $9.95
- The primary subject areas include problem solving principles.
-
- This text is based upon the Reference Manual for the Ada Programming Language
- (Proposed Standard Document) that was printed by the United States Department
- of Defense in July 1980. Its aim is to provide a problem-solving background and
- alternative solution paths from among which the reader may choose. Chapter 1
- introduces the basic building blocks of problem solving and provides some
- insights into the psychological influences involved. Chapter 2 consists of a
- set of independent "prescriptions" in problem solving. Chapter 3 consists of a
- set of advanced "prescriptions" in problem solving to augment the basic
- prescriptions in Chapter 2, Chapter 4 presents approaches for attacking more
- complicated problems for which the prescriptions of Chapter 2 and 3 may not
- provide an appropriate panacea. The concept of top-down programming is the main
- theme. A programming problem using the top-down approach is illustrated in six
- different programming languages. A second and more complex problem is also
- analyzed. Chapter 5 applies many of the problem-solving techniques discussed in
- previous chapters for the purpose of eliminating errors, or debugging a
- program. A set of debugging prescriptions is presented in the fashion of
- chapters 2 and 3. The programming examples are given in the Ada language but
- the terminology should be clear even to those without a detailed knowledge of
- this language.
- Problem Solving With Ada
-
- Author,Affiliation
- Brian Mayoh, Aarhus U. Denmark
-
- Published by:
- John Wiley & Sons, Inc.
- 605 Third Avenue
- New York, NY 10158
-
- ISBN: 0471-886920
- Number of pages: 240
- Hardcover cost : $17.90
- The primary subject areas include problem solving principles.
-
- Chapter one of this book looks at how one can specify problems precisely and
- introduces the divide-and-conquer approach to problem solving. Chapter two
- describes the notions of algorithms, variables and parameters and tells how to
- convert algorithms into Ada programs and run them on a computer. Chapter three
- discusses several powerful ways of combining solutions of small problems into
- solutions of large problems: choice, repetition, recursion, exceptions and
- parallelism. Chapter four presents several useful environments to illustrate
- the slogan "Careful design of environments is the key to solving large problems
- in Ada." Chapter five explains the Ada type mechanism for finding conceptual
- errors in problem solutions. Chapter six contains various ways of structuring
- data. Chapter seven illustrates the Ada concepts of generic problem solutions
- by treating the important practical problem of sorting and searching. Chapter
- eight contains a history of computer revolution and a discussion of the real
- dangers that accompany this revolution.
- Program Verification Using Ada
-
- Author,Affiliation
- Andrew McGettrick, University of Strathclyde
-
- Published by:
- Cambridge University Press
- 32 East 57th Street
- New York,NY 10022
- Publication date : Aug 82
-
- ISBN: 0-521 24215-0
- Library of Congress: 81-12276
- Hardcover cost : $39.50 Paperback cost : $17.50
- The primary subject areas include advanced programming.
-
- This book discusses all the important facets of program verification and guides
- the reader to a full knowledge and appreciation of its benefits. It uses the
- new Ada programming language, adopted by the U.S. Department of Defense as the
- language of choice, to express programs and support other discussions. All the
- aspects of the Ada language necessary to understand program verification are
- introduced as they are needed. The topic has recently gained in importance
- because of the increasing sophistication of software and the growing dependence
- on computers.
- Programming Concepts with the Ada Language
-
- Author,Affiliation
- Roy S. Freedman, Hazeltine Corp. & Polytechnic
-
- Published by:
- Petrocelli Books, Inc.
- Research Park, 251 Wall Street
- Princeton, NJ 08540
- Publication date : 1982
-
- ISBN: 0-89433-190-6
- Library of Congress: QA76.73A35F73
- Number of pages: 162
- Paperback cost : $12.00
- The primary subject areas include introductory programming.
-
- This book is meant to help the reader understand the concepts discussed in the
- Ada Language Reference Manual and in the more formal literature on the Ada
- language. An overview of the language is presented in Chapter 1. Chapter 2
- discusses Ada programming (control) structures. Ada data structures are
- discussed in Chapter 3; Chapter 4 discusses the Ada task mechanism. Finally,
- Chapter 5 shows how the Ada language may be used as a program design language
- for the specification of complex systems.
- Programming Embedded Systems With Ada
-
- Author,Affiliation
- V.A. Downes, Imperial College
- S.J. Goldsack, Imperial College
-
- Published by:
- Prentice-Hall
- 200 Old Tappen Road
- Old Tappen, NJ 07675
-
- ISBN: 0-13-730010-7
- Number of pages: 400
- Paperback cost : $30
- The primary subject areas include introductory programming.
-
- This book is not intended for the beginning Ada language programmer. This is a
- book on how to use the Ada language in the embedded systems environment for
- which the Ada language was intended. The examples in this book were tested
- using the NYU compiler, and a full listing of a hospital patient monitoring
- system is given in the last chapter back of the book. The book centers on the
- monitor system as the main example. Some of the topics covered in this book are
- special problems of embedded systems, Ada language solutions to the problems of
- software building for large scale embedded systems, modelling the problem
- domain, building data structures and low level and real time features.
- Programming in Ada
-
- Author,Affiliation
- Richard Wiener, U. of Colorado, Colorado Sp.
- Richard Sincovec, Western Software Development
-
- Published by:
- John Wiley & Sons, Inc.
- 605 Third Ave
- New York, NY 10158
- Publication date : 1983
-
- ISBN: 0-471-87089-7
- Number of pages: 345
- Hardcover cost : $25.95
- The primary subject areas include advanced programming.
-
- The book's organization is straight-forward and logical. The first eight
- chapters deal with the basic control and data structures associated with the
- Ada language. This material is easily accessible to anyone with a knowledge of
- another high-level language. The second part of the book (chapters 9-16) is
- devoted to the powerful and advanced features that set the Ada language apart
- from other programming languages. Concepts associated with advanced programming
- and large-scale development and maintenance of software are discussed in
- detail. Convenient summaries at the end of each chapter reinforce the subject
- matter. The authors make extensive use of applications programs in data
- structures, numerical analysis, and algorithm design to support their
- explanations of Ada constructs and features. As new Ada language features are
- presented, some programs that were introduced earlier in the text are updated
- to demonstrate how these new features improve program design. All examples
- reflect proper programming style, and most of the programs have been checked
- and run to ensure their validity.
- Programming in ADA (2nd Edition)
-
- Author,Affiliation
- J G P Barnes, SPL International The Charter
-
- Published by:
- Addison-Wesley Publishing Co.
- Reading, MA 01867 also,
- 53 Bedford Square, London
- Publication date : Aug 83
-
- ISBN: 0201 13799-2
- Paperback cost : $19.95
- The primary subject areas include advanced programming.
-
- This book is an overall description of programming in the Ada language. It is
- assumed that the reader will have a significant knowledge of programming in
- some high level language. A knowledge of Pascal would be helpful but is not
- strictly necessary. Most sections contain exercises. Solutions to all the
- exercises will be found at the end of the book. Various appendices are provided
- in order to make the book reasonably self-contained; they are mostly based upon
- material drawn from the Language Reference Manual.
- Programming in Ada: A First Course
-
- Author,Affiliation
- Robert G. Clark, University of Stirling
-
- Published by:
- Cambridge University Press
- Publication date : 04/85
-
- ISBN: paper 27675-6
- Hardcover cost : $39.50 Paperback cost : $17.95
- The primary subject areas include introductory programming.
-
- This introduction to the Ada programming language requires little or no
- previous experience in programming. It shows how solutions can be used in the
- construction of reliable, large programs. The author concentrates on central
- features such as data types, subprograms, packages, separate compilation,
- exceptions, and files. In addition, he provides a large number of complete
- programs, all of which have been tested using both the University of York and
- the Data General/ROLM Ada compilers. The final version of the Ada language
- (ANSI/MIL-STD-1815A-1983) is used throughout the book.
- The Programming Languages: Pascal, Modula, CHILL
- and Ada
-
- Author,Affiliation
- C.H. Smedema, The Philips Group of Companies
- P. Medema, The Philips Group of Companies
- M. Boasson, The Philips Group of Companies
-
- Published by:
- Prentice-Hall
- Publication date : 07/83
-
- ISBN: 13/729796/4
- Library of Congress: QA 76.7.S6 983 001.64 24 83 - 10929
- Paperback cost : $16.95
- The primary subject areas include introductory programming.
-
- This book gives an informal introduction into the most important
- characteristics of Pascal, Modula, CHILL and the Ada language. The languages
- are discussed in historical order, one language per chapter and an introductory
- chapter. For every language chapter, the first section discusses briefly the
- history, application area, standardization aspects and future prospects.
- Wherever appropriate, corresponding facilities in the languages are mentioned.
- The various language facilities are introduced through many examples.
- Additionally, this book gives an introduction into concepts like modules and
- abstract data types, concurrency and generics.
- Programming Languages: A Grand Tour, Second
- Edition
-
- Author,Affiliation
- Ellis Horowitz, U of Southern California
-
- Published by:
- Computer Science Press, Inc.
- Publication date : 7/84
-
- ISBN: 0-88175-073-5
- Library of Congress: 84-14214
- Number of pages: 758
- Hardcover cost : $39.95
- This comprehensive anthology presents a twenty-year overview of programming
- languages and contains an organized collection of articles and language
- reference manuals for students of programming languages and professional
- computer scientists. Beginning with a history of programming languages, the
- book chronicles the appearance of each new language and its contributions, and
- emphasizes the difficulty of successful language design. It includes
- significant papers on the ALGOL family of languages, applicative programming
- languages, data abstraction languages, Ada (the new language developed by the
- U.S. Department of Defense), and languages with concurrency features. This new
- edition now includes the February 1983 edition of the Reference Manual for the
- Ada Programming Language, as well as complete language reference manuals for
- ALGOL60, ALGOL-W, LISP 1.5, MODULA, and C.
- Programming with APSE Software Tools
-
- Author,Affiliation
- Roy S. Freedman, Hazeltine Corp. & Polytechnic
-
- Published by:
- Petrocelli Books, Inc.
- Research Park, 251 Wall Street
- Princeton, NJ 08540
- Publication date : 5/85
-
- ISBN: 089433-220-1
- Number of pages: 253
- Hardcover cost : $27.50
- The primary subject areas include software engineering.
-
- The book is divided into five sections, concerning (i) the general (Stoneman)
- requirements associated with an APSE, (ii) the control and invocation of APSE
- resources, (iii) the management of APSE databases, (iv) APSE runtime support
- for incomplete and distributed Ada programs, and (v) APSE support for Ada
- software portability. The book is presented from the viewpoint of an APSE user.
- Each of the 21 chapters conclude with an annotated set of references and a few
- exercises for the reader.
- Real-Time Ada
-
- Author,Affiliation
- CENTACS/CECOM, U.S. Army
-
- Published by:
- CENTACS/CECOM
- Paperback cost : $13.00
- The primary subject areas include advanced programming and problem solving
- principles.
-
- Government personnel may order this document from the Defense Tactical
- Information Center (DTIC). Industry must order this document from National
- Technical Information Service (NTIS). The order number for both DTIC and NTIS
- is AD A146258. Real-Time Ada introduces concurrent programming concepts and
- provides exercises and solutions on selected topics in real-time systems. NTIS
- COST: Paper Copy: $13.00; Microfiche: $4.50 each.
- Reference Manual For The Ada Programming Language
-
- Author,Affiliation
- Jean D. Ichbiah, Head of the Ada Design Team
-
- Published by:
- Castle House Publ. Ltd.
- Turnbridge Wells, England
- Publication date : 4/83
-
- ISBN: 0-7194-0097-X
- Number of pages: 456
- The primary subject areas include advanced programming and introductory
- programming.
-
- The Manual describes the real-time Ada programming language, designed in
- accordance with the United States Department of Defense requirements for use in
- embedded systems. Such applications typically involve real-time constraints,
- fail-safe execution, control of non-standard input-output devices and
- management of concurrent activities. The Ada language is intended as a common
- high order programming language and has the mechanisms for distributing large
- libraries of application programs, packages, utilities and software development
- and maintenance tools. Machine and operating system independence is therefore
- emphasized throughout its design.
- Software Engineering with Ada
-
- Author,Affiliation
- Grady Booch, Rational
-
- Published by:
- Benjamin / Cummings Company
- 2727 Sand Hill Road
- Menlo Park, CA 94025
- Publication date : Feb 83
-
- ISBN: 0-8053-0600-5
- Library of Congress: QA76.73a35B66
- Paperback cost : $19.95
- The primary subject areas include introductory programming and software
- engineering.
-
- "Software Engineering with Ada" has been written to satisfy the following three
- specific goals: (1) To provide an intensive study of Ada language features, (2)
- To motivate and give examples of good Ada design and programming style, (3) To
- introduce an object-oriented design methodology that exploits the power of the
- Ada language, and in addition, helps us manage the complexity of large software
- solutions. The text serves as a complete Ada language reference that is
- appropriate for both the programmer who wishes to create Ada systems and the
- manager who needs to understand how to apply this powerful tool.
- Software Engineering With Modula-2 and Ada
-
- Author,Affiliation
- Richard Wiener, U. of Colorado
- Richard Sincovec, U. of Colorado
-
- Published by:
- John Wiley & Sons, Inc.
- 605 Third Avenue
- New York, NY 10158
- Publication date : 2/84
-
- ISBN: 0-471-89014-6
- Number of pages: 480
- Paperback cost : $24.90
- The primary subject areas include software engineering.
-
- This is a book on Modern Software Engineering. The book is designed to be used
- by undergraduate students in computer science as well as practicing computer
- science and software development professionals. Object-oriented design and
- modular software construction are emphasized. The practical state-of-the-art
- approach emphasizes application rather than theory and the "Modular Design
- Chart" supports users' efforts at practical design.
- Software Engineering, 2/e
-
- Author,Affiliation
- Ian Sommerville, University of Strathclyde
-
- Published by:
- Addison-Wesley Publishing Co.
- Jacob Way
- Reading, MA 01867
- Publication date : 5/85
-
- ISBN: 14229
- Number of pages: 320
- Paperback cost : $23.95
- The primary subject areas include software engineering.
-
- Software Engineering, 2/e gives a wide and detailed coverage of the essential
- disciplines of software engineering, beginning with the concept of the software
- life-cycle and exploring techniques of definition, specification and design,
- implementation in programming, testing, documentation, the user interface and
- management. Both technical and human aspects are examined, and emphasis is
- placed on producing software that is reliable, understandable and maintainable.
- Software Specification Techniques
-
- Author,Affiliation
- Narain Gehani, AT&T Bell
- Andrew McGettrick, U of Strathclyde
-
- Published by:
- Addison-Wesley Publishing Co.
- Jacob Way
- Reading, MA 01867
- Publication date : 5/85
-
- ISBN: 14230
- Number of pages: 600
- Paperback cost : $34.95
- The primary subject areas include software engineering.
-
- This volume, edited by Narain Gehani and Andrew McGettrick, brings together for
- the first time key papers published by the world's leading authorities on
- Software Specification. These range from general principles to a variety of
- formal techniques, illustrating the experience gained in using these techniques
- and the automatic generation of prototype systems from the specifications. The
- book is organized into four sections: Requirements and Techniques; Particular
- Approaches; Case Studies; and Specification Systems. Each section begins with
- an introduction which sets each contribution in its context and provides
- continuity between the sections.
- Studies in Ada Style
-
- Author,Affiliation
- Peter Hibbard, Carnegie-Mellon University
- Andy Hisgen, Carnegie-Mellon University
- Jonathan Rosenberg, Carnegie-Mellon University
- Mary Shaw, Carnegie-Mellon University
- Mark Sherman, Carnegie-Mellon University
-
- Published by:
- Springer-Verlag
- 175 Fifth Ave
- New York, NY 10010
- Publication date : Jan 83
-
- ISBN: 0-387-90816-1
- Library of Congress: QA76.73.A35S88
- Paperback cost : $12.50
- The primary subject areas include advanced programming.
-
- This monograph discusses how the Ada programming language provides ways to
- support and exploit abstraction techniques, a key in controlling complexity in
- modern programming. The monograph traces the important ideas of modern
- programming languages to their roots in the languages of the past decade and
- shows how modern languages, such as the Ada language, respond to contemporary
- problems in software development. Five problems are presented to be programmed
- using the Ada language. For each problem, a complete Ada program is given,
- followed by a discussion of how the Ada language affected various design
- decisions. (Problems include queues, directed graphs, teletype drivers, symbol
- tables and partial differential equation solvers).
- Systems Design With Ada
-
- Author,Affiliation
- R.J.A. Buhr
-
- Published by:
- Prentice-Hall
- Publication date : 1984
-
- ISBN: 0-13-881623-9
- Hardcover cost : $21.95
- The primary subject areas include advanced programming.
-
- Audience: inexperienced to moderately experienced system designers, with or
- without some knowledge of the Ada language and/or Pascal. Material: system
- design concepts,methodologies and representations implementing the technique of
- object-oriented structured design. Remarks: uses graphical representations to
- link intuition formalism. This advanced text attempts to teach software system
- design, modularity and structure in an Ada programming environment. Many
- graphic examples are used to illustrate key points.
- The Ada Programming Language (2nd Edition)
-
- Author,Affiliation
- I.C. Pyle, University of York
-
- Published by:
- Prentice-Hall
- Publication date : Mar 85
- Number of pages: 336
- Paperback cost : $23.95
- The primary subject areas include advanced programming and software
- engineering.
-
- Since its initial introduction, the Ada programming language has undergone
- major revisions. There is now an accepted ANSI standard. All the modifications
- under the language's new standard are charted in this completely updated 2nd
- edition of Ian Pyle's classic text on the Ada language - its facilities and
- features, new Ada programming concepts such as exceptions, packages and
- parallel programming, and its capabilities for those whose working environment
- will be changed by its implementation. Many examples of the Ada language are
- given - particularly in real-time computer systems - to emphasize its features.
- Extensive appendices are also provided which highlight the Ada language
- features for Pascal, FORTRAN, and CORAL 66 programmers with expertise in both
- real-time and non-embedded computer systems. A complete new set of syntax
- diagrams to guide the programmer through the intricacies of the Ada language
- are included, together with a wealth of end-of-chapter exercises.
- Towards a Formal Description of Ada
-
- Author,Affiliation
- D. Bjorner, Technical U. of Denmark
- O.N. Oest, Dansk Datamatik Ctr.
-
- Published by:
- Springer-Verlag
- P.O. Box 2485
- Secaucus, NJ 07094
-
- ISBN: 3-540-10283-3
- Number of pages: 630
- Hardcover cost : $29.00
- This book consists of five papers. The first paper outlines the specific
- development methods used in a large scale, full Ada compiler and run-time
- system development project. The basis for the compiler is two fold: first a
- formal denotational and abstract semantics specification of the Ada language,
- including tasking; then an abstract compiling algorithm derived from the
- dynamic semantics specification from Ada code into A-code. The second paper
- covers the denotational semantics-like method for defining the statically
- decidable context conditions that Ada programs must satisfy. The third paper
- gives a formal denotational dynamic semantics definition of sequential parts of
- the Ada language. It describes the "meaning" of Ada constructs by
- state-to-state transformations on an abstract machine. The fourth paper tackles
- and solves the problem of modelling all the Ada tasking semantics as abstractly
- as possible and of embedding its parallel meta-process model in an otherwise
- denotational model of sequential Ada. The fifth paper formally defines a
- virtual machine. The design of the instruction set and state components of the
- machine is based on a semantic analysis of the basic concepts of the Ada
- language. The result is a high-level machine especially suited to run Ada
- programs.
- Tutorial on Software Design Techniques (4th
- Edition)
-
- Author,Affiliation
- Peter Freeman, U. of CA, Irvine
- Anthony I. Wasserman, U. of CA, San Francisco
-
- Published by:
- IEEE Computer Society Press
- Publication date : 1983
-
- ISBN: 0-8186-0514-6
- Library of Congress: 83-81873
- Number of pages: 719
- Paperback cost : $36.00
- A compilation of reprinted papers and original material. This book is intended
- for both beginning and experienced designers, analysts, and managers needing a
- broad introduction to software engineering methods. The focus throughout is on
- the leading edge of practical software technology, with a few papers selected
- to show important research developments that are likely to affect practice
- within the next few years.
- Tutorial on Software Maintenance
-
- Author,Affiliation
- Girish Parikh, Shetal Enterprises
- Nicholas Zvegintzov, Consultant in S/w Maintenance
-
- Published by:
- IEEE Computer Society Press
- 1109 Spring Street
- Silver Spring, MD 20910
- Publication date : Apr 83
-
- ISBN: 0-8186-0002-0
- Library of Congress: 82-83405
- Number of pages: 357
- Paperback cost : $32.00
- The primary subject areas include problem solving principles.
-
- A compilation of original material and reprinted papers. This tutorial explores
- maintenance in six parts. Part I, "The world of software maintenance" explores
- empirical and observational data on maintenance activity. Part II,
- "Understanding software", deals with techniques for designing or reconstructing
- the development framework from an operation system. Parts III, IV, V and VI,
- respectively are on the modification of software, the evolution of software,
- the death of software, and the management of software maintenance. IEEE
- (Institute of Electrical and Electronics Engineers)
- Tutorial: Software Configuration Management
-
- Author,Affiliation
- William Bryan, CTEC, Inc.
- Christopher Chadbourne, CTEC, Inc.
- Stan Siegel, CTEC, Inc.
-
- Published by:
- IEEE Computer Society Press
- Publication date : 1980
-
- ISBN: 0-8186-0309-7
- Library of Congress: 80-83084
- Number of pages: 452
- Paperback cost : $25
- The primary subject areas include problem solving principles. Other
- application area(s) include Product Assurance and Software Configuration
- Management.
-
- A compilation of reprinted papers and original material, this tutorial focuses
- on attaining a high-quality software product through an approach based on the
- "stitch in time saves nine" adage. The spotlight of the tutorial is on the
- product assurance discipline of software configuration management.
- Tutorial: Software Cost Estimating and Life-Cycle
- Control: Getting the Software
-
- Author,Affiliation
- Lawrence H. Putnam, Quantitative Software Mgt.
-
- Published by:
- IEEE Computer Society Press
- Publication date : 1980
-
- ISBN: 0-8186-0314-3
- Library of Congress: 80-83083
- Number of pages: 349
- Paperback cost : $25.00
- Other application area(s) include Life-Cycle Issues, Cost Estimating, and
- Software.
-
- A compilation of reprinted papers and original material. This tutorial is
- designed for engineers at the MS level or business management analysts at the
- MBA level. It reviews the nature of the cycle, explaining its characteristics
- and emphasizing the dominant influence of the independent variable of time.
- Presenting a quantitative methodology of cost estimating, the tutorial
- discusses economics, trade-off opportunities, and investment strategies in a
- description of the managerial practices necessary for effective planning and
- control of software development.
- Tutorial: Software Design Strategies (2nd
- Edition)
-
- Author,Affiliation
- Glenn D. Bergland, Bell Laboratories
- Ronald D. Gordon, Bell Laboratories
-
- Published by:
- IEEE Computer Society Press
- Publication date : 1981
-
- ISBN: 0-8186-0389-5
- Library of Congress: 81-84179
- Number of pages: 479
- Paperback cost : $30
- The primary subject areas include problem solving principles.
-
- A compilation of reprinted papers and original material. This tutorial text
- clarifies and focuses on aspects of software design that have a direct effect
- on the structure of the final program. Because the structure of the program
- itself is the single most important determinant of the life cycle cost of a
- software project, a major portion of the tutorial is devoted to methods of
- structured program design.
- Tutorial: Software Management (2nd Edition)
-
- Author,Affiliation
- Donald J. Reifer, TRW Systems
-
- Published by:
- IEEE Computer Society Press
- Publication date : 1981
-
- ISBN: 0-8186-0396-8
- Library of Congress: 81-85492
- Number of pages: 502
- Paperback cost : $30
- The primary subject areas include problem solving principles.
-
- A compilation of reprinted papers and original material. This tutorial provides
- both beginning and experienced managers with the materials they need to develop
- a thorough understanding of the basic theories, tools, techniques, and skills
- of software management. It encompasses the five basic functions of management:
- planning, organizing, staffing, directing, and controlling.
- Tutorial: Software Development Environments
-
- Author,Affiliation
- Anthony I. Wasserman, U. of California
-
- Published by:
- IEEE Computer Society Press
- Publication date : 1981
-
- ISBN: 0-8186-0385-2
- Library of Congress: 81-84365
- Number of pages: 476
- Paperback cost : $30
- The primary subject areas include problem solving principles.
-
- A compilation of reprinted papers and original material. This book was created
- mainly as background material for professional development seminars on
- systematic software construction and on development environments.
- Understanding Ada
-
- Author,Affiliation
- Ken Shumate, Hughes Aircraft Company
-
- Published by:
- Harper & Row. Publishers, Inc.
- 10 East 53rd Street
- New York, NY 10022
- Publication date : Mar 84
-
- ISBN: Q-06-046133-0
- Paperback cost : $18.95
- The primary subject areas include introductory programming.
-
- The objective of this book is to provide a basic understanding of major Ada
- language features. It is intended to be a first book on the Ada language.
- "Understanding Ada" provides a simple introduction to the Ada language by first
- presenting the Pascal-like parts of the Ada language, then discussing
- improvements to Pascal, and finally introducing Ada's advanced features for
- encapsulation, error handling, and concurrent processing. Virtually the entire
- language is presented, however, the discussion is at an introductory level and
- avoids complex issues and subtle interactions. The material and style of
- presentation are based on Ada seminars taught by the author since 1981. The
- manuscript has been used both for Ada overview and for hands-on programming
- courses. The book is suitable for programmers beginning their study of the Ada
- language, or for technical managers who wish to understand major language
- issues. Each chapter contains an exercise for the reader. The exercises are
- intended to be easy. Each exercise is followed immediately by a solution and a
- discussion of the solution that addresses issues raised by the exercise. Each
- of the solutions is presented as a complete Ada program. The programs have
- been compiled and executed on government validated versions of the NYU
- ANSI-Ada/Ed translator and the ROLM/Data General Ada compiler.