Ada Archive -- Textbooks database

Abstract: This book is divided into two parts-- Ada: An Introduction and Ada Reference Manual. The first part is an introduction to Ada; this introduction does not describe the complete language, especially some of its advanced features. The contents are arranged into twelve chapters, each with several sections: 1- Five Examples, 2- Describing Data, 3- Describing Components, 4- Subprograms, 5- Packages, 6- General Program Structutre, 7-Types Revisited, 8- Input and Output, 9- Parallel Processing, 10- Exception Conditions, 11- Utilizing the Implementation, and 12- Summary. The second part is a reprint of the Ada Reference Manual; this document describes the complete language as issued in November 1980.

Author: Ledgard, H.

Publisher: Springer Verlag

Reference Number: ISBN: 0-387-90568-5; Library of Congress: 81-4670

Publication Date: 1/81

Ada Language Course

Abstract: This document, originally published as three volumes in November 1980, is a self-paced tutorial by distinguished authors in the origins of Ada. The following topics are covered: opportunity of a new language; a simple program; types; classical programming access, derived and numeric types; program structure; tasking; system dependent programming; exceptions; generics; input/output.

Author: Ichbiah, Jean, John Barnes, and Robert Firth

Publisher: ALSYS

Publication Date: 11/80

Ada Language Course

Author: Ichbiah, Jean, John Barnes, and Robert Firth

Publisher: Alsys

Publication Date: 11/80

Ada: An Introduction to Program Design and Coding

Abstract: This book is a thorough description of the Ada programming language from the perspective of potential users. A variety of subtle issues and fine points of Ada are dealt with in simple examples, which illustrate their use without introducing the often complex and conflicting considerations required in their initial design. This book is a complete and easily readable description of the Ada language illustrated by a large, wide ranging collection of clear and useful annotated examples.

Author: Amoroso, S. and G. Ingargiola

Publisher: Pitman Publishing, Inc.

Reference Number: ISBN #: 0-273-01818-3; Library of Congress #: 84-1052

Publication Date: 1/85

Ada for Multi-Microprocessors

Abstract: This book deals with the ways in which Ada can be used for distributed systems. The main part of the book is devoted to the issue of how to construct and run an Ada program for a variable target configuration of several microcomputers, interconnected through shared memories, multi-access busses, local are networks or end-to-end lines. The contents are divided into ten chapters, most containing several sections: 1- Introduction, 2- Examples of Distributed Systems, 3- Requirements for the Programming Language and Tools, 4- Suitability of Ada and APSE, 5- Strategies for Developing Distributed Systems, 6- Detailed Consideration of the Construction System, 7- Implications for the APSE Toolset, 8- Reliability and Extensibility, 9- The MML Experience, and 10- Conclusions.

Author: Tedd, Mike, Stefano Crespi-Reghizzi, and Antonio Natali

Publisher: Cambridge University Press

Reference Number: ISBN: 0-521-301033

Sponsoring Organization: CEC

Publication Date: 1/84

Ada for Specification: Possibility and Limitations

Abstract: This book is rewritten version of a report, with the title, which was submitted to the Commission of the European Communities in July 1984, describing the work of a study groupon the use of Ada for specifying systems. The bulk of the book is intended to be read by people interested in the currently active area of research into the properties of specification languages and their use, and the toolsmiths, designers of tools for support of formal approaches to programming. Readers are expected to be fairly familiar with the Ada language; the approach is not tutorial and no attempt has been made to avoid use of references to parts of the Ada language which have not yet been discussed. The contents are arranged into eight sections, each with several subsections: 1- Introduction to Specification, 2- Specification Languages, 3- Ada as a Program Design Language, 4- System Models in Ada, 5- A Review of Specification Languages, 6- On the Conversion of a Specification to a Program, 7- Software Tools for Handling Specifications, and 8- Summary and Conclusions.

Author: Goldsack, S.J. (ed)

Publisher: Cambridge University Press

Reference Number: ISBN: 0-521-30853-4; Library of Congress: 85-47626

Sponsoring Organization: CEC

Publication Date: 1/85

Tutorial: Human Factors in Software Development

Abstract: In this tutorial, the editor has tired to present a spectrum of behavioral research on software development, with an emphasis on cognitive science issues. The contents are divided into eight parts, each with several titles: 1- Introduction ("Substantiating Programmer Variability"), 2- Cognitive Models of Programming Knowledge ("Syntactic/Semantic Interactions in Programmer Behavior: A Model and Experimental Results," "Toward a Theory of the Cognitive Processes in Computer Programming," "Knowledge Organization and Skill Differences in Computer Programmers," "When Novices Surpass Experts: The Difficulty of a Task May Increase with Expertise," "Empirical Studies of Programming Knowledge"), 3- Learning to Program ("The Black Box Inside the Glass Box: Presenting Computing Concepts to Novices," "Role of Representation in Learning a Computer Language," "Preprogramming Knowledge: A Major Source of Misconceptions in Novice Programmers," "Learning to Program in Lisp," "Learning a First Computer Language: Strategies for Making Sense"), 4- Problem Solving and Design ("Problem Solving Techniques for the Design of Algorithms," "The Role of Domain Experience in Software Design," "Clinical-Experimental Analysis of Design Problem Solving," "Problem Solving for Effective Systems Analysis: An Experimental Exploration," "Presentation and Representation in Design Problem-Solving," "Aspects of Solution Structure in Design Problem Solving," "An Empirical Investigation into Problem Decomposition Strategies Used in Program Design," "Prototyping Versus Specifying: A Multiproject Experiment"), 5- Specification Formats ("Flowcharts Versus Program Design Languages: An Experimental Comparison," "Comprehension as Affected by the Structure of the Problem Representation," "The Effects of Symbology and Spatial Arrangement on the Comprehension of Software Specifications," "Experimental Studies of Flowchart Use at Different Stages of Program Debugging," "Control Flow and Data Structure Documentation: Two Experiments," "When Do Diagrams Make Good Computer Languages?"), 6- Language Characteristics ("Natural Language Programming: Styles, Strategies, and Contrasts," "Psychology of Calculator Languages: A Framework for Describing Differences in Users' Knowledge," "An Experiment for the Evaluation of Language Features," "Structuring the Programmer's Task," "Modern Coding Practices and Programmer Performance," "Research on Structured Programming: An Empiricist's Evaluation," "Cognitive Strategies and Looping Constructs: An Empirical Study," "An Experimental Evaluation of Data Type Conversions," "Data Referencing: An Empirical Investigation," "Comprehension and Recall of Miniature Programs"), 7- Fault Diagnosis ("A Goal-Plan Analysis of Buggy Pascal Programs," "Novice Lisp Errors: Undetected Losses of Information form Working Memory," "Human Errors in Programming," "Some Psychological Evidence on How People Debug Computer Programs," "Program Slicing," "A Rule-Based Model of Human Problem Solving Performance in Fault Diagnosis Tasks," "An Empirical Study of a Syntactic Complexity Family," "A Controlled Experiment in Programming Testing and Code Walkthroughs/Inspections"), and 8- Methodology ("Studying Programmer Behavior Experimentally: The Problems of Proper Methodology," "The Psychological Study of Programming," "Goals and Performance in Computer Programming," "Measurement and Experimentation in Software Engineering").

Author: Curtis, Bill (ed)

Publisher: IEEE Computer Society Press

Reference Number: ISBN: 0-8186-0577-4; Library of Congress: 85-60603

Sponsoring Organization: IEEE, Inc.

Publication Date: 1/85

Introductory Ada: Packages for Programming

Abstract: This book is for introductory Ada programmers and covers a useful subset of the language in a manageable and non-threatening way. Knowledge of advanced mathematics or programming isn't necessary. Packages are introduced early, as are subprograms and procedures. Top-down design is emphasized throughout. This book will give you a strong foundation for more advanced work in Ada and the tools needed to become a seasoned programmer. It is divided into twelve chapters, each with several sections: 1- Packages and Their Use, 2- Subprograms, 3- Writing Programs, 4- Decision Making, 5- Integer Types, 6- Enumeration Types, 7- Floating-Point Types, 8- Array Types, 9- File I/O, 10- Unconstrained Array Types, 11- Record Types, and 12- Packages Revisited.

Author: Texel, Putnam P.

Publisher: Wadsworth Publishing Company

Reference Number: ISBN: 0-534-06348-9; Library of Congress: 85-29418

Publication Date: 1/86

A Review of Ada Tasking

Abstract: This book draws on available literature to present a comprehensive review of the Ada tasking model. Contents are arranged into nine chapters, each of which contains several sections: 1- Introduction, 2- The Ada Tasking Model, 3- Formal Aspects, 4- Concurrent Programming, 5- Embedded Systems, 6- Distributed Systems, 7- Implementation Issues, 8- Language Changes and Exceptions, and 9- Conclusion.

Author: Burns, Alan, Andrew M. Lister, and Andrew J. Wellings

Publisher: Springer-Verlag

Reference Number: ISBN: 0-387-18008-7; Series #: 262

Publication Date: 1/87

ANNA: A language for Annotating Ada Programs

Abstract: This book is the reference manual for ANNA, a language extension of Ada to include facilities for formally specifying the intended behavior of Ada programs. The contents are arranged into thirteen sections, each with several subsections: 1- The Basic ANNA Concepts, 2- Lexical Elements, 3- Annotations of Declarations ad Types, 4- Names and Expressions in Annotations, 5- Statement Annotations, 6- Annotation of Subprograms, 7- Package Notations, 8- Visibility Rules in Annotations, 9- Task Annotations, 10- Program structure, 11- Exception Annotations, 12- Annotation of Generic Units, and 13- Annotation of Implementation-Dependent Features.

Author: Luckham, D.C., et al.

Publisher: Springer-Verlag

Reference Number: ISBN: 0-387-17980-1; Series #: 260

Publication Date: 1/87

DIANA: An Intermediate Language for Ada

Abstract: This document describes DIANA, a Descriptive Intermediate Attributed Notation for Ada, being both an introduction and reference manual for it. The contents are organized into six sections, each with several subsections: 1- Introduction, 2- Definition of the DIANA Domain, 3- Rationale, 4- Definition of the DIANA Operations, 5- External Representation of DIANA, and 6- Implementation Options.

Author: Goos, G., W.A. Wulf, A. Evans, and K.J. Butler

Publisher: Springer-Verlag

Reference Number: ISBN: 0-387-12695-3; Series #: 161

Publication Date: 1/83

Towards a Formal Description of Ada

Abstract: The aim of this volume is to present the arguments, some of the experiments, and the thoughts that were part of the project whose result is also presented: namely (the construction of) a formal, basically denotational semantics definition of Ada. The contents are arranged into three parts, each containing several sections: PART 1- Compiler Development, PART 2- A Formal Definition of Ada, and PART 3- An Ada Computer.

Author: Bjorner, D. and O.N. Oest

Publisher: Springer-Verlag

Reference Number: ISBN: 0-387-10283-3; Series #: 98

Publication Date: 1/80

Portability and Style in Ada

Abstract: This book contains two guides: one on the portability of Ada programs and one on Ada programming style. The guides were the result of work by the Ada-Europe Portability Working Group and represent the combined expertise of Ada's leading authorities. Both guides have been designed to be read in conjunction with the Ada Language Reference Manual (ANSI / MIL STD 1815 A, 1983).

Author: Nissen, J. and P. Wallis (eds)

Publisher: Cambridge University Press

Reference Number: ISBN: 0 521 26482 0

Sponsoring Organization: CEC

Publication Date: 1/84

Tutorial: Programming Productivity: Issues for the Eighties

Abstract: This tutorial is intended for both managers and practitioners of programming system development who are interested in the topics of software productivity and quality.This tutorial attempts to describe the major issues that must be clearly understood in order to make reasonable progress towards improving future software productivity. The contents are divided into five sections, each with several titles: 1- Programming Measurements ("Measuring Programming Quality and Productivity," "Measuring Application Development Productivity," "A Review and Evaluation of Software Science," "A Method of Programming Measurement and Estimation," "Third Time Charm: Stronger Prediction of Programmer Performance by Software Complexity Metrics," "An Analysis of Errors and Their Causes in System Programs," "Evaluating Software Development by Error Analysis: The Data from the Architecture Research Facility," "Resource Models"), 2- Programming Life-Cycle Analysis ("Program Quality and Programmer Productivity," "The Cost of Developing Large-Scale Software," "On Understanding Laws, Evolution, and Conservation in the Large-Program Life-Cycle," "Analyzing Medium-Scale Software Development," "Life Cycle Phase Interrelationships"), 3- Programming Requirements and Design Methods ("A Survey of Programming Design and Specification Techniques," "Language Mechanisms: A Neurophysiologicak Perspective," "Software Representation and Composition Techniques," "Evaluation of a Software Requirements Document by Analysis of Change Data," "Information Systems: Modelling, Sequencing, and Transformations," "The Model," "The Efeects of Symbology and Spatial Arrangements on the Comprehension of Software Specifications," "Nassi-Schneiderman Charts: An Alternative to Flowcharts for Design," "GREENPRINT: A Graphic Representation of Structured Programs," "Galileo System Design Method"), 4- Programming Environments ("IBM's Santa Teresa Laboratory -- Architectural Design for Program Development," "Information Systems and Organizational Change," "A Glossary of Software Tools and Techniques," "A Survey of Software Engineering Practice: Tools, Methods, and Results"), and 5- The New Science of Software ("Reusablity in Programming: A Survey of the State of the Art," "The Limits of Programming Productivity," "The Systems Development Dilemma -- A Programming Perspective," "Software Cost and Productivity Improvements: An Analogical View," "The UNIX System and Software Reusability," "Experience with Traits in the Xerox Star Workstation," "Software-ICs," "The Draco Approach to Constructing Software from Reusable Components," "Prototyping Versus Specifying: A Multiproject Experiment," "Software Engineering with Reusable Designs and Code").

Author: Jones, Capers

Publisher: IEEE Computer Society Press

Reference Number: ISBN: 0-8186-0681-9; Library of Congress: 85-81332

Sponsoring Organization: IEEE, Inc.

Publication Date: 1/86

Programming in Ada

Abstract: This book presents an overall description of Ada in a tutorial style with numerous example and exercises. The book assumes the readers have some knowledge of the principles of programming. The contents are arranged into sixteen chapters, each consisting of several sections: 1- Introduction, 2- Ada Concepts, 3- Lexical Style, 4- Scalar Types, 5- Control Structures, 6- Composite Types, 7- Subprograms, 8- Overall Structure, 9- Private Types, 10- Exceptions, 11- Advanced Types, 12- Numeric Types, 13- Generics, 14- Tasking, 15- External Interfaces, and 16- Finale.

Author: Barnes, J.G.P.

Publisher: Addison-Wesley Publishing Company

Reference Number: ISBN: 0-201-17566-5; Library of Congress: 88-31878

Publication Date: 1/89

Scientific Ada

Abstract: This book deals with those aspects of the use of the Ada programming language that are relevant to the scientific computing community at large. The contents are divided into six parts, some containing several sections: PART 1: 1- The Rationale for Ada; PART 2: 2- Ada as General Scientific Language, 3- Ada and Fortran, 4- Pascal to Ada Conversion, 5- Ada and Other Scientific Languages: A Critique; PART 3: 6- Ada: Style and Recommendations; PART 4: 7- Ada: Numerics; PART 5: 8- Ada Packages, 9- Ada: Error Mechanisms, Exceptions and Generics; PART 6: 10- Guidelines for the Design of Large Modular Scientific Libraries in Ada.

Author: Ford, B., J. Kok, and M.W. Rogers

Publisher: Cambridge University Press

Reference Number: ISBN: 0-521-33258-3

Sponsoring Organization: CEC

Publication Date: 1/86

Selecting an Ada Environment

Abstract: This book is a guide for making choices with regard to Ada Programming Support Environments (APSEs). It provides lists of detailed questions to ask in all areas of APSE development. The contents are divided into six parts, each containing several sections: (section 1- Introduction), PART A- Host and Target Considerations (sections 2- Underlying Machine, 3- Target Machine), PART B- Kernel (sections 4- Database, Schema, and Typing, 5- Versions, Configurations, and History, 6- Security and Integrity, 7- Language Issues and Run-Time Support, 8- Interaction Between Programs), PART C- Aids for Tool Building (section 9- Meta-tools and Tool Components), PART D- Man-Machine Interaction (sections 10- Administrative Aspects, 11- The User Interface, 12- Help, Error, and Warning Messages), PART E- Tool Functions (sections 13- Office Automation Aspects, 14- Static Analysis, Compilation and the Program Library, 15- Testing, Debugging and Dynamic Analysis, 16- Project and Product Management, 17- Life Cycle Support), PART F- Other Issues (sections 18- Performance of the Environment, 19- Contractual Matters).

Author: Lyons, T.G. and J.C.D. Nissen

Publisher: Cambridge University Press

Reference Number: ISBN: 0-521-32594-3

Sponsoring Organization: CEC

Publication Date: 1/86

Tutorial on Software Design Techniques

Abstract: This book is designed to provide a broad introduction to software engineering methods. It focuses on the leading edge of practical software technology with a few selected papers to show important research developments that are likely to affect practice in the future. The contents are divided into nine parts, each containing several titles: 1- Introduction ("Fundementals of Design," "Software and Its Impact," "The Mythical Man-Month," "Information System Design Methodology," "Reusable Software Engineering"), 2- Analysis Techniques ("Requirements Analysis and Specification: The First Step, " "Structured Analysis for Requirements Definition," "Structured Analysis (SA): A Language for Communicating Ideas," "Data Design in Structured Systems Analysis," "An Approach for Involving the Users in the Specification of Information Systems," "Information Modeling in the Context of System Development"), 3- Specification Methods ("HIPO and Integrated Program Design," "Specifying Software Requirements for Complex Systems: New Techniques and Their Application," "Two Pairs of Examples in the Jackson Approach to System Development," "PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems," "An Extendable Approach to Computer-Aided Software Requirements Engineering," "Capturing More World Knowledge in the Requirements Specification"), 4- External Design ("The User Interface Design Process," "A Specification Method for Interactive Information Systems," "Client-Centered Design: Concepts and Experience," "Participative Systems Design: Structure and Method"), 5- Architectural Design Techniques: Process View ("On the Criteria to Be Used in Decomposing Systems into Modules," "Designing Software for the Ease of Extension and Contraction," "Programming-in-the-Large Versus Programming-in-the-Small," "Structured Design," "Concurrent Software System Design Supported by SARA at the Age of One," "Communicating Sequential Processes," "An Event-Based Design Methodology Supported by DREAM"), 6- Architectural Design Techniques: Data View ("Specification Techniques for Data Abstractions," "Specifications: Formal and Informal -- A Case Study," "Object-Oriented Design," "Conceptual Database Design," "An Integrated Approach to Logical Databse Design," "BASIS: A Behavioral Approach to the Specification of Information Systems"), 7- Detailed Design Techniques ("PDL -- A Tool for Software Design," "Ada Design Language for the Structured Design Methodology," "Nassi-Schneiderman Charts: An Alternative to Flowcharts for Design," "Constructive Methods of Program Design," "Program Development by Stepwise Refinement"), 8- Design Validation ("Toward Improved Review of Software Designs," "Design and Code Inspections to Reduce Errors in Program Development," "Evaluation Methods in SARA -- The Graph Model Simulator," "Putting Petri Nets to Work"), 9- Software Development Methodologies ("Ada Methodologies: Concepts and Requirements," "The Software Development System," "The Relationship Between Design and Verification," "The User Software Engineering Methodology: An Overview").

Author: Freeman, Peter and Anthony I. Wasserman

Publisher: IEEE Computer Society Press

Reference Number: ISBN: 0-8186-0514-6; Library of Congress: 83-81873

Sponsoring Organization: IEEE, Inc.

Publication Date: 1/83

Software Development Tools

Abstract: This book is aimed at standardizing software tools to eliminate the waste of valuable time and effort in programming. The tools listed in this book have been proven in various programming environments to be valuable and cost effective. The contents are organized into three parts, each with several sections: PART 1: The Introduction of Software Tools, PART 2- Features of Software Development Tools, PART 3- Software Development Tools.

Author: Andriole, Stephen J. (ed)

Publisher: Petrocelli Books, Inc.

Reference Number: ISBN: 0-89433-272-4; Library of Congress: 86-8477

Publication Date: 1/86

Computer-Aided Software Engineering (CASE)

Abstract: The goal of this document is to provide an overview of the current state and direction of Computer-Aided Software Engineering (CASE) and to identify its relationship to previous work in software development environments and automated tools. The papers included in this tutorial were selected from IEEE Computer Society publications and other sources to survey the breadth of CASE and to highlight related area for further exploration by the reader. The contents are arranged into six parts, each with several titles: 1- CASE Environments and Tools: Overview ("CASE: Reliability Engineering for Information Systems," "Lokking Beyond CASE," "The Future of UNIX in the CASE Renaissance"), 2- Evolution of Software Development Environment Concepts ("Software Development Environments," "The Ecology of Software Development Environments"), 3- Role of Data Storage and Browsing Technology in CASE ("Hypertext and CASE," "SODOS: A Software Documentation Support Environment -- Its Use"), 4- Role of Assistants and Expert System Technology in CASE ("Creating a Software-Engineering Knowledge Base," "ASPIS: A Knowlede-Based CASE Environment," "An Auromated Software Design Assistant," "Software Technology in the 1990's: Using a New Paradigm," "A Computer-Aided Prototyping System"), 5- Meta-Specification and the Generation of Environments ("The Metaview System for Many Specification Environments"), and 6- Issues of Evaluating Tools and Managing CASE ("What Productivity Increases to Expect from a CASE Environment: Results of a User Survey," "A Case Study of SREM," "How to Lose Productivity with Productivity Tools").

Author: Chikofsky, E. J. (ed)

Publisher: IEEE Computer Society Press

Reference Number: ISBN: 0-8186-1917-1; Library of Congress: 88-83295

Sponsoring Organization: IEEE, Inc.

Publication Date: 1/89

The Ada Programming Language: A Tutorial

Abstract: This Ada tutorial brings together many of the major early papers on the Ada programming language and its environment. It also contains a number of tutorial papers that describe several of the most important aspects of the language, notably those that apply to real-time embedded systems. Most of the papers in this volume use examples based on the July 1980 Language Reference Manual. With a few exceptions, the papers will remain valid for the 1982 Language Reference Manual. The contents are arranged into nine parts, each with several titles: 1- The History and Current Status of Ada ("The U.S. Department of Defense Common High Order Language Effort," "DoD's Common Programming Language Effort," "Ada: A Promising Beginning," "From Pascal to Pebbleman," "What is Ada?"), 2- The Ada Environment ("The Ada Programming Support Environment," "The Ada Environment: A Perspective," "Requirements for an Ada Programming Support Environment: Rationale for Stoneman," "Making Tools Transportable"), 3- Ada Implementations ("The NYU Ada Translator and Interpreter," "The Charrette Ada Compiler," "The Ada Language System," "Ada for the Intel 432 Microcomputer," "The Ada Compiler Validation Capability"), 4- Ada Design Methodology and Languages ("Ada as a Design Language," "Ada for Design: An Approach for Transitioning Industry Software Developers," "Modularity and Data Abstraction in Ada," "Solve Process-Control Problems with Ada's Special Capabilities," "An Ada Program Design Environment"), 5- Ada Overview ("An Overview of Ada," "A Self-Assessment Procedure Dealing with the Programming Language Ada," "Types," "Ada Packages," "The Use of Ada Packages," "Tutorial Material on the Real Data-Types in Ada"), 6- Real-Time Programming ("Low Level Language Features," "Evolving Toward Ada in Real-Time Systems," "Tutorial on Ada Tasking," "Tutorial on Ada Exceptions"), 7- Ada Applications ("Ada: The Latest Words in Process Control," "Ada Defines Reliability as a Basic Feature," "Subprograms and Types Boost Ada Versatility," "Ada's Knack for Multitasking Benefits Process Control," "Linked Ada Modules Shape Software Systems," "Ada and Software Development Support: A New Concept in Language Design"), 8- Criticism of Ada ("Flight Languages: Ada vs HAL/S," "Scaling Down Ada {Or Towards a Standard Ada Subset}," "The Emporer's Old Clothes," "Letter"), and 9- Influences on Ada ("Distributed Processes: A Concurrent Programming Concept," "Communicating Sequential Processes," "On the Criteria to be Used in Decomposing Systems into Modules").

Author: Saib, Sabina H. and Robert E. Fritz (eds)

Publisher: IEEE Computer Society Press

Reference Number: ISBN: 0-8186-0456-5; Library of Congress: 82-84689

Sponsoring Organization: IEEE, Inc.

Publication Date: 1/83

Tutorial: Software Quality Assurance - A Practical Approach

Abstract: This tutorial is intended for managers and engineers who are interested in understanding software quality and in familiarizing themselves with the latest advances in software quality assurance techniques. The tutorial provides the reader with a comprehensive view of software quality issues including the various components of a software quality assurance plan and how they are implemented. The contents are divided into eight parts, each with several titles: 1- Introduction ("An Analysis of Errors and Their Causes in System Programs"), 2- Software Quality: Definitions, Measurements, and Applications ("Measuring Programming Quality and Productivity," "A Framework for the Measurement of Software Quality," "System Perspective on Software Quality," "Are Current Approaches Sufficient for Measuring Software Quality?," "A Metric for Software Test Planning," "Software Reliability Measures Applied to System Engineering"), 3- Managerial Issues: Planning, Organization, and Control ("Controlling the Software Lifecycle -- The Project Management Task," "Organizing for Successful Software Development," "A Model for Estimating Program Size and Its Evaluation," "A Primer on Quality Circles," "Appendix: Putting Quality Circle Techniques to Work," "Auditing Software Development Projects: A Control Mechanism for the Digital Systems Development Methodology," "Project Implementation of Software Configuration Management"), 4- Managerial Issues: Standards, Practices, and Conventions ("Documentation," "Observation on Documentation Standards Revision: FIPS PUB 38 After Four Years," "Software Quality Assurance Implementation of a MIL-S-52779 Program," "A Standard for Software Quality Assurance Plans"), 5- Technical Issues: Requirements, Design, and Programming ("Pinpointing Requirements," "An Investigation of Requirements Specification Languages: Theory and Practice," "Structured Decomposition Diagram: A New Technique for System Analysis," "A Guided Tour of Program Design Methodologies," "Structured Programming," "What is Ada?"), 6- Tutorial: Static Analysis and Dynamic Testing of Computer Software," "Hints on Test Data Selection: Help for the Practicing Programmer," "Experience woith Automated Testing Analysis," "Design and Code Inspections to Reduce Errors in Program Development," "Life-Cycle Software Validation," "Validation, Verification, and Testing of Computer Software"), 7- Software Tools ("A Glossary of Software Tools and Techniques," "Software Quality and Assurance Tools: Recent Expert and Future Requirements," "The Automated Measurement of Software Quality," "Conspectus of Software Engineering Environments," "PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems," "The Programmer's Workbench -- A Machine for Software Development," "Development Support Systems," "The Ada Environment: A Perspective"), and 8- Implementation of Software Quality Assurance Programs ("Assuring Quality Quality Assurance," "Implementation of Software Engineering Standards," "Developing a Software Quality Assurance Program Based on the IEEE Standard 730-1981," "Some Practical Experience with a Software Quality Assurance Program," "Applied Quality Assurance Methodology," "Quality Control of Computer Software").

Author: Chow, Tsun S.

Publisher: IEEE Computer Society Press

Reference Number: ISBN: 0-8186-05693; Library of Congress: 84-48518

Sponsoring Organization: IEEE, Inc.

Publication Date: 1/85

Tutorial: Distributed-Software Engineering

Abstract: This tutorial considers each of the key problems involved in distributed software development -- namely requirements analysis, design partitioning and allocation, implementation (programming), and testing. It brings into focus information found in various scientific journals, conferences, and workshop proceedings. The contents are divided into six sections, each containing several titles: 1- Introduction ("Software Engineering: Problems and Perspectives"), 2- Requirements for Distributed Software ("SREM at the age of Eight: The Distributed Computing Design System," "An Operational Approach to Requirements Specification for Embedded Systems"), 3- Partitioning and Allocation of Distributed Data Processing ("Modeling of Software Partition for Distributed Real-Time Applications," "Task Allocation in Distributed Data Processing," "Heuristic Models of Task Assignment Scheduling in Distributed Systems," "Task Allocation and Precedence Relations for Distributed Real-Time Systems," "Distributed Functions Allocation for Reliability and Delay Optimization"), 4- Distributed Programming ("A Taxonomy for Programming Languages with Multisequential Processes," "Communicating Sequential Processes," "Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives," "Guardians and Actions: Linguistic Support for Robust, Distributed Programs"), 5- Testing of Distributed Software ("Debugging Ada Tasking Programs," "Reproducible Testing of Ada Tasking Programs," "High-Level Debugging of Distributed Systems: The Behavioral Abstraction Approach," "Event-Driven Monitoring of Distributed Programs," "A General-Purpose Algorithm for Analyzing Concurrent Programs," "A Petri Net Framework for Automated Static Analysis of Ada Tsking Behavior," "Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems"), and 6- Bibliography.

Author: Shatz, Sol M. and Jia-Ping Wang

Publisher: IEEE Computer Society Press

Reference Number: ISBN: 0-8186-8856-4; Library of Congress: 88-45745

Sponsoring Organization: IEEE, Inc.

Publication Date: 1/98

Tutorial: Parallel Architectures for Database Systems

Abstract: This tutorial document provides information on the past, present, and future of database machines. It gives an overview of some of the early designs and includes papers on several current designs and commercial systems. It also includes papers on the projected future of database machines and papers on expected new directions in research. The contents are arranged into seven chapters, each with several titles: 1- Introduction("Database Machines are Coming, Database Machines are Coming!," "What's Happening with Data Base Processors?," "Database Machines: An Idea Whose Time Has Passed? A Critique of the Future of Database Machines," "New Directions in Database-Systems Research and Development"), 2- Theory of Relational Data Model ("Relational Data-Base Management Systems," "A Simple Guide to Five Normal Forms in Relational Database Theory"), 3- Classification of Database Machines ("Databse Machines and Some Issues an DBMS Standards," "A Survey and Taxonomy of Databse Machines," "Databse Machines: A Survey"), 4- Architecture of Some Database Machines ("DIRECT: A Multiprocessor Organization for Supporting Relational Database Management Systems," "DBC: A Database Computer for Very Large Databases," "RAP.2: An Associative Processor for Databases and Its Applications," "Systolic (VLSI) Arrays for Relational Database Operations," "A Highly Concurrent Tree Machine for Database Applcations," "An Associative Backend Machine for Data Base Management," "A Parallel Pipelined Relational Query Processor: An Architectural Overview," "VLSI Algorithms and Architecture for Relational Operations," "Architecture and Performance of Relational Algebra Machine GRACE," "The Architecture of SM3: A Dynamically Partitionable Multicomputer System," "Computer Architecture for a Surrogate File to a Very Large Data/Knowledge Base," "Optical Techniques and Data/Knowledgw Base Machines"), 5- Commercial Database Machines ("Hardware Support for Advanced Data Management Systems," "The Intel Database Processor," "The Intelligent Database Machine {IDM}"), 6- Join Operation ("Parallel Algorithms for the Execution of Relational Database Operations," "Join and Semijoin Algorithms for a Multiprocessor Database Machine," "Evaluaiton of Performance of the Equi-Join Operation on the Michigan Relational Database Machine," "VLSI Time/Space Complexity of an Associative Parallel Join Module"), and 7- New Directions ("Applying Data Flow Techniques to Data Base Machines," "Hither Hundreds of Processors in a Database Machine," "A Single User Evaluation of the Gamma Database Machine," "A Special Function Unit for Database Operations Within a Data-Control Flow System," "A Massive Memory Machine," "A Classification and Comparison of Main Memory Database Recovery Techniques," "MAYBE Algebra Operators in Database Machine Architecture," "Incomplete Information and the Join Operation in Database Machines," "A Taxonomy of Time in Databases," "The Temporal Query Language TQuel," "Incorporating Time into the Associative Search Language Machine").

Author: Hurson, A.R., L.L. Miller, and S.H. Pakzad (eds)

Publisher: IEEE Computer Society Press

Reference Number: ISBN: 0-8186-8838-6; Library of Congress: 88-82777

Sponsoring Organization: IEEE, Inc.

Publication Date: 1/89

Tutorial: Software Engineering Project Management

Abstract: This tutorial presents a top-down view of software engineering project management. This top-down structure was used as a framework for selecting appropriate reprints and in assembling original materials that will explain as specifically as possible how project managers manage. The contents are arranged into eight chapters, each with several titles: 1- Introduction to Tutorial ("The Mythical Man-Month," "The Management Process in 3-D," "Software Engineering Project Management: A Top-Down View"), 2- Software Engineering ("Software Engineering: Problems and Perspectives," "Today's Risks in Software Development: Can They Be Significantly Reduced?"), 3- Software Engineering Project Management ("Improving Software Productivity," "Controlling Software Projects," "Managing the Development of Large Software Systems," "A Spiral Model of Software Development and Enhancement"), 4- Planning a Software Engineering Project ("Software Requirements: NewDirections and Perspectives," "On Using the User's Manual as the Requirements Specification," "Fundementals of Project Management," "Applying Corporate Software Development Policies," "A Software Technology Evaluation Program," "A Game Plan for Technology Transfer," "Fundementals of Master Scheduling for the Project Manager," "The Work Breakdown Structure in Software Project Management," "Making Software Development Estimates 'Good'," "Software Engineering Economics," "A Guide for Preparing Software Project Management Plans"), 5- Organizing a Software Engineering Project ("How to Know a Well-Organized Software Project When You Find One," "How to Set Up a Project Organization," "The Matrix Organization," "Organizational Alternatives for Project Management," "The Effect of Programming Team Structures on Programming Tasks"), 6- Staffing a Software Engineering Project ("How to Pick Eagles," "Exploratory Experimental Studies Comparing Online and Offline Programming Performance," "The Software Engineering Shortage: A Third Choice," "Managing the Consequences of DP Turnover: A Human Resources Planning Perspective," "I'm OK-- and You're Not"), 7- Directing a Software Engineering Project ("Leadership: The Effective Use of Power," "Delegate Your Way to Success," "Excitement and Committment: Keys to Project Success," "Who is the DP Professional?," "Circular Solutions," "Conflict Management for Project Managers"), and 8- Controlling a Software Engineering Project ("Criteria for Controlling Projects According to Plan," "Reviews, Walkthroughs, and Inspections," "The Unit Development Folder (UDF): A Ten Year Perspective," "Advances in Software Inspections," "Establishing Software Engineering Standards in an Industrial Organization," "Elements of Software Configuration Management," "Investigative Audit for Controlling Software Development," "Managing Software Development Projects for Maximum Productivity," "Self-Assessment Procedure X").

Author: Thayer, Richard H. (ed)

Publisher: IEEE Computer Society Press

Reference Number: ISBN: 0-8186-0751-3; Library of Congress: 87-71731

Sponsoring Organization: IEEE, Inc.

Publication Date: 1/88

Ada Language Course

Author: Ichbiah, Jean, John Barnes, and Robert Firth

Publisher: Alsys

Publication Date: 11/80

Ada: Language, Compilers and Bibliography

Abstract: This book has three parts: PART 1 - Reference for the Ada Programming Language, PART 2 - Guidelines for Ada Compiler Specification and Selection, PART 3 - A Selective Bibliography for Ada.

Author: Rogers, M.W. (ed)

Publisher: Cambridge University Press

Reference Number: ISBN: 0 521 26464 2; Document No.: EUR 9245

Sponsoring Organization: CEC

Publication Date: 1/84

Program Verification Using Ada

Abstract: The topic of program verification or program proving, as it is sometimes called, has aroused increasing interest and controversy in recent years. Advocates of the subject would argue that it provides a technique that is indispensable if truly reliable programs are to be produced. The ever-increasing sophistication of software and our increasing dependence on computers has focused the attention of all those working with computers onto this important subject. The book discusses all important aspects of the subject and guides the reader to a full knowledge and appreciation of the benefits of program verification. The new programming language Ada is used to express programs and for supporting other discussion. For completeness, all aspects of Ada necessary to the understanding of the main subject of the book, program verification, are introduced as they are needed. Although this book is written primarily for second and third year undergraduates in computer science, it will also be of value to postgraduates and anyone interested in the more advanced aspects of programming.

Author: McGettrick, A. D.

Publisher: Cambridge University Press

Reference Number: ISBN #: 0 521 24215 0 / 0 521 28531 3; Series #: 13

Sponsoring Organization: University of Cambridge

Publication Date: 1/82

Software Reuse: Emerging Technology

Abstract: This tutorial presents a state-of-the-art/state-of-the-practice look at software reuse. Material was selected to compliment the basic foundational work in Peter Freeman's tutorial "Software Reusibility," published by Computer Society Press in 1987. The book is divided into five parts, each containing several articles: PART 1 - Overview, PART 2 - Motivation, PART 3 - State of the Practice (with subdivisions for Components, Libraries, Methodologies, Ada), PART 4 - Research, and PART 5: Bibliography.

Author: Tracz, Will

Publisher: IEEE Computer Society Press

Reference Number: ISBN: 0-8186-0846-3; Library of Congress: 88-61364

Sponsoring Organization: The Computer Society of the IEEE

Publication Date: 1/88

Evaluating Ada

Abstract: This book represents a comprehensive and thorough study of the programming language Ada. Its scope is not restricted to military matters but encompasses a great variety of civilian applications. The contents of this book are divided into fifteen sections, each with several subsections: 1: Introduction, 2: Declarations and Types, 3: Numerical Types, 4: Names and Expressions, 5: Sequential Control Structures, 6: Modularity, 7: Scope and Visibility, 8: Tasks, 9: Exceptions, 10: Generic Units, 11: Separate Compilation, 12: Adaption of Programs, 13: Input/Output, 14: Syntactic, Lexical, and Textual Elements, and 15: By Way of Conclusion.

Author: Le Verrand, D.

Publisher: Macmillan Publishing Company

Reference Number: ISBN: 0-02-947660-7; Library of Congress: 84-27346

Sponsoring Organization: AFCET; Agence de l'Informatique

Publication Date: 1/82

Software Testing Techniques

Abstract: This book contains concise information on both the theory and the practice of testing methodology. It includes highly effective intuitive tools for test case design and execution as well as a clear explanation of how to ensure flexibility in the testing process. The contents of the book are divided into twelve sections, each of which is divided into several subsections: 1: Introduction, 2: The Taxonomy of Bugs, 3: Flowcharts and Path Testing, 4: Path Testing and Transaction Flows, 5: Graphs, Paths, and Complexity, 6: Paths, Path Products, and Regular Expressions, 7: Data Validation and Syntax Testing, 8: Data-Base-Driven Test Design, 9: Decision Tables and Boolean Algebra, 10: Boolean Algebra the Easy Way, 11: States, State4 Graphs, and Transition Testing, and 12: Graph Matrices and Applications. (Companion Volume: "Software System Testing and Quality Assurance," published in the same series.)

Author: Beizer, Boris

Publisher: Van Nostrand Reinhold Company

Reference Number: ISBN: 0-442-24592-0; Library of Congress: 82-8446

Publication Date: 1/83

Ada: Sources & Resources

Abstract: The contents of this book are divided into fourteen sections, some of which are also divided into several subsections: 1: History, 2: Compilers & Distributors, 3: Software Development Tools, 4: Source Code, 5: Groups & Organizations, 6: Publications, 7: Electronic Services, 8: Consultants and Trainers, 9: Conferences, 10: Professional Recruiters, 11: Books, 12: Miscellaneous, 13: Acronyms, and 14: Glossary.

Author: Nyberg, Karl A.

Publisher: Grebyn Corporation

Reference Number: None available

Publication Date: 1/89

Ada: Sources & Resources

Author: Nyberg, Karl A.

Publisher: Grebyn Corporation

Reference Number: None available.

Publication Date: 1/90

Ada Quality and Style: Guidelines for Professional Programmers

Abstract: This book presents a set of specific guidelines for using the powerful features of Ada in a disciplined manner. Guidelines cover all aspects of source code presentation, program structure, programming practices, and tasking; they show programmers how to write codes that have a high degree of readability, portability, and reusability. Each guideline consists of a concise statement of the principles that should be followed, a rationale explaining the importance of the guideline, possible exceptions to the application of the guideline, and in some cases an example of its use and further example of the consequences of violating the guideline. The contents of the book are divided into ten chapters, each of which is divided into subsections: 1: Introduction, 2: Source Code Presentation, 3: Readibility, 4: Program Structure, 5: Programming Practices, 6: Concurrency, 7: Portability, 8: Reusibility, 9: Instantiation, and 10: Complete Example.

Author: The Software Productivity Consortium

Publisher: Van Nostrand Reinhold

Reference Number: ISBN: 0-442-23805-3; Library of Congress: 89-8968

Publication Date: 1/89

Real-Time Systems and Their Programming Languages

Abstract: This Book provides an in-depth survey of real-time systems and the programming languages used in their development. It shows how real-time programming techniques are usd in a wide variety of applications, including robotics, factry automation and control. It includes a detailed comparison of Ada, Modula-2, and occam 2, the major real-time languages. The contents of this book are divided into seventeen sections, most of which are divided into subsections: 1- Introduction to Real-Time Systems, 2- Designing Real-Time Systems, 3- Programming in the Small, 4- Programming in the Large, 5- Reliability and Fault Tolerance, 6- Exceptions and Exception Handling, 7- Concurrent Programming, 8- Shared Memory-based Synchronization and Communication, 9- Message-based Synchronization and Communication, 10- Atomic Actions, Concurrent Processes and Reliability, 11- Resource Control, 12- Real-Time Facilities, 13- Distributed Systems, 14- Low-level Programming, 15- Efficiency of Implementation, 16- A Case Study in Ada, and 17- Conclusions.

Author: Burns, Alan and Andy Wellings

Publisher: Addison-Wesley Publishing Company

Reference Number: ISBN: 0-201-17529-0; Library of Congress: 89-17930

Publication Date: 1/90

IEEE Standard ATLAS Test language

Abstract: This document defines the Standard ATLAS Test Language (ANSI/IEEE Std 416-1978), a standardized test language for expressing test specifications and procedures. It is a test-oriented language independent of test equipment and provides a standard abbreviated English language used in the preparation and documentation of test procedures which can be implemented either manually or without automatic or semi-automatic equipment. The US DoD has approved this edition as an interim standard language for automatic test equipment.

Publisher: IEEE

Reference Number: ISBN: 0471 06442 4; Library of Congress: 79-1750

Publication Date: 1/78

Ada Programmer's Handbook

Abstract: This book is a reference guide for professional software developers who are transitioning to Ada. It is designed to complement the learning process when used with or following an Ada programming course and with a text book. This guide does not teach Ada. The contents of this book are divided into four sections, each with several subsections: 1- Glossary of Ada Terms, 2- Example of Programs, 3- Common Errors, and 4- Appendices.

Author: Gonzalez, Dean W.

Publisher: Benjamin/Cummings Publishing Company, Inc.

Reference Number: ISBN 0-8053-2529-8

Publication Date: 1/91

File Structures with Ada

Abstract: This textbook meets the requirements of the Association for Computing Machinery's (ACM) course CS5, as defined in the ACM curriculum guidelines. The goal of this textbook is to study the external data structures necessary for implementing different file organizations. The contents of this book are divided into ten chapters, each of which is divided into several sections: 1- Overview of files, 2- Ada Records and Files, 3- Blocking and Buffering, 4- Secondary Storage Devices, 5- Sequential File Organization, 6- External Sort/Merge Algorithms, 7- Relative File Organization, 8- Search Trees, 9- Indexed Sequential File Organization, and 10- Multiple-Key File Organization.

Author: Miller, Nancy E. and Charles G. Petersen

Publisher: Benjamin/Cummings Publishing Company, Inc.

Reference Number: ISBN: 0-8053-0440-1; Library of Congress 89-18072

Producing Organization: (Mississippi State University)

Publication Date: 1/90

Selecting an Ada Compilation System

Abstract: This guidebook is intended to promote the effective use of Ada by providing guidance to users on 1) the formulation of requirements on Ada compilation systems for particular application domains, 2) the evaluation of Ada compilation systems against requirements, and 3) the selection of an Ada compilation system on the basis of the evaluation. The contents of this book are divided into three parts, each of which is divided into sections: PART 1- Application Requirements, PART 2- Questionnaires, PART 3- Sources of Information.

Author: Dawes, J., M.J. Pickett, and A. Wearing

Publisher: Cambridge University Press

Reference Number: ISBN: 0 521 40498 3

Sponsoring Organization: CEC

Producing Organization: University of Cambridge

Publication Date: 1/90

Resources in Ada

Abstract: This book is a collection of reviews, bibliography, Self-Assessment procedure and indexes designed to provide an important reference to the recent literature on Ada. It is derived from the ACM's reference database of computer and information science literature. The contents are arranged into four categories, each with several sections: 1- Reviews, 2- Self Assessment, 3- Bibliography, and 4- Indexes.

Author: Fisher, Gerry and Edward A. Fox (ed)

Publisher: ACM Press

Reference Number: ISBN: 0-89791-374-4

Sponsoring Organization: Association for Computing Machinery,Inc (ACM)

Publication Date: 1/90

Software Acquisition Management: Managing the Acquisition of Custom Software Systems

Abstract: Designed to provide guidance on the subject of software axquisition management-the process of acquiring, via a formal agreement between the buyer and seller (for example, by contract), software that has to be developed or has an appreciable content that requires development. This is a book for managers directly or indirectly involved in acquisition projects; it is not a book about managing the software engineering process, although it does touch on subjects necessary for that task. The contents of this book are divided into twelve sections, each of which is divided into subsections: 1- Introduction, 2- The Software Acquisition Environment, 3- Acquisition Management, 4- Software Statement of Work (SOW) Issues, 5- Contracts and Contract Law, 6- Software Management - The Buyer's Model, 7- Software Management - The Seller's Model, 8- Software Management - The Team Approach, 9- Cost Issues and Answers, 10- Quality Mangement, 11- Special Topics in Acquisition Mangement, and 12- Future Directions in Acquisition Management.

Author: Marciniak, John J. and Donald J. Reifer

Publisher: John Wiley and Sons, Inc.

Reference Number: ISBN: 0-471-50643-5; Library of Congress: 89-49734

Publication Date: 1/90

Ada for Experienced Programmers

Abstract: The goal of this book is a presentation of the major features of the Ada programming language and their relevance to software engineering. This book is written for experienced programmers who, when learning a new language, must choose between an introductory text, with too much explanation, and a reference manual, with too little explanation; this book fills the void between these two extremes. The contents of this book are divided into sixteen sections,each of hich is divided into several subsections: 1- Ada Compared to Pascal, 2- Data Encapsulation, 3- Array Types, 4- Parameterized Types, 5- Data Abstraction, 6- Function Parameters and Numerics, 7- Type Abstraction, 8- Recursive Data Structures, 9- Sets, 10- Variant Records, 11- Parallel Computations, 12- Classical Scheduling Problems, 13- Resource Allocation and Priority Scheduling, 14- Data Representation Specifications, 15- Interrupts and Low Level I/O, and 16- Parallel Tasks.

Author: Habermann, A. Nico and Dewayne E. Perry

Publisher: Addison-Wesley Publishing Company

Reference Number: ISBN: 0-201-11481-X; Library of Congress: 82-20757

Publication Date: 1/83

Ada from the Beginning

Abstract: This book, suitable for students and experienced programmers alike, is intended teach the fundamental principles of good programming and to provide an accessible introduction to the Ada language. Assuming no previous knowledge of Ada, this book demonstrates the suitability of Ada as a first language. It presents the principles and concepts of programming and discusses all important features of Ada.

Author: Skansholm, Jan

Publisher: Addison-Wesley

Reference Number: ISBN: 0-201-17522-3; Library of Congress: 87-26902

Publication Date: 1/88

Ada Programmer's Handbook and Language Reference Manual

Abstract: The contents of this book are divided into two parts. The first part (Ada Programmer's Handbook) has four sections, each with several subsections: 1- Glossary of Ada Terms, 2- Example of Programs, 3- Common Errors, and 4- Appendices.This part of the book is a reference guide for professional software developers who are transitioning to Ada. It is designed to complement the learning process when used with or following an Ada programming course and with a text book. This guide does not teach Ada. The second part of the book (Ada Language Reference Manual) is a complete copy of "ANSI/ML-STD-1815A, Military Standard, Ada Programming Language."

Author: Gonzalez, Dean W.

Publisher: Benjamin/Cummings Publishing Company. Inc.

Reference Number: ISBN: 0-8053-2528-X

Publication Date: 1/91

Ada Software Repository and the Defense Data Network: A Resource Handbook

Abstract: This book introduces its readers to the operation and resources of the Internet, with particular emphasis on the Ada Software Repository on SIMTEL20. The contents of this book are divided into twenty-two sections, each of which are divided into subsections: 1- Introduction, 2- History and Overview of the Defense Data Network (DDN), 3- DDN Capabilities and Tools, 4- Electronic Mail, 5- Domain Names on the DDN, 6- TACs and TAC Commands, 7- Microcomputer Communicationc Protocols, 8- History of the Repositories, 9- SIMTEL20 and the TOPS-20 Operating System, 10- Other Repositories on SIMTEL20, 11- Obtaining Software from the Repositories, 12- History and Statement of Operation of the Ada Software Repository (ASR), 13- Online Documentation System, 14- Master Index to the ASR, 15- ASR Newsletters and Electronic Mail List, 16- ASR Control Committee, 17- Directories in the ASR, 18- Lessons Learned about Ada Software Transportability, 19- The Network Information Center (NIC), 20- Columbia University (CU20B) and Kermit, 21- ADA20, and 22- Electronic Mailing Lists on the DDN.

Author: Conn, Richard

Publisher: New York Zoetrope

Reference Number: ISBN: 0-918432-78-2; Library of Congress: 86-43222

Publication Date: 1/87

The Ada Generic Library: Linear List Processing Packages

Abstract: The purpose of the Ada Generic Library is to provide Ada Programmers with an extensive, well-documented library of generic packages whose use can substantially increase productivity and reliability. This volume contains eight Ada packages, with over 170 subprograms, for various linear data structures based on linked lists. The contents of this book are divided into two parts, each of which are divided into several sections and subsections: 1- Unrestricted-Access Data Structures, 2- Restricted-Access Data Structures.

Author: Musser, David R. and Alexander A. Stepanov

Publisher: Springer-Verlag New York Inc.

Reference Number: ISBN: 0-387-97133-5; Library of Congress: 89-21683

Publication Date: 1/89

Programming With Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs

Abstract: This book describes how to use specifications in the process of building programs, debugging them, and interfacing them with other programs. It deals with a new trend in programming, the evolution of specification languages from the current generation of programming languages, and it describes new strategies and styles of programming that utilize specifications. The reader should, ideally, know Ada and have a little background in the theory of computer science. The book describes ANNA (ANNotated Ada) and possible ways of using it. The contents of the book are divided into eleven sections, each of which is further divided into subsections: 0- What ANNA Is, 1- Simple Annotations, 2- Using Simple Annotations, 3- Exceptions, 4- Package Specifications, 5- The Process of Specifying Packages, 6- Annotation of Generic Units, 7- Annotation of Operations on Composite Types, 8- Annotation of the Hidden Parts of Packages, 9- Interpretation of Package Specification, and 10- Processes for Consistent Implementation of Packages.

Author: Luckham, David

Publisher: Springer-Verlag, New York, Inc.

Reference Number: ISBN: 0-387-97254-4

Publication Date: 1/90

Ichbiah, Barnes and Firth on Ada: An Introduction to Its Architecture, Principles, and Features; Vol. 2

Abstract: This book is one of three volumes of Companion Guides to the comprehensive course on video tape led by Dr. Jean Ichbiah, Principal Designer of the Ada language and founder of Alsys, Incorporated (assisted by Mr. John Barnes and Dr. Robert Firth, key members of the Ada language design team). The course provides an in-depth introduction to the ANSI/Standard Ada programming language and is designed for technical managers, engineers, and those with previous programming experience.Course materials consist of eighteen hours of lectures,organized by subject, on twenty-seven videotapes.

Author: Ichbiah, Jean, John Barnes, and Robert Firth

Publisher: Alsys

Reference Number: None available

Publication Date: 1/84

Ichbiah, Barnes and Firth on Ada: An Introduction to Its Architecture, Principles, and Features

Author: Ichbiah, Jean, John Barnes, and Robert Firth

Publisher: Alsys

Reference Number: None available

Publication Date: 1/84

Ada for Distributed Systems

Abstract: This book constitutes the final report of the DIADEM project to study the problems of using Ada to program real-time, distributed control systems, and to develop a technique for overcoming thes problems. The final goal was to demonstrate the new technique by controlling such a system from a distributed Ada program - hence the namd DIADEM (DIstributed Ada DEMonstrated). The contents of this book are divided into eleven sections, each of which is further divided into subsections: 1- Introduction, 2- Ada in a Distributed Environment, 3- Virtual Nodes in Ada, 4- Building Distributed Programs, 5- Remote ommunication, 6- The Remote Rendevous Layer, 7- The Communication Layer, 8- Transformation Example, 9- DIADEM Host Tools, 10- The Demonstration, and 11- Conclusion.

Author: Atkinson, Colin, Trevor Moreton, and Antonio Natali (eds)

Publisher: Cambridge University Press

Reference Number: ISBN: 0 521 36154 0

Sponsoring Organization: CEC

Producing Organization: University of Cambridge

Publication Date: 1/88

Artificial Intelligence with Ada

Abstract: The purpose of this book is to dispell the impression of artificial intelligence as hype by presenting staightforward descriptions of the basic ideas that underlie these claims, complete with the computer programs in Ada that implement the methods. Claims made for artificial intelligence within this book can then go on to build applications for himself using the computer programs here as a basis. The contents are arranged into eight sections, each with several subsections: 1- Overview of Artificial Intelligence, 2- Overview of Ada, 3- Backward-Chaining Expert System Shell, 4- Forward-Chaining Expert System Shell. Arithmetic, 5- Frames, 6- Syntax and Semantics, 7- Augmented Transition Network Parser, and 8- Conclusion.

Author: Baker, Louis

Publisher: McGraw-Hill Publishing Company

Reference Number: ISBN: 0-07-003350-1; Library of Congress: 88-27145

Publication Date: 1/89

Ada as a Second Language

Abstract: This book may be used to obtain a reading knowledge of the Ada language, a writing knowlege, or to serve as a programming reference for someone who is already writing in the Ada language. The only prerequisite is an introductory programming course or equivalent practical experience; it is assumed that the reader is familiar with certain fundemental programming concepts. The contents of the book are divided into twenty chapters, each of which is further divided into sections: 1- The Development of the Ada Language, 2- An Introduction to the Ada Language, 3- Programmer-Defined Data Types, 4- Object and Type Declarations, 5- Access Types, 6- Subtypes and Type Equivalence, 7- Statements, 8- Expressions, 9-Subprograms, 10- Record Types with Discriminants, 11- Packages, 12- Private and Limited Private Types, 13- Separate Compilation, 14- Scope and Visibility, 15- Exceptions, 16- Generic Units, 17- Predefined Input and Output, 18- Introduction to Tasks, 19- Controlling Task Interaction, and 20- Low-Level Programming.

Author: Cohen, Norman H.

Publisher: McGraw-Hill Book Company

Reference Number: ISBN: 0-07-011589-3; Library of Congress: 85-2946

Publication Date: 1/86

Ada: A Life and a Legacy

Abstract: A biography of Ada Byron, Countess of Lovelace.

Author: Stein, Dorothy

Publisher: MIT Press

Reference Number: ISBN: 0-262-19242-X; Library of Congress: 85-11367

Publication Date: 1/85

Ada: An Advanced Introduction

Abstract: This book offers an in-depth look at the novel aspects of Ada. Assuming of its readers a familiarity with at least one procedural programming language, the text walks readers through its many illustrative program examples using stepwise refinement. The contents are divided into eight chapters, each of which is further divided into several sections: 1- Introduction, 2- More About Types, 3- Packages, 4- Concurrency, 5- Exceptions, 6- Generic Facilities, 7- Program Structure and Separate Compilation, and 8- Representation Clauses / Implementation-Dependent Features.

Author: Gehani, Narain

Publisher: Prentice-Hall, Inc.

Reference Number: ISBN: 0-13-004334-6; Library of Congress: 89-3622

Sponsoring Organization: AT&T Bell Telephone Laboratories, Inc.

Publication Date: 1/89

Practical Visual Techniques in System Design: With Applications to Ada

Abstract: This book is a personal statement on how to use visual techniques to organize one's thinking during the design process, based on the author's experience, in light of his many years of practical involvement with real time systems, multiprocessor systems, and computer communication systems. The reader needs to have encountered black boxes and concurrency; knowing Ada is not a prerequisite. The contents of the book are divided into seven parts, each of which are further divided into several sections: PART 1- Nature of the Book, PART 2- Principles of Method and Notation, PART 3- Case Studies in System Design, PART 4- Exercising the Notation on Time-Intensive Problems, PART 5- Componentry, PART 6- Conclusions, and PART 7- Appendices.

Author: Buhr, R.J.A.

Publisher: Prentice-Hall, Inc.

Reference Number: ISBN: 0-13-880808-2; Library of Congress: 90-6913

Publication Date: 1/90

Ada: Sources & Resources

Abstract: The contents of this book are divided into thirteen sections, some of which are also divided into several subsections: 1: History, 2: Compilers & Distributors, 3: Software Development Tools, 4: Source Code, 5: Groups & Organizations, 6: Publications, 7: Electronic Services, 8: Consultants and Trainers, 9: Conferences, 10: Professional Recruiters, 11: Miscellaneous, 12: Acronyms, and 13: Glossary.

Author: Nyberg, Karl A.

Publisher: Grebyn Corporation

Reference Number: None available

Publication Date: 1/91

Managing Ada Projects Using Software Engineering

Abstract: This book presents the management aspect for Ada projects. Managing Ada projects using software engineering requires a knowledge of suitable methods to analyze, design, implement and deliver the product to the customer's satisfaction. The contents of the book are divided into five sections, each of which is further divided into subsections: 1- Paradigm for Successful Ada Projects, 2- Ada Project Management Techniques, 3- A Pragmatic Approach to Software Engineering, 4- Ada Project Management Controls, and 5- Ada Projects Software and Management Evaluations.

Author: Sodhi, Jag

Publisher: TAB Books, Inc.

Reference Number: ISBN: 0-8306-0290-9; Library of Congress: 89-39635

Publication Date: 1/90

Software Reusability

Abstract: Volume 1: Concepts and Models. With its accompanying volume, this book aims to describe an emerging technical area. The authors have tried to 1) present a technological framework or context for understanding software reuse, 2) present a representative spectrum of the technologies that may be applied to the reuse problem, 3) present a spectrum of viewpoints so that the book will be of value to both the researcher and the working software engineer, and 4) provide a sense of what works in reuse and what does not. The contents of this volume are divided into three sections, each of which is divided into several subsections: 1- Overview and Assessment, 2- Composition-Based Systems, and 3- Generation-Based Systems.

Author: Biggerstaff, Ted J. and Alan J. Perlis (eds)

Publisher: ACM Press / Addison-Wesley Publishing Company

Reference Number: ISBN: 0-201-08017-6 (v. 1); Library of Congress: 88-34280

Publication Date: 1/89

Software Reusability

Abstract: Volume 2: Applications and Experience. With its accompanying volume, this book aims to describe an emerging technical area. The authors have tried to 1) present a technological framework or context for understanding software reuse, 2) present a representative spectrum of the technologies that may be applied to the reuse problem, 3) present a spectrum of viewpoints so that the book will be of value to both the researcher and the working software engineer, and 4) provide a sense of what works in reuse and what does not. This volume is divided into three sections, each of which is divided into several subsections: 1- Practice and Experience, 2- Quantitative Results, 3- Cognitive Results.

Author: Biggerstaff, Ted J. and Alan J. Perlis (eds)

Publisher: ACM Press / Addison-Wesley Publishing Company

Reference Number: ISBN: 0-201-50018-3 (v. 2); Library of Congress: 88-34280

Publication Date: 1/89

The Calculating Passion of Ada Byron

Abstract: Biography of Ada Byron, Countess of Lovelace.

Author: Baum, Joan

Publisher: Shoe String Press / Archon Books

Reference Number: ISBN: 0-208-02119-1; Library of Congress: 86-14103

Publication Date: 1/86

Concurrent Programming in Ada

Abstract: This book is a complete account of Ada tasking. It gives a detailed description and an assessment of that part of the Ada Language that is concerned with concurrent programming. The volume is divided into seventeen chapters: 1- The Ada Language, 2- The Nature and Uses of Concurrent Programming, 3- Inter-Process Communication, 4- Ada Task Types and Objects, 5- Ada Inter-Task Communication, 6- The Select Statement, 7- Task Termination, Exceptions, and Attributes, 8- Tasks and Packages, 9- Access Types for Tasks, 10- Resource Management, 11- Task Scheduling, 12- Low-level Programming, 13- Implementation of Ada Tasking, 14- Portability, 15- Programming Style for Ada Tasking, 16- Formal Specifications, and 17- Conclusion.

Author: Burns, Alan

Publisher: Cambridge University Press

Reference Number: ISBN #: 0-521-30033-9

Publication Date: 1/85

Embedded Programming in Ada

Abstract: This book is intended for the practicing programmer or for the advanced engineering or computer science student. The presentation of the materiel presumes a certain level of sophistication on the part of the reader, so general concepts normally found in the introductory programming texts are not covered. Some familiarity of operating systems is also presumed, and a basic knowledge of some block-structured language such as PL/1 and Pascal is recommended. The material is presented with a bias toward embedded-system programming, but the basic concepts apply in any context. The contents are arranged into nine chapters, each with several sections: 1- Introduction to Ada, 2- History of the Ada Language, 3- Basic Concepts of Ada, 4- Packages, 5- Generic Units, 6- Input-Output Provisions, 7- Tasks, 8- Remaining Language Features, and 9- Software Design and Life-Cycle Support.

Author: Elbert, Theodore F.

Publisher: Van Noststrand Reinhold Company

Reference Number: ISBN: 0-442-22350-1; Library of Congress: 85-29464

Publication Date: 1/86

Applied Ada

Abstract: This book is a practical introduction to the Ada language for readers with some education or experience in programming another computer language. It is written at the level of a second course in programming, directed to the reader who understands the basic terminology and concepts of programming; however it does not assume any particular language as a prerequisite. The book stresses instruction by examining sample of programs written in Ada. The contents are arranged into eleven chapters, each with several sections: 1- Why Ada?, 2- Calculator - Introducing Ada, 3- Improvements to the Calculator, 4- Adding Mathematical Functions to the Calculator, 5- A Calculator for Complex Numbers, 6- A Generic Calculator, 7- A Calculator for Vectors, 8- A Calculator for Matrices, 9- Database Management in Ada, 10- An Appointment Book with Alarms, and 11- Additional Features of Ada.

Author: Mohnkern, Gerald L. and Beverly Mohnkern

Publisher: TAB Professional and Reference Books

Reference Number: ISBN: 0-8306-2736-7; Library of Congress: 86-6011

Publication Date: 1/86

Power Programming with Ada for the IBM PC

Abstract: This book is an introduction to Ada and is written for readers with little or no programming experience. The book leads the reader from simple programs to more complicated programs and students learn by actually keying in Ada programs and watching them work. The contents of the book are divided into ten sections, each of which is divided into several subsections: 1-Inut ans Out put: Communicating with the Computer, 2- Input and Output Using Numbers, 3- Using Loops and If Statements, 4- Procedures, Functions, and Packages, 5- Composite Data Types: Arrays and Records, 6- Sequential I/O for Records of Arrays and Arrays of Records, 7- Using Random-Access I/O with Arrays and Records, 8- Exception Handling, 9- Using D-Pack Library Routines, and 10- Ada on the VAX.

Author: Winters, John

Publisher: TAB Books

Reference Number: ISBN: 0-8306-2902-5 (paperback); Library of Congress: 87-7100

Publication Date: 1/87

Introduction to Ada: A Top Down Approach for Programmers

Abstract: This book is organized to emphasize those features that distinguish Ada from other programming languages using a cyclical approach to the treatment of many topics. Chapt.1 - brief history of the development of the Ada language; Chapt.2- introduces the I/O capabilities, procedures, character and numeric data types and subtypes, and the concept of an Ada program library; Chapt.3- discusses enumeration, array,record, and derived types, and demonstrates how the package can be used to encapsulate datatypes; Chapt.4- deals with access types and applications and the encapsulation of data objects in packages; Chapt.5- illustrates how finite-state machines can be represented by packages; Chapt.6- describes the essentials of tasking; Chapt.7- deals with blocks and exceptions; Chapt.8- introduces the reader to private types, types with discriminates, and generic units.

Author: Caverly, Phillip and Goldstein, Philip

Publisher: Brooks/Cole Publishing Company

Reference Number: ISBN #: 0-534-05820-5; Library of Congress #: 85-25502

Publication Date: 1/86

Ada into the 90's

Abstract: This book is a compilation of fourteen papers showing 1) the range and variety of Ada applications, 2) how Ada is being connected to other emerging software technologies, 3) and the frustrations associated with the use of Ada and how the Ada 9X project is tackling them.

Author: Mitchell, R. J. and D. Simpson (eds)

Publisher: Woodhead Publishing Limited

Reference Number: ISBN: 1 85573 0644 2

Sponsoring Organization: Ada Language UK Ltd.

Publication Date: 1/91

Ada: Problem Solving and Program Design

Abstract: Previous programming experience is not assumed or required of the reader. Themes in common with some of Koffman's other books include 1) complete, compatible programs, 2) case studies, 3) syntax displays, 4) programming style displays, 5) end-of-section exercises, 5) end-of-chapter exercises, and 6) error discussions and chapter reviews. The contents of the book are divided into thirteen chapters, each of which are divided into several sections: 1- Introduction to Computers and Programming, 2- Introduction to Ada, 3- Problem Solving and Using Packages, 4- Decision Statements / Writing Simple Functions and Packages, 5- Repitition in Programs, 6- Other Loop Forms / Procedures / Exception Handling, 7- A Systematic Look at Scalar Data Types, 8- Composite Types: Records and Arrays, 9- Programming in the Large: Procedural Abstraction, 10- Programming in the Large: Abstract Data Types, 11- Multidimensional Arrays and Variant Records, 12- Introduction to Unconstrained Array Types and Generics, and 13- Recursion.

Author: Feldman, Michael B. and Elliot B. Koffman

Publisher: Addison-Wesley Publishing

Reference Number: ISBN: 0-201-50006-X; Library of Congress: 91-12220

Publication Date: 1/92

Ada Yearbook

Abstract: The Ada Yearbook, published annually, provides information about Ada in a conveniently accessible form. Included is introductory information and references material as well as lists of Ada compilers, software components, organizations, and other references in a consolidated form.

Author: Long, Fred (ed)

Publisher: Chapman and Hall

Reference Number: ISBN: 0-412-39830 / 0 442 30836 1 (USA)

Sponsoring Organization: Ada Language UK Ltd.

Publication Date: 1/91

Ada Yearbook

Abstract: The Ada Yearbook is divided in two parts, the first contains general information such as the introduction to Ada in Chapter 1, letters from Ada organizations and general articles on the Ada programming language. The second part of the Yearbook contains reference material, including the list of validated Ada compilers, information about Ada products and projects, reports on standards associated with Ada and information on Ada 9X.

Author: Loftus, Chris (ed)

Publisher: IOS Press

Reference Number: ISBN: 905199 133 4; ISSN: 0927-5444; Series: 5

Sponsoring Organization: Ada Language UK Ltd.

Publication Date: 1/93

Developing Safety Systems: A Guide Using Ada

Abstract: This book provides a comprehensive explanation of controllable systems whose behavior is related to safety, with particular guidance for those whose behavior is determined by software written in Ada. The contents of the book are divided into three parts, each of which is further divided into sections: PART 1- Discovery, PART 2- Design, PART 3- Confirmation.

Author: Pyle, Ian C.

Publisher: Prentice Hall International (UK) Ltd

Reference Number: ISBN: 0-13-204298-3; Library of Congress: 90-7753

Publication Date: 1/91

Writing Readable Ada: A Case Study Approach

Abstract: Ada is a language designed to facilitate good software engineering practices in the implementation of large, real-world programs. The goal of this book is to communicate those principles, showing how as a language Ada lends itself to their application, and to teach its readers how to make the most of the language's features. Ths contents of the book are divided into six sections, each of which are divided into several subsections: 1- Building Quality Programs, 2- Modularity: The Foundation and the Framework, 3- Data and Operations: The Utility Lines, 4- Visibility: The Windows and Doors, 5- Data Storage and Control: The Finishing Carpetry, 6- Concurrency: Setting the Time Table.

Author: Dorchak, Susan Fife and Patricia Brisotti Rice

Publisher: D.C. Heath and Company

Reference Number: ISBN: 0-669-12616-0; Library of Congress: 88-80935

Publication Date: 1/89

Exploring Ada

Abstract: This book is the second volume of two. It expands upon the larger language issues and issues dealing with Ada's more advanced features. The contents of the book are divided into nine sections that pick up where the first volume left off, each of which have several subsections: 16: Derived Types, 17: The Tasking Model, 18: Exceptions, 19: Generic Units, 20: The Program Library, 21: Scope and Visibility, 22: Renaming Declarations, 23: The Predefined I/O Packages, and 24: Machine Representations.

Author: Mendal, Geoffrey O. and Douglas L. Bryan

Publisher: Prentice-Hall, Inc.

Reference Number: ISBN: 0-13-297227-1; Library of Congress: 89-4014

Publication Date: 1/92

Software Engineering With Ada

Abstract: This book introduces Ada in a software engineering context and addresses the issues of building complex systems. The text maintains the philosophy of the first edition, which emphasizes Ada as a vehicle for expressing modern software engineering principles, and includes several new features: a more thorough introduction to Ada syntax and semantics, an updated section on object-oriented techniques, and improved examples and exercises for both professional developers and students that illustrate good Ada style for productions systems development.

Author: Booch, Grady

Publisher: Benjamin/Cummings

Reference Number: ISBN: 0-8053-0604-8; Library of Congress: 86-12955

Publication Date: 1/87

Object-Oriented Design With Applications

Abstract: The specific goals of this book are 1) to provide a sound understanding of the fundemental concepts of the object model, 2) to facilitate a mastery of the notation and process of object-oriented design, and 3) to teach the realistic application of object-oriented design within a variety of problem domains, using Smalltalk, Object Pascal, C++, the Common Lisp object System (CLOS), and Ada. The contents of the book are divided into sections, each of which is divided into several chapters: SECTION 1- Concepts (chapters 1- Complexity, 2- The Object Model, 3- Classes and Objects, 4- Classification), SECTION 2- The Method (chapters 5- The Notation, 6- The Process, 7- Pragmatics), and SECTION 3- Applications (chapters 8- Smalltalk, 9- Object Pascal: Geometrical Optics Construction Kit, 10- C++: Problem Reporting System, 11- Common Lisp Object System: Cryptanalysis, 12- Ada: Traffic Management System).

Author: Booch, Grady

Publisher: The Benjamin/Cummings Publishing Company, Inc.

Reference Number: ISBN: 0-8053-0091-0; Library of Congress: 90-34884

Publication Date: 1/91

Ada: An Introduction to the Art and Science of Programming

Abstract: This book is designed for introductory programming courses that use the Ada programming language. The book includes a thorough introduction to programming techniques and covers most aspects of the Ada programming language. The material in the book assumes no previous knowledge of computers and no mathematics beyond high school algebra. The contents of the book are divided into seventeen chapters, each of which is divided into sections: 1- Introduction to Computers and Problem Solving, 2- Introduction to Problem Solving with Ada, 3- More Ada and Programming Techniques, 4- Designing Subprograms for Subdividing Problems, 5- Subprograms for Modular Design, 6- Designing Programs that Make Choices, 7- Problem Solving Using Loops, 8- More Data Types and an Introduction to Packages, 9- Arrays for Problem Solving, 10- Complex Array Structures, 11- Records and Other Data Structures, 12- Programming Design Methodology, 13- Text Files and Secondary Storage, 14- Problem Solving Using Recursion, 15- Solving Numeric Problems, 16- More File Types, and 17-Dynamic Data Structures.

Author: Savitch, Walter J. and Charles G. Petersen

Publisher: The Benjamin/Cummings Publishing Company, Inc.

Reference Number: ISBN: 0-8053-7070-6; Library of Congress: 91-36659

Publication Date: 1/92

Object-Oriented Design with Ada: Maximizing Reusability for Real-Time Systems

Abstract: The objective of this book is to describe how real-time systems can be developed using object-oriented approaches. The book is intended for practicing software engineers who design and implement distributed, real-time systems in Ada. The contents of the book are divided into three parts, each of which is divided into chapters: PART 1- Object Orientation (chapters 1- Introduction, 2- Classes and Objects, 3- Object-Orientation and Programming Languages, 4- Classes and Objects in Ada), PART 2- Object-Oriented Analysis and Design (chapters 5- Domain Analysis, 6- Requirements Analysis and Object-Orientation, 7- Process Abstraction, 8- Data Abstraction, 9- Modules and Interfaces, 10- Layering of Objects, 11- Objects in Distributed Systems, 12- Database Design), and PART 3- Object Orientation and Reusibility (chapters 13- Top-Down vs. Bottom-Up Design Approaches, 14- Reusable Components, 15- Library of Reusable Components, 16- Development Approach Summary).

Author: Nielsen, Kjell

Publisher: Bantam Books

Reference Number: ISBN: 0-553-08955-2; Library of Congress: 92-70853

Publication Date: 1/92

Object-Oriented Technology: A Manager's Guide

Abstract: The purpose of this guide is to help the reader make more informed decisions about adopting object-oriented technology in his/her company. This guide is written for managers, not engineers, and the technical details are kept to a minimum. The main objective is to develop the business case for object-oriented solutions, not to explore the technology for its own sake. The contents of the book are divided into nine chapters, each of which is divided into sections: 1-Beating the Software Crisis, 2- Three Keys to Object-Oriented Technology, 3- Objects: Natural Building Blocks, 4- Messages: Activating Objects, 5- Classes: Bringing Order to Objects, 6- A New Generation of Databases, 7- Applying the Power of Objects, 8- Evaluating the Risks and Benefits, and 9- The Future of Software.

Author: Taylor, David A.

Publisher: Addison-Wesley Publishing Company, Inc.

Reference Number: ISBN: 0-201-56358-4

Sponsoring Organization: Servio Coporation

Publication Date: 1/90

Software Engineering with Abstractions

Abstract: This book explains how to employ formal methods in modern software engineering with emphasis on approaches amenable to computer assistance. The authors provide a consistent treatment of the entire software development process and strive to present a single approach with sufficient depth to let the readers carry out the process, with concern for compatibility and integration, rather than a broad survey of popular techniques. The contents of the book are divided into eight chapters, each of which is divided into sections: 1- Introduction, 2- Requirements Analysis, 3- Functional Specification, 4- Architectural Design, 5- Implementation, 6- Evolution, 7- Support Environment, and 8- Research Directions.

Author: Berzins, Valdis and Luqi

Publisher: Addison-Wesley Publishing Company, Inc.

Reference Number: ISBN: 0-201-08004-4; Library of Congress: 88-7517

Publication Date: 1/91

Software Specification and Design: A Disciplined Approach for Real-Time Systems

Abstract: This book shows how to specify and design complex software systems, providing the technical basis for a repeatsble, defined, managed, and potentially optimized process for systems and software development. It addresses specification of requirements, design, and the transition from requirements to design. The programming language Ada is used for examples, but the reader need not know Ada to read the book successfully. The contents of the book are divided into three parts, each of which is divided into chapters: PART 1- Introduction (chapters 1- Overview, 2- Systems Engineering and the System Development Process, 3- The Systems Software Development Process), PART 2- Software Specification (chapters 4- System Requirements Analysis, 5- System Design, 6- Software Requirements Analysis), and PART 3- Software Design (chapters 7- Top-Level Design, 8- Detailed Design).

Author: Shumate, Ken and Marilyn Keller

Publisher: John Wiley and Sons, Inc.

Reference Number: ISBN: 0-471-53296-7; Library of Congress: 91-28911

Publication Date: 1/92

Data Structures and Algorithm Analysis in Ada

Abstract: This book describes data structures, methods of organizing large amounts of data, and algorithm analysis, the estimation of the running time of algorithms. This book is suitable for an advanced data structures course (CS7) or a first-year graduate course in algorithm analysis. The contents of the book are divided into eleven chapters, each of which is divided into several sections: 1- Introduction, 2- Algorithm Analysis, 3- Lists, Stacks, and Queues, 4- Trees, 5- Hashing, 6- Priority Queues (Heaps), 7- Sorting, 8- The Disjoint Set ADT, 9- Graph Algorithms, 10- Algorithm Design Techniques, and 11- Amortized Analysis.

Author: Weiss, Mark Allen

Publisher: The Benjamin/Cummings Publishing Company, Inc.

Reference Number: ISBN: 0-8053-9055-3; Library of Congress: 92-43553

Publication Date: 1/93

A First Course in Computer Science with Ada

Abstract: This book is intended for a first course in computer science that emphasizes programming and problem-solving methodology using the Ada programming language. Each chapter is designed to present a new level of problem-solving capability and each begins with a list of objectives and reasons for the emergence of the topic presented. New programming concepts are first introduced and applied in a very elementary form and are then generally used later in more sophisticated and important situations, in conjunction with other ideas that have been presented similarly. The emphasis throughout is on the use of such programming tools for the solution of "large Problems," notably those frequently encountered in a commercial environment. The contents of the book are divided into sixteen chapters, each of which is divided into several sections: 1- Introduction, 2- Fundementals of Program Construction, 3- Control Statements and Program Flow: Conditional and Block Structures, 4- Loops, 5- Subprograms, 6- Arrays and Strings, 7- Applications of Array Processing, 8- Records, 9- Ada Types and Their Declarations, 10- Packages: Design and Implementation, 11- Exception Handling and Text File Processing, 12- More on Generics, 13- Program Design and Algorithm Testing, 14- Access Types, 15-Recursive Methods, and 16- Concurrency and Task Structures (Optional). Includes two Solutions Disks.

Author: Delillo, Nicholas J.

Publisher: Richard D. Irwin, Inc.

Reference Number: ISBN: 0-256-12538-4; Library of Congress: 92-10700

Publication Date: 1/93

Ada, the Enchantress of Numbers: A Selection from the Letters of Lord Byron's Daughter and Her Description of the First Computer

Abstract: This book is the result of over eight years of research by the author. It is her hope that the selection of letters will provide a deeper and more accurate understanding of Ada as a human being, what she symbolically represents today, and how the way that she thought might be a bridge to the future. It is the author's goal to present the letters in a form which is easily read and understood. The selection of letters and the author's narration are arranged chronologically.

Author: Toole, Betty Alexandra (ed)

Publisher: Strawberry Press

Reference Number: ISBN: 0-912647-09-4; Library of Congress: 91-066442

Publication Date: 1/92

Programming in Ada Plus an Overview of Ada 9X

Abstract: While remaining focused on the current ANSI 83 standard, this book includes information about the imminent Ada 9X standard: 1) all features of Ada that will be affected by the Ada 9X standard are highlighted with icons and their design rationale described in detail, 2) a full chapter on Ada 9X provides a concise tutorial and detailed summary of the most important changes, including the increased support for object-oriented programming, the introduction of a hierarchical library structure and the inclusion of protected objects, 3) full details of the syntax changes are provided in the appendices for easy reference. The contents of the book are arranged into seventeen chapters, each of which is divided into several sections: 1- Introduction, 2- Ada Concepts, 3- Lexical Style, 4- Scalar Types, 5- Control Structures, 6- Composite Types, 7- Subprograms, 8- Overall Structure, 9- Private Types, 10- Exceptions, 11- Advanced Types, 12- Numeric Types, 13- Generics, 14- Tasking, 15- External Interfaces, 16- Concluding Ada 83, and 17- Ada 9X.

Author: Barnes, J.G.P.

Publisher: Addison-Wesley Publishing Company

Reference Number: ISBN: 0-201-62407-9

Publication Date: 1/94

Introduction to Programming Using Ada

Abstract: This book is a thorough introduction to computer science and computer programming in the Ada programming language. It covers everything from data structures, data types, and control structures to exception handling, abstract data representation, and concurrency. Additionally, a number of predefined packages are provided; some of them provide problem domains while others introduce the tactics of modularization. The contents of this book are divided into nineteen chapters, each of which is divided into several sections: 1- Building Procedures and Using Packages, 2- Defining and Using Simple Tools, 3- Types and Objects, 4- Controlling Program Execution, 5- Iteration, 6- Intermediate Control Structures and Information Passing, 7- Using Data Types, 8- Structuring Data, 9- Names, Scope, and Visibility, 10- Handling the Unexpected, 11-Concurrent Programming, 12- Parameterizable Data Structures, 13- Abstract Data Types, 14- Numeric Types, 15- Access Types, 16- Generics: Abstraction and Reuse, 17- Program Development Tools and System Interfacing Capabilities, 18- Concurrent Control Structures I, and 19- Concurrent Control Structures II.

Author: Volper, Dennis and Martin D. Katz

Publisher: Prentice-Hall, Inc.

Reference Number: ISBN: 0-13-493529-2; Library of Congress: 89-23153

Publication Date: 1/90

The Ada Generic Library: Linear List Processing Packages

Abstract: The Ada Generic Library project was begun in 1987 at General Electric Research and Development Center, with support also from GE Aerospace and GE Aircraft Engines. The purpose of the Ada Generic Library is to provide Ada programmers with an extensive, well-documented library of generic packages that can be used to substantially increase productivity and reliability. This volume contains eight Ada packages, with over 170 subprograms, for various linear data structures based on linked lists. The contents of the book are arranged into two parts, each of which is divided into several chapters: PART 1- Unrestricted- Access Data Structures (chapters 1- Introduction, 2- Linear Data Structures, 3- System Allocated Singly Linked Package, 4- User Allocated Singly Linked Package, 5- Auto-Reallocating Singly Linked Package, 6- Singly Linked Lists Package, 7- Linked List Algorithms Package, and 8- Using the Packages) and PART 2- Restricted-Access Data Structures (chapters 9- Introduction, 10- Double Ended Lists Package, 11- Stacks Package, 12- Output Restricted Deques Package, and 13- Using the Package).

Author: Musser, David R. and Alexander A. Stepanov

Publisher: Springer-Verlag New York Inc.

Reference Number: ISBN: 0-387-97133-5; Library of Congress: 89-21683

Publication Date: 1/89

Software Design Techniques for Large Ada Systems

Abstract: This book introduces design strategies for controlling the complexity inherent in large computer programs and in software systems as groups of large computer programs executing concurrently. The author addresses the subject of software engineering in Ada at a higher level than books on programming with Ada and focuses on issues associated with the design of software systems as a whole rather than on localized design and coding issues. The contents of the book are arranged into four parts, each of which is divided into several chapters: PART 1- Large Software Systems and Design (chapters 1- Large Software Systems and 2- Requirements and Traditional Design Considerations), PART 2- Basic Design Considerations (chapters 3- Design for Flexible Software, 4- Design for Concurrency and Interaction among Independent Packages, 5- Design of a Data Structure Internal to an Independent Package, 6- Design of Operations Internal to an Independent Package, and 7- Design for Classes of Data and Concurrent Operations), PART 3- Design Steps for Programs and Software Systems (chapters 8- Representing Design Requirements, 9- Steps for Designing a Large Computer Program, and 10- Steps for Designing a Software System), and PART 4- The Relationship of Design to Risk, Implementation Issues, and Life Cycle Costs (chapters 11- Controlling Risk and Implementation Problems through Design and 12- Control of Software Lifecycle Costs).

Author: Byrne, William E.

Publisher: Digital Press

Reference Number: ISBN: 1-55558-053-X; Library of Congress: 90-3930

Publication Date: 1/91

Problem Solving Methods with Examples in Ada

Abstract: This book is a collection of hints that can be used to produce a solution to a programming problem or to make progress toward it. The reader is expected to have some programming knowledge, but not much formal computer science experience or education. The contents of the book are arranged into six chapters, each of which is divided into several sections: 1- The Art of Thinking, 2- Analyzing the Problem, 3- Systematic Development, 4- Looking Back, 5- Ideas for Ideas, and 6- Case Studies.

Author: Lomuto, Nico

Publisher: Prentice-Hall Inc.

Reference Number: ISBN: 0-13-721325-5; Library of Congress: 86-12402

Publication Date: 1/87

Practitioner's Guide to Ada

Abstract: This book addresses the full needs of the practitioner as he/she starts to use Ada. The author covers Ada as a language, but also addresses such Ada-related topics as Ada oriented development environments, Ada oriented design methodologies, Ada policies and standards, Ada products and vendors, sources of Ada-related information, and making the transition to Ada. The contents of the book are arranged into eight chapters, each of which covers several related topics: 1-Introduction to the Ada Effort, 2- Ada as a Language, 3- da Environments, 4- Ada Policies and Related Standards, 5- Who's Who in Ada, 6- Making the Transition to Ada, 7- Ada Design and Implementation Methodologies, and 8- Other Uses of Ada and Future Directions.

Author: Wallace, Robert H.

Publisher: Intertext Publications, Inc. (McGraw-Hill Book Company)

Reference Number: ISBN: 0-07-067922-3; Library of Congress: 86-81064

Publication Date: 1/86

Ada in Action

Abstract: This book demonstrates the skills and techniques that make programmers more productive. Progressing from simple to more complex examples, this book teaches the proper use of the language; it teaches clarity of style, illustrates correct, efficient, maintainable code, and shows you how to apply software engineering techniques to Ada programs. The contents of the book are arranged into six chapters, each of which is divided into several sections: 1- Introduction, 2- Numeric Considerations, 3- Utilities, 4- Programming Isn't Software Engineering, 5- Testing Software Components and Programs, and 6- Conclusion. Includes computer disks.

Author: Jones, Do-While

Publisher: John Wiley and Sons, Inc.

Reference Number: ISBN: 0-471-6078-8; Library of Congress: 88-33785

Publication Date: 1/89

System Design with Ada

Abstract: This book provides a complete overview of aspects of Ada important for design. The author presents a deliberately constrained view of Ada, to help in formation of concepts before becoming concerned with all the features and syntactical details of Ada. The author develops and uses a graphical design notation and works out numerous graduated design examples in this notation. Notation is aimed at teaching, learning, actual use in industrial practice, and, eventually, CAD. The contents of the book are arranged into three parts, each of which is divided into several chapters: PART 1- Background (chapters 1- Introduction and 2- Ada as a System Design Language), PART 2- Introduction to Logical Design (chapters 3- Design-Oriented Pictorial System Description Techniques and 4- Introduction to Architectural Design {with Examples}), and PART 3- Exploring Logical Design (chapters 5- More Issues about Ada, 6- Modularity, Reliability, and Structure: A Communications Subsystem Example, 7- Logical Design of Layered Systems: An X.25 Protocol Example, 8- References, and 9- Questions for Self-Study).

Author: Buhr, R.J.A.

Publisher: Prentice-Hall, Inc.

Reference Number: ISBN: 0-13-881623-9; Library of Congress: 83-13673

Publication Date: 1/84

Ada in Distributed Real-Time Systems

Abstract: This book provides a complete methodology for designing and implementing Ada-based real-time systems on distributed architectures. It includes information on real-time distributed systems concepts, inter-processor communication, Concurrent programming languages, and inter-processor connections via networks and buses. Other topics include distributed system software support, distributed database systems, fault tolerance, and load balancing, and real-time executives. The contents of the book are arranged into four parts, each of which is divided into several chapters: PART 1- Distributed System Concepts (chapters 1- Introduction, 2- Distributed Real-Time Systems, 3- Distributed Systems, 4- Inter-processor Connections, and 5- Fault Tolerance), PART 2- Distributed System Software Support (chapters 6- Process Specification and Communication Support, 7- Distributed Database Systems, and 8- Support Environment for Distributed Real-Time Systems), PART 3- Ada and Distributed Systems (chapters 9- Parallelism and Distribution in Ada and 10- Ada Implementation Issues), and PART 4- Design Methodology (chapters 11- Hardware-First vs. Software-First, 12- Process Abstraction and Distribution, 13- Node Communication, 14- Distribution Configuration, 15- Decompositon of Large Tasks, 16- Fault Tolerance, and 17- Design Guidelines).

Author: Nielsen, Kjell

Publisher: Intertext Publications (McGraw-Hill Book Company)

Reference Number: ISBN: 0-07-046544-4; Library of Congress: 89-81477

Publication Date: 1/90

Parallel Programming in ANSI Standard Ada

Abstract: This book is about parallel programming; its notationis ANSI standard Ada. The author has written the book with nearly equal interest in parallel programming and Ada. The contents are arranged in four chapters, each of which are divided into several sections: 1- Introduction to Petri Net Graphs, 2- Parallel Independent Processes, 3- Introduction to the Ada Rendezvous, and 4- Exception Handling in Parallel Programs.

Author: Cherry, George W.

Publisher: Reston Publishing Company, Inc. (A Prentice-Hall Company)

Reference Number: ISBN: 0-8359-5434-X; Library of Congress: 83-26927

Publication Date: 1/84

Software Engineering Economics

Abstract: The primary learning objectives of this book are to 1) identify the factors most strongly influencing software costs and use them to determine the estimated costs of a software project, 2) understand the concepts of microeconomics as they apply to software engineering, and 3) apply economic analysis techniques to software engineering decision situations. The contents of the book are arranged into four parts, each of which is divided into several chapters: PART 1- Introduction: Motivation and Context (chapters 1- Case Study 1: Scientific American Subscription Processing, 2- Case Study 2: An Urban School Attendance System, and 3- The Goals of Software Engineering), PART 2- The Software Life-Cycle: A Quantitative Model (chapters 4- The software Lifecycle: Phases and Activities, 5- The Basic COCOMO Model, 6- The Basic COCOMO Model: Development Modes, 7- The Basic COCOMO Model: Activity Distribution, 8- The Intermediate COCOMO Model: Product Level Estimates, and 9- Intermediate COCOMO: Component Level Estimation), PART 3- Fundementals of Software Engineering Economics (chapters 10- Performance Models and Cost-Effectiveness Models, 11- Production Functions: Economies of Scale, 12- Choosing Among Alternatives: Decision Criteria, 13- Net Value and Marginal Analysis, 14- Present versus Future Expenditure and Income, 15- Figures of Merit, 16- Goals as Restraints, 17- System Analysis and Constrained Optimization, 18- Coping with Unreconcilable and Unquantifiable Goals, 19- Coping with Uncertainties: Risk Analysis, and 20- Statistical Decision Theory: The Value of Information), and PART 4- The Art of Software Cost Estimation (chapters 21- Seven Basic Steps in Software Cost Estimation, 22- Alternative Software Cost Estimation Methods, 23- Detailed COCOMO: Summary and Operational Description, 24- Detailed COCOMO Cost Drivers: Product Attributes, 25- Detailed COCOMO Cost Drivers: Computer Attributes, 26- Detailed COCOMO Cost Drivers: Personnel Attributes, 27- Detailed COCOMO Cost Drivers: Project Attributes, 28- Factors Not Included in COCOMO, 29- COCOMO Evaluation, 30- Software Maintenance Cost Estimation, 31- Software Lifecycle Cost Estimation, 32- Software Project Planning and Control, and 33- Improving Software Productivity).

Author: Boehm, Barry W.

Publisher: Prentice-Hall, Inc.

Reference Number: ISBN: 0-13-822122-7; Library of Congress: 81-13889

Publication Date: 1/81

UNIX Ada Programming

Abstract: Focusing on the novel aspects of the Ada language, which are illustrated by many fairly difficult and concrete examples written out in full, this book points out the interesting differences between the Ada language and other programming languages. The contents of the book are arranged into eight chapters, each of which is divided into several sections: 1- Introduction, 2- More About Types, 3- Packages, 4- Concurrencey, 5- Exceptions, 6- Generic Facilities, 7- Program Structure and Separate Compilation, and 8- Representation Clauses/Implementation-Dependent Features.

Author: Gehani, Narain

Publisher: Prentice-Hall, Inc.

Reference Number: ISBN: 0-13-938325-5; Library of Congress: 86-22547

Sponsoring Organization: AT&T Bell Telephone Laboratories, Inc.

Publication Date: 1/87

Software Engineering

Abstract: This book is an ideal text for students in computer science and related disciplines taking introductory or advanced courses on software engineering or courses on software specification, design, and management. It will also be suitable for professional programmers and systems analysts who need a clear and accessible guide to recent developments. The text is arranged into five parts, each of which is divided into several chapters: (chapters 1- Introduction, 2- Human Factors in Software Engineering), PART 1- Software Specification (chapters3- Software Specification, 4- System Modeling, 5- Requirements Definition and Specification, 6- Requirements Validation and Prototyping, 7- Formal Specification, 8- Algebraic Specification, and 9- Model-Based Specification), PART 2- Software Design (chapters 10- Software Design, 11- Object-Oriented Design, 12- Function-Oriented Design, 13- User Interface Design, and 14- Design Quality Assurance), PART 3- Programming Practice, Techniques and Environments (chapters 15- Programming Practice, 16- Data Abstraction, 17- Portability and Reuse, 18- Computer-Aided Software Engineering, and 19- Software Engineering Environments), PART 4- Software Validation (chapters 20- Program Verification and Validation, 21- Testing Techniques, 22- Static Program Verification, and 23- Testing and Debugging Tools), and PART 5- Software Management (chapters 24- Software Management, 25- Project Planning and Scheduling, 26- Software Cost Estimation, 27- Software Maintenance, 28- Configuration Management, 29- Documentation, and 30- Software Quality Assurance).

Author: Sommerville, Ian

Publisher: Addison-Wesley Publishing Company

Reference Number: ISBN: 0-201-17568-1; Library of Congress: 88-31867

Publication Date: 1/89

Problem Solving Principles For Ada Programmers - Applied Logic, Psychology, and Grit

Abstract: The book presents ways to improve problem-solving techniues in computer programming. After introducing the basic building blocks of problem solving, the book offers independent prescriptions that focus on remedied for typical programming problems. The book is arranged into five chapters, each of which is divided into sections: 1- Framework for Problem-Solving, 2- Basic Problem-Solving Prescriptions, 3- Advanced Problem-Solving Prescriptions, 4- Solving Larger Problems, and 5- Debugging.

Author: Lewis, William E.

Publisher: Hayden Book Company, Inc.

Reference Number: ISBN: 0-8104-5211-1

Publication Date: 1/82

Software Development with Ada

Abstract: This book discusses what the authors believe to be good software development practice and embody the discussion in Ada. It is a book about software engineering and practices that will lead to cheaper, more reliable, and more maintainable software systems. Readers should have some programming experience and must be familiar with at least one high-level programming language (Pascal, C, or FORTRAN) and should either be familiar with Ada or be in the process of learning Ada. The contents of the book are arranged into twelve chapters, each of which is divided into several sections: 1- Software Engineering, 2- Software Development Environments, 3- Designing Software Architecture, 4- Software Specification, 5- Detailed Software Design, 6- Data Types, 7- Programming Style, 8- Large System Programming, 9- Parallel Programming, 10- Real-Time Programming, 11- Input and Output, and 12- Portability and Reuse.

Author: Sommerville, Ian and Ron Morrison

Publisher: Addison-Wesley Publishing Company

Reference Number: ISBN: 0-201-14227-9; Library of Congress: 87-11553

Publication Date: 1/87

Principles of Software Engineering Management

Abstract: This book is designed to help software engineers and project managers understand and solve the problems involved in developing complex software systems. It provides practical guidelines and tools for managing the technical and organizational aspects of software engineering projects. The contents are arranged into three parts, each consisting of several chapters: PART 1- Why Do It? (chapters 1- The Pre-Natal Death of the Corporate Information System (CIS) Project, 2- Overview, 3- What is the Real Problem?, 4- What is a Solution and What is Not?, 5- Evaluating Solutions, 6- Estimating the Risk, and 7- An Introduction to the "Evolutionary Delivery" Method), PART 2- How to Do It (chapters 8- Functional Specification, 9-Attribute Specification, 10-Solutions: How to Find and Spesify Them, 11- Solution Evaluation, 12- The Inspection Process: Early Quality and Process Control, and 13- Evolutionary Delivery Planning and Implementation), and PART 3- Advanced Insights and Practical Experiences (chapters 14- The Management of Software Productivity, 15-Some Deeper and Broader Perspectives an Evolutionary Delivery and Related Technology, 16- Ten Principles for Estimating Software Attributes, 17- Deadline Preesure: How to Beat It, 18- How to Get Reliable Software Systems, 19- Software Engineering Templates, 20- Priciples for Motivating your Colleagues to use Quality Metrics, 21- The Omega Project: Inspection Experience, and 22- The Production Planning Case).

Author: Gilb, Tom

Publisher: Addison-Wesley Publishing Company

Reference Number: ISBN: 0-201-19246-2; Library of Congress: 87-31927

Publication Date: 1/88

Software Design: Methods and Techniques

Abstract: This book provides engineers with a compilation of varied techniques and methodologies,from which to choose suitable tools for particular applications, depending on design goals. It serves as a sourcebook for implementing both entire methodologies and single techniques to be used independently. The contents are arranged into four parts, each with several chapters: PART 1- Software: Engineering and Design (chapters 1- The Role of Software Design in Software Engineering and 2- Defining Design), PART 2: Design Representation Techniques (chapters 3- Representing System Architecture, 4- Representing Design Structure, 5- Representing Database Structure, and 6- Representing Software Behavior), PART 3- Software Design Methods (chapters 7- Data Flow-Oriented Methods, 8- Data Structure-Oriented Methods, and 9- Prescriptive Methods), and PART 4- Software Design Engineering (chapters 10- Developing a Software Design Methodology and 11- Issues in Software Design).

Author: Peters, Lawrence J.

Publisher: Yourdon Press

Reference Number: ISBN: 0-917072-19-7; Library of Congress: 80-50609

Publication Date: 1/81

Ada Applications and Administration

Abstract: Text introduces the Ada Programming Language and develops its role as a component of Structured Systems Technology (SST). The primary objective is threefold: teach the basics of programming in Ada; show how to use Ada as both a program design language and as a system design language in structured systems; integrate Ada into structured systems technology and highlight the benefits. The contents are arranged into four parts, each of which consists of several chapters: PART 1- Fundementals of the Ada Programming Language (chapters 1- Ada Language Basics, 2- Data Description: Typing and Objects, 3- Control Structures and Command 4- Arrays, 5- Subprograms, 6- Tasks, 7- The Ada Package, 8- Exceptions, 9- Pragmas, 10- Input-Output, 11- Generic Constructs, and 12- Constructing the Ada Program - Putting It All Together), PART 2- Structured System Technology, Including Design nd Development Utilizing the Ada Programming Language, Software Engineering, and Top-Down Design (chapters 13- Software Engineering and Structured System Technology, 14- Real Time, Concurrency, and Distributed Processing, 15- System Design and Test Utilizing the Ada Programming Language, and 16- The Ada Programming Support Environment and Compilers), PART 3- Management (chapter 17- Management, Documentation, and Configuration Control), and PART 4- Cost Management (chapters 18- Cost Management: Hardware, Software, and Firmware and 19- Estimating Software Costs).

Author: Johnson, Philip I.

Publisher: McGraw-Hill, Inc.

Reference Number: ISBN: 0-07-032627-4; Library of Congress: 90-39138

Publication Date: 1/90

Programming in Ada

Author: Barnes, J.G.P.

Publisher: Addison-Wesley Publishing Company

Reference Number: ISBN: 0-201-13799-2; Library of Congress: 83-3803

Publication Date: 1/82

Ada in Practice

Abstract: The primary goal of the book is to promote effective use of Ada in general programming and design practice and in embedded computer systems. Many features of Ada will be new to programmers and designers familiar with other languages; the program examples presented in the case studies are intended to serve as guidelines for proper usage of such features while pointing out common misconceptions and programming errors. The contents are divided into six chapters, each of them further divided into sections: 1- Naming Conventions, 2- Types, 3- Coding Paradigms, 4- Exceptions, 5- Program Structure, and 6- Ada Life Cycle Design Methodology.

Author: Ausnit, Christine N., Norman H. Cohen, John B. Goodenough, and R. Sterling Eanes

Publisher: Springer-Verlag

Reference Number: ISBN: 0-387-96182-8; Library of Congress: 85-13191

Sponsoring Organization: Softech, Inc.

Publication Date: 1/85

Ada: An Advanced Introduction

Abstract: This book is written especially for readers who have a good knowledge of at least one procedural programming language such as Pascal, C, PL/I, Algol 60, Simula 67, Algol 68, or FORTRAN. The book focuses primarily on the novel aspects of Ada, which are illustrated by many fairly difficult and concrete examples written out in full. Interesting differences between Ada and other programming languages are commented upon. The book is arranged into eight chapters: 1- Introduction, 2- More About Types, 3- Packages, 4- Concurrency, 5- Exceptions, 6- Generic Facilities, 7- Program Structure and Separate Compilation, and 8- Representation Clauses and Implementation Dependent Features.

Author: Gehani, Narain

Publisher: Prentice-Hall, Inc.

Reference Number: ISBN: 0-13-003962-4; Library of Congress: 82-15125

Publication Date: 1/83

Software Components with Ada: Structures, Tools, and Subsystems

Abstract: This book was written with four goals in mind: 1) to provide a catalog of reusable software components, illustrate how each component was developed, and demonstrate how they collectively can be applied to the construction of complex systems; 2) to offer examples of good programming style using Ada; 3) to continue the development of the object-oriented techniques first presented in "Software Engineering with Ada"; 4) to provide a study of data structures and algorithms using Ada as a language of expression. The contents of the book are arranged into four "packages," each of which contains several chapters: PACKAGE 1- Concepts (chapters 1-Reusable Software Components, 2- Ada and Object-Oriented Development, and 3- Structures, Tools, and Subsystems), PACKAGE 2- Structures (chapters 4- Stacks, 5- Lists, 6-Strings, 7- Queues and Deques, 8- Rings, 9- Maps, 10- Sets and Bags, 11- Trees, and 12- Graphs), PACKAGE 3- Tools (chapters 13- Utilities, 14- Filters and Pipes, 15- Sorting, and 16- Searching and Pattern Matching), and PACKAGE 4- Subsystems (chapters 17- The Architecture of Complex Systems and 18- Managerial, Legal, and Social Issues).

Author: Booch, Grady

Publisher: The Benjamin/Cummings Publishing Company, Inc.

Reference Number: ISBN: 0-8053-0609-9; Library of Congress: 86-31702

Publication Date: 1/86

The Programming Languages Pascal, Modula, CHILL, Ada

Abstract: This book takes four modern languages and details their evolution and relation to one another. Introduced in historical order, emphasis is put on the concepts of each language that are novel or different from the language that precedes it. The contents are divided into five chapters, each with several sections: 1-Introduction, 2- Pascal, 3- Modula, 4- CHILL, and 5- Ada.

Author: Smedema, C.H., P. Medema, and M. Boasson

Publisher: Prentice-Hall International

Reference Number: ISBN: 0-13-729756-4

Publication Date: 1/83

Ada Programming with Applications

Abstract: This book shows how to implement Ada for business applications. This self-contained introduction presents the syntax of Ada in a step-by-step fashion. Ultimately, the book will enable readers to 1) grasp the complexities of a strong typed language and explore its advantages for efficient and reliable implementation of package, 2) obtain practical, hands-on experience of such advanced concepts as data encapsulation, concurrency, and modularity, and 3) gain a solid understanding of such advanced topics as data encapsulation, concurrency, and modularity. The book is arranged eleven chapters, each consisting of several sections: 1- Introduction, 2- Real, Array, and Record Types, 3- AccessTypes, 4- Other Ada Statements, and Records with Variants, 5- Subprograms: Procedures and Functions, 6- Declarative Parts and Pragmas, 7- Packages, 8- Ada Input/Output Packages, 9- Program Structure and Compilation Issues, 10- Tasks, and 11- Exceptions.

Author: Vasilescu, Eugen N.

Publisher: Allyn and Bacon, Inc.

Reference Number: ISBN: 0-205-087744-2; Library of Congress: 86-1172

Publication Date: 1/87

Invitation to Ada

Abstract: This book emphasizes classical programming and leaves many of the esoteric features in Ada for advanced books on the subject. The textual material attempts to encourage good programming practice whenever appropriate. The contents are divided into eight chapters, each consisting of several sections: 1- Introduction to Ada, 2- Ada Language Concepts, 3- Variable and Type Declarations, 4- Ada Programming, 5- Computational Operations, 6- Arrays, Strings, and Records, 7- Control Structures, and 8- Procedures and Functions.

Author: Katzan, Harry

Publisher: Petrocelli Books, Inc.

Reference Number: ISBN: 0-89433-239-2; Library of Congress: 83-26968

Publication Date: 1/84

Ada Language and Methodology

Abstract: This book aims to introduce the reader to the Ada programming language and to place programming and the Ada language in perspective as part of the larger process of software development. The authors emphasize systematic techniques for designing large programs ("structured design") as well as techniques for implementing program modules ("structured programming"). The contents are arranged into four parts, each consisting of several chapters: PART 1- Programming in the Small (chapters 1- Introduction to Ada, 2- The Integer Data Type, 3- The Boolean Data Type, 4- Fundemental Control Structures, 5- Methodical Programming, 6- The Character Data Type, 7- Discrete Types, 8- Further Control Structures, 9- The Float Data Type, 10- Arrays and Strings, 11- Records, and 12- Subprograms), PART 2- Programming in the Large (chapters 13- Packages, 14- Exceptions, 15- Input-Output, and 16- Program Design and Construction), PART 3- Advanced Data Types (chapters 17- Access Types and Dynamic Data Structures, 18- Types with Discriminants, 19- Numeric Types, and 20- Data Types in General), and PART 4- Advanced Program Structures (chapters 21- Operator Declarations and Overloading, 22- Generic Program Units, 23- Tasks, 24- Portability and Machine-Dependent Programming, and 25- Case Study of a Large System).

Author: Watt, David A., Brian A. Wichmann, and William Findlay

Publisher: Prentice-Hall International

Reference Number: ISBN: 0-13-004078-9; Library of Congress: 86-18696

Publication Date: 1/87

Software Validation, Verification, Testing and Documentation

Abstract: This source book was edited from a number of government reports produced by the US Department of Commerce's National Bureau of Standards (NBS). It comprises six books that deal with the subjects mentioned in the title in sequence and in detail. The contents are arranged into six books, each of which are divided inot several sections: 1- Planning for Software Validation, Verification, and Testing, 2- Validation, Verification and Testing of Computer Software, 3- Software Testing, 4- Software Validation, Verification and Testing Technique and Tool Reference Guide, 5- Management Guide to Software Documentation, and 6- Computer Model Documentation Guides.

Author: Andriole, Stephen J. (ed)

Publisher: Petrocelli Books, Inc.

Reference Number: ISBN: 0-89433-269-4; Library of Congress: 85-29750

Publication Date: 1/86

Ada: An Advanced Introduction Including Reference Manual for the Ada Programming Language

Author: Gehani, Narain

Publisher: Prentice-Hall, Inc.

Reference Number: ISBN: 0-13-003997-7; Library of Congress: 83-11215

Sponsoring Organization: Bell Telephone Laboratories, Inc.

Publication Date: 1/84

Tutorial: Software Reusability

Abstract: This tutorial provides a variety of original and reprinted materials relevant to the utilization of reusability in the process of creating software-intensive systems. The topics range from concepts to case studies and from specific techniques to research explorations that may never be practical. The focus, however, is on what is currently possible for actual usage. The contents of the book are arranged into five parts, each of which contains several titles: PART 1- Tutorial Overview ("A Perspective on Reusability"), PART 2- Concepts and Surveys ("Reusable Software Engineering Concepts and Research Directions," "Varieties of Reusability," "An Expansive View of Reusable Software," "Reusability in Programming: A Survey of the State of the Art"), PART 3- Techniques ("On the Design of Ada," "Ada-Based Support for Programming-in-the-Large," "Enhancing Reusability with Information Hiding," "Reusability in the Smalltalk-80 Programming System," "Interface Issues in a Software Parts Technology," "A Software Classification Scheme for Reliability," "Module Interconnection Languages," "The UNIX System and Software Reusibility," "Software Engineering with Reusable Designs and Code," "A Software Factory: An Overall Approach to Software Production"), PART 4- Research ("The Draco Approach to Constructing Software from Reusable Components," "A Conceptual Analysis of the Draco Approach to Constructing Software Systems," "TMM: Software Maintenance by Transformation," "Reuse in the Context of a Transformation Based Methodology," "Program Reusibility through Program Transformation," "Reusing and Interconnecting Software Components," "Design of Ada Systems Yielding Reusable Components: An Approach Using Structured Algebraic Specification," "Reusability Lessons from Verificaiton Technology"), and PART 5- References ("Reusability in Software Engineering").

Author: Freeman, Peter

Publisher: Computer Society Press of the IEEE

Reference Number: ISBN: 0-8186-0750-5; Library of Congress: 87-45007

Publication Date: 1/87

Introduction to Ada

Abstract: This book is meant to serve as an introduction to the programming language Ada. The reader is not presumed to have extensive programming experience or advanced mathematical training; only one prerequisite is essential: an interest in the Ada language. The contents of this book are divided into twelve chapters, each of which is further divided into several sections: 1- Fundementals, 2- Conditional Execution, 3- Type Declarations, 4- Other Numeric Types, 5- Arrays, 6- Records, 7- Subprograms, 8- Access Types, 9- Packages, 10- Exceptions, 11- Generic Declarations, and 12- Files.

Author: Price, David

Publisher: Prentice-Hall, Inc.

Reference Number: ISBN: 0-13-477646-1; Library of Congress: 83-16082

Publication Date: 1/84

The Ada Programming Language

Abstract: Incorporating all the facilities of Ada and the latest developments in the language, this textbook provides a comprehensive introduction to the new language Ada. Particular stress is placed upon its use in the programming of real-time or embedded computer systems. This book is suitable for programmers and students who are familiar with such high-level languages as FORTRAN, Pascal, and PL/1. The contents are arranged into thirteen chapters, each of which are divided into several sections: 1- Introduction, 2- Types and Values, 3- Expressions, 4- Statements, 5- Subprograms, 6- Exceptions, 7- Packages, 8- Parallel Programming, 9- Program Structure, 10- Separate Compilation and Generics, 11- Input/Output and Representations, 12- More on Types, and 13- More on Tasking.

Author: Pyle, I.C.

Publisher: Prentice-Hall International

Reference Number: ISBN: 0-13-003921-7; Library of Congress: 80-25034

Publication Date: 1/81

An Introduction to Ada

Abstract: This book is written for students and experienced programmers alike; it provides a complete introduction to programming in Ada. All features of the Ada language are carefully explained and, wherever possible, illustrated by examples. The contents are arranged into seventeen chapters, each of which is divided into several sections: 1-The Structure of an Ada Program, 2- Notation, 3- Discrete Data Types, 4- Statements, 5- Declarations and Blocks, 6- Subprograms, 7- Packages, 8- Structured Data Types, 9- Program Structure Revisited, 10- Discriminated Types, 11- Access Types, 12- Tasks, 13- Exception Handling, 14- Generic Program Units, 15- Input/Output, 16- Real Data Types, and 17- Low Level Programming.

Author: Young, S. J.

Publisher: Ellis Horwood Limited

Reference Number: ISBN: 0-85312-535-X; Library of Congress: 82-15547

Publication Date: 1/83

Programming in Ada: A First Course

Abstract: This book introduces the Ada programming language in a manner suitable for students with little or no previous experience in programming. It shows how to design solutions to problems systematically and how to implement these solutions on a computer. The contents are arranged into seventeen sections, each with several subsections: 1- Problem Solving with Computers, 2- Ada Programs, 3- Types and Values, 4- Expressions and Assignment, 5- Selction and Repetition, 6- Input and Output, 7- Procedures and Functions, 8- Declarations Re-visited, 9- Arrays, 10- Unconstrained Arrays, 11- Records, 12- Packages, 13- Package Bodies, 14- Visibility and Existence, 15- Program Structure, 16- Exceptions, and 17- Files.

Author: Clark, Robert G.

Publisher: Cambridge University Press

Reference Number: ISBN: 0-521-27675-6; Library of Congress: 84-14965

Publication Date: 1/85

Ada for Programmers

Abstract: The book, presented as a self-paced tutorial, is intended to provide an understanding of Ada to the reader who is generally familiar with at least one other programming language. All the subtleties of Ada are not covered, but most programmers will be able to write significant Ada programs with the information provided by this book. The contents are arranged into twenty-two sections, each with several subsections: 1- Introduction, 2- Conceptual Overview, 3- Predefined Types and Operations, 4- Expressions, 5- Object Declarations, 6- Basic Ada Statements, 7- Subprograms, 8- Packages, 9- User-Defined Types, 10- Array Types, 11- Record Types, 12- Access Types, 13- Operator Overloading, 14- Overloading Enumeration Literals, 15- Derived Types, 16- Real Types, 17- More on Packages, 18- More on Statements, 19- Generics, 20- Tasking, 21- Exceptions, and 22- Program Structure and Separate Compilation.

Author: Olsen, Eric W. and Stephen B. Whitehill

Publisher: Reston Publishing Company, Inc. (A Prentice-Hall Company)

Reference Number: ISBN: 0-8359-0149-1; Library of Congress: 82-20462

Publication Date: 1/83

Communicating Sequential Processes

Abstract: The ultimat objective of this book is to convey an insight which will enable the reader to see both current and future problems in a fresh light, in which they can be more efficiently and more reliably solved and can sometimes be avoided. The contents are arranged into seven sections, each with several subsections: 1- Processes, 2- Concurrency, 3- Nondeterminism, 4- Communication, 5- Sequential Processes, 6- Shared Resources, and 7- Discussion.

Author: Hoare, C.A.R.

Publisher: Prentice-Hall International

Reference Number: ISBN: 0-13-153271-5; Library of Congress: 84-22324

Publication Date: 1/85

Data Structures with Ada

Abstract: This book is designed to equip the careful reader with the ability to understand and design data structures and their implementations, with an emphasis on the information-hiding principle to encourage system decomposition and "hiding" implementation details. The contents are arranged into ten sections, each with several subsections: 1- Abstraction and Abstract Data Types, 2- Algorithms, Recursion, and Performance Prediction, 3- Arrays, Vectors, Matrices, and Lists, 4- Linear Linked Lists, Pointers, and Cursors, 5- Queues and Stacks, 6- Directed Graphs, 7- Tree Structures, 8- Hash Table Methods, 9- Internal Sorting Methods, and 10- Sorting External Files.

Author: Feldman, Michael B.

Publisher: Reston Publishing Company, Inc. (Prentice-Hall) / Addison-Wesley

Reference Number: ISBN: 0-8359-1220-5; Library of Congress: 85-589

Publication Date: 1/85

Invitation to Ada & Ada Reference Manual

Abstract: This book emphasizes classical programming and leaves many of the esoteric features in Ada for advanced books on the subject. The textual material attempts to encourage good programming practice whenever appropriate. There are two parts; in the first, the contents are divided into eight chapters, each consisting of several sections: 1- Introduction to Ada, 2- Ada Language Concepts, 3- Variable and Type Declarations, 4- Ada Programming, 5- Computational Operations, 6- Arrays, Strings, and Records, 7- Control Structures, and 8- Procedures and Functions. The second part is the Ada Reference Manual.

Author: Katzan, Harry

Publisher: Petrocelli Books, Inc.

Reference Number: ISBN: 0-89433-132-9; Library of Congress: 82-3686

Publication Date: 1/82

Understanding Concurrency in Ada

Abstract: This book provides a detailed understanding of concurrency in the programming language Ada. Although it contains a great amount of detail, it explains Ada tasks in a simple and tutorial manner. The reader is expected to have a basic understanding of the Ada language. The contents are arranged into four parts, each consisting of several chapters: PART 1- Background (chapters 1- Introduction, 2- Overview of Concurrency in Ada, and 3- Case One: Hot Line Communication System {HLCS}), PART 2- Task Intercommunication (chapters 4- Rendezvous, 5- Caller and Called Tasks, 6- Producer-Consumer Model of Task Interaction, 7- The Bounded Buffer, 8- Buffer-Transporter Model of Task Interaction, and 9- Case Two: Air Track Display System {ATDS}), PART 3- Task Manipulation (chapters 10- Task Types and Objects, 11- Activation, 12- Termination, 13- Pointers to Task Objects, and 14- Case Three: Message Transmission System {MTS}), and PART 4-Tasks in Real-Time Systems (chapters 15- Machine Level Issues, 16- Case Four: Multiple Keyboard Handler {MKH}, 17- Tasks as Interrrupt Handlers, and 18- Case Five: Remote Temperature Sensor {RTS}).

Author: Shumate, Ken

Publisher: Intertext Publications / Multiscience Press, Inc. (McGraw-Hill)

Reference Number: ISBN: 0-07-057299-2; Library of Congress: 88-80271

Publication Date: 1/88

Ada: A First Introduction

Abstract: This book, based on the summer 1982 version of Ada that was submitted to the American National Standards Institute for approval contains a clear, concise, and easy-to-read introduction to the language. Its numerous examples are chosen from everyday life and it contains a twenty-page program displaying much of the full expressive power of Ada. The contents are arranged into twelve chapters, each with several sections: 1- Five Examples, 2- Describing Data, 3- Describing Components, 4- Subprograms, 5- Packages, 6- General Program Structutre, 7-Types Revisited, 8- Input and Output, 9- Parallel Processing, 10- Exception Conditions, 11- Utilizing the Implementation, and 12- Summary.

Author: Ledgard, Henry

Publisher: Springer-Verlag

Reference Number: ISBN: 0-387-90814-5; Library of Congress: 86-21941

Publication Date: 1/83

Fundamentals of Programming Languages

Abstract: This bbok takes a fundementally different point of view from traditional books on programming languages; it is the author's belief that the best possible way to study and understand today's programming languages is by focusing on a few essential concepts. Selected concepts form the outline for this book ; 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. The contents of the book are arranged into fourteen sections, each with several subsections: 1- The Evolution of Programming Languages, 2- The Challenge of Programming Language Design, 3- Defining Syntax, 4- Variables, Expressions, and Statements, 5- Types, 6- Scope and Extent, 7- Procedures, 8- Data Abstraction, 9- Exception Handling, 10- Concurrency, 11- Input-Output, 12- Functional Programming, 13- Data Flow Programming Languages, and 14- Object Oriented Programming Languages.

Author: Horowitz, Ellis

Publisher: Computer Science Press

Reference Number: ISBN: 0-88175-004-2; Library of Congress: 83-15369

Publication Date: 1/84

Programming in Ada

Abstract: This is a supplementary integrated programming guide for "An Introduction to Computer Science: An Algorithmic Approach (2d ed.)" ("ICS"). This supplementary guide is intended to provide the programming concepts required to implement the main ideas of "ICS" in the programming language Ada. The contents are arranged into ten chapters, each with several sections: 1- Introduction to Ada Programming, 2- Fundemental Ada Concepts, 3- Decision Structures, 4- Subprograms, 5- Composite Data Structures, 6- String Manipulation, 7- The Engineering of Computer Software, 8- Linear Data Structures, 9- Nonlinear Data Structures, and 10- Files.

Author: Tremblay, Jean-Paul, John M. DeDourek and Verna J. Friesen

Publisher: McGraw-Hill Publishing Company

Reference Number: ISBN: 0-07-065180-9; Library of Congress: 89-8300

Publication Date: 1/90

Studies in Ada Style

Abstract: This book discusses how the Ada programming language provides ways to support and exploit abstraction techniques. The contents are divided into two parts, each with several sections: PART 1- The Impact of Abstraction Concerns on Modern Programming Languages (section 1- The Impact of Abstraction Concerns on Modern Programming Languages) and PART 2- Programming Ada: Examples (sections 1- Introduction to Example Programs, 2- An Implementation of Queues, 3- A Simple Graph Package Providing an Iterator, 4- A Console Driver for a PDP-11, 5- Table Creation and Table Searching, and 6- Solution of Laplace's Equation with Several Ada Tasks).

Author: Hibbard, Peter, Andy Hisgen , Jonathan Rosenberg, Mary Shaw, and Mark Sherman

Publisher: Springer-Verlag

Reference Number: ISBN: 0-387-90816-1; Library of Congress: 82-19501

Publication Date: 1/83

Good Programming Practice in Ada

Abstract: The author's intention in writing this book is to introduce most of the features of the Ada language and to give advice on how these features should (and should not) be used. The contents are divided into twelve chapters: 1- Introduction, 2- Overview of the Language, 3- Declarations, Scalar Types, and Operations, 4- Control Statements, 5- Blocks, Subprograms, and Exceptions, 6- Composite and Access Types, 7- Packages, 8- More on Types, 9- Generics, 10- Input and Output, 11- Tasks, and 12- Ada in Perspective.

Author: Luker, P.A.

Publisher: Blackwell Scientific Publications

Reference Number: ISBN: 0-632-01507-1; Library of Congress: 87-13189

Publication Date: 1/87

Introduction to Programming Concepts and Methods with Ada

Abstract: This book is intended as a principal textbook for ACM's course CS1 (Introduction to Programming Methodology), a four-credit one-semester course for beginning computer science students. There are no prerequisites for the course. Iincluded is a 3.5" IBM PC formatted disk. The contents are arranged into fourteen chapters, each with several sections: 1- Introduction to Computers and Programming, 2- Developing a Program, 3- A First Look at Packages, 4- Floating Point Types, 5- Some Further Types and Subtypes, 6- Control Structures: Conditionals and Loops, 7- Program Correctness and Run-Time Events, 8- Writing and Using Subprograms, 9- More About Subprograms, 10- Introduction to Arrays, 11- More on Packages, 12- Discrete Types, 13- Composite Types, and 14- Generic Units.

Author: Smith, James F. and Thomas S. Frank

Publisher: McGraw-Hill, Inc.

Reference Number: ISBN: 0-07-911725-2; Library of Congress: 93-32502

Publication Date: 1/94

Introduction to Ada

Abstract: The purpose of this book is to give a comprehensive introduction to Ada. It covers all basic aspects of the language, with special emphasis on real-time systems design. The contents are divided into seventeen chapters, each with several sections: 1- An Introduction to Ada, 2- Elementary Arithmetic and Logic, 3- Program Control Structures, 4- Subprograms in Ada -- Procedures and Functions, 5- Types Revisited, 6- Number Crunching in Ada, 7- Modular Construction, Information Hiding, and the Package, 8- Composite Data Types -- The Array, 9- Composite Data Types -- Records, 10- Dynamic Data Types, 11- Information Hiding, Data Abstraction, and Private Types, 12- Exceptions, 13- Generics, 14- Concurrency -- The Ada Task, 15- Low-Level Issues, 16- Data Input-Output, and 17- Program Structure and Compilation Issues.

Author: Cooling, J.E., N. Cooling, and J. Cooling

Publisher: Chapman and Hall

Reference Number: ISBN: 0-412-44810-0; Library of Congress: 92-39743

Publication Date: 1/93

Programming and Problem Solving with Ada

Abstract: The authors of the book bring the broad capabilities of Ada to the CS1/C101 course with a strong emphasis on problem solving, and early use of Ada procedures and Ada packages, and extensive and varied exercises. The contents are arranged into seventeen chapters, each containing several secitons: 1- Overview of Programming and Problem Solving, 2- Ada Syntax, Semantics, and the Program Development Process, 3- Input and Design Methodology, 4- Boolean and Enumeration Types, Conditions, and Selection Control Structures, 5- Looping, 6- Subprograms, 7- Types and Subtypes, 8- Additional Control Structures, 9- The File Data Type and Handling Exceptions, 10- Records, 11- Packages, 12- One-Dimensional Arrays, 13- Searching, Sorting, and Multidimensional Arrays, 14- Applied Arrays and Packages: The List, 15- Elaboration, Error Handling, and Generic Units, 16- Storing and Processing Numeric Data, and 17- Recursion.

Author: Dale, Nell, Chip Weems, and John McCormick

Publisher: D.C. Heath and Company

Reference Number: ISBN: 0-669-29360-1; Library of Congress: 93-78374

Publication Date: 1/94

Rendezvous with Ada: A Programmer's Introduction

Abstract: The goal of this book is to teach the Ada language by being clear and direct yet technically accurate, by giving concrete form to abstract concepts in numerous code examples, and by helping the reader retain what is learned by including many exercises. The contents are arranged into sixteen sections, each with several subsections: 1- Introduction, 2- Overview, 3- Basics of Ada, 4- Control Structures, 5- Arrays, 6- Records, 7- Blocks, Procedures, and Functions, 8- Packages, 9- Generics, 10- Compilation Units, 11- Exceptions, 12- Access Types, 13- More About Types, 14- Input/Output, 15- Tasking, and 16- Low-Level Programming.

Author: Naiditch, David J.

Publisher: John Wiley and Sons, Inc.

Reference Number: ISBN: 0-471-61654-0; Library of Congress: 88-7929

Publication Date: 1/89

Ada - A Developmental Approach

Abstract: This book provides a complete introduction to software development using the programming language Ada. It is not only concerned with the production of Ada programs, but is also an introduction to the process of implementation and testing. The contents are arranged into three blocks, each with several sections: BLOCK 1- A Gentle Introduction to Software Development (sections 1.1- Progrmming in Context, 1.2- The Basic Form of an Ada Program, 1.3- Sequence in Programs, 1.4- Selection in Programs, 1.5- Definite Iteration in Programs, 1.6- Indefinite Iteration in Programs, 1.7- Procedurized Implementation, 1.8- Tracing and Debugging, 1.10- Production and Documentation, 1.11- Data Flow and Scope, 1.12- Functions), BLOCK 2- Data Structures and Simple Packages (sections 2.1- Ada Numeric Types: INTEGER and FLOAT, 2.2- Types and Subtypes, 2.3- Characters and Strings, 2.4- Relational Expressions and BOOLEAN Data Types, 2.5- Enumerated Types, 2.6- Sequence in Structures: Records, 2.7- Packages, 2.8- Iteration in Structures: Arrays, 2.9- Two- (and Higher-) Dimensional Arrays, 2.10- External Iterative Structures: The Structured File, 2.11- External Iterative Structures: The File Text, 2.12- External Iterative Structures: The Direct File), and BLOCK 3- Algorithms and Advanced Data Structures (sections 3.1- Searching Algorithms, 3.2- Sorting Algorithms, 3.3- Algorithm Analysis, 3.4- Generic Searching and Sorting, 3.5- Recursion, 3.6- Stacks, 3.7- Queues, 3.8- Dynamic Data Structures: Access Types, 3.9- Linked Lists, 3.10- Stacks and Queues Revisited, 3.11- Binary Trees, 3.12- Other Uses of Packages).

Author: Culwin, Fintan

Publisher: Prentice Hall International (UK) Ltd.

Reference Number: ISBN: 0-13-489147-3; Library of Congress: 91-26175

Publication Date: 1/92

Understanding Ada

Abstract: This book takes a very simple approach to explaining Ada. At the same time, it covers all aspects of Ada needed to begin programming effectively and provides a foundation for the further study of Ada and its use in constructing large software systems. The contents of the book are arranged into five chapters, each of which is divided into several sections: 1- Introduction, 2- Ada as Pascal, 3- Ada as Ada, 4- Advanced Features, 5- All About Ada.

Author: Shumate, Ken

Publisher: John Wiley and Sons, Inc.

Reference Number: ISBN: 0-471-60520-4; Library of Congress: 88-28743

Publication Date: 1/89

Developing with Ada: Life-Cycle Methods

Abstract: This book provides a practical, tested development methodology that allows the reader to implement real-time Ada systems quickly and efficiently, from requirements through design and code to integration and testing. The contents are divided into fourteen chapters, each with several sections: 1- Introduction, 2- Development Methods, 3- Operations Model Generation, 4- Requirements Model Generation, 5- Architecture Model Generation, 6- SoftwareDesign Model, 7- Document Generation According to DoD Std 2167A, 8- Integration and Test Strategies, 9- A Software Work Flow View of Real-Time Ada System Development, 10- Lightweight Helicpoter Target Acquisition Subsystem, 11- Satellite Control System Case Study, 12- Robot Controller Case Study, 13- Message Passing Operating System Case Study, and 14- Projects.

Author: Krell, Bruce E.

Publisher: Bantam Books

Reference Number: ISBN: 0-553-09102-6; Library of Congress: 92-73263

Publication Date: 1/92

JANUS / Ada Extended Tutorial

Abstract: (Includes disks.)

Author: Gilpin, Geoff and the R.R. Software Staff

Publisher: R.R. Software, Inc.

Reference Number: None Available

Publication Date: 1/86

POSIX: IEEE Standard Portable Operating System Interface for Computer Environments

Abstract: The purpose of this standard is to define a standard operating system interface and environment based on the UNIX Operating System documentation to support application portability at the source level. It is intended for systems implementors and applications software developers.

Author: IEEE Standards Board

Publisher: IEEE, Inc.

Reference Number: ISBN: 1-55937-003-3

Sponsoring Organization: Technical Committee on Operating Systems of the IEEE Comp. Soc.

Publication Date: 1/88

Envisioning Information

Author: Tufte, Edward R.

Publisher: Graphics Press

Publication Date: 1/90

The Visual Display of Quantitative Information

Author: Tufte, Edward R.

Publisher: Graphics Press

Publication Date: 1/83

Significant Accomplishments and Documentation of the International Purdue Workshop on Industrial Computer Systems (Part 2 - The Long Term Procedural Language)

Publisher: Purdue University

Sponsoring Organization: Dept. of the Navy/Office of Naval Research

Producing Organization: Purdue Laboratory for Applied Industrial Control

Publication Date: 1/77

APSE AIE and ALS I&T Technical Progress

Publisher: TRW Systems Engineering Applications Division

Sponsoring Organization: Naval Oceans Systems Center

Producing Organization: TRW Systems Engineering Applications Division

Publication Date: 4/82

A Collection of Papers Presented at the Workshop on High-Level Language Computer Architecture

Publisher: High-Level Language Computer Architecture Workshop Committee

Sponsoring Organization: U.S.A.F. - Space Division/Aerospace Corporation

Producing Organization: High-Level Language Computer Architecture Workshop Committee

Publication Date: 10/81

Report on Ada Progrm Libraries Workshop

Author: Goguen, Joseph A. and Karl N. Levitt

Publisher: SRI International

Sponsoring Organization: Department of Defense, Ada Joint Program Office

Producing Organization: SRI International

Publication Date: 11/83

Presentation Material for ICASE/NASA Langley Workshop on Real-Time Programming for NASA Flight Projects

Publisher: NASA, Data Systems and Analysis Directorate

Publication Date: 10/79

Software Test and Evaluation Workshop (Transcript of Proceedings)

Publisher: Control Data Corporation

Sponsoring Organization: Office of the Director Defense Test and Evaluation

Producing Organization: Control Data Corporation

Publication Date: 9/82

Cost/Benefits Analysis for Technology Transfer of Reusable Software Implementation Project (RSIP) Methodology into Navy Systems - Work Initiation Meeting

Publisher: Lockheed Missiles and Space Company

Sponsoring Organization: Space and Naval Warfare Systems Command

Producing Organization: Lockheed Missiles and Space Company

Publication Date: 3/86

The World of Ada - Part1

Abstract: Multiple copies. Several tape types. Decide on library location.

Publisher: Department of Defense, Ada Joint Program Office

Publication Date: 7/84

The World of Ada - Part 2

Abstract: Multiple copies. Several tape types. Decide on library location.

Publisher: Department of Defense, Ada Joint Program Office

Publication Date: 7/84

Software Engineering in Ada - Fundementals of Ada

Abstract: Multiple copies. Several tape types. Decide on library location.

Publisher: U.S. Army

Publication Date: 2/89

(PCIS?) Conference Videos, June 3-7 1991*

Abstract: *also cassettes tapes

Publication Date: 6/91

Proceedings of the STARS CASE Vendors Workshop, July 23-24 1991

Publication Date: 7/91

Ada Compiler Evaluation Capability (ACEC)

Publisher: Data and Analysis Center for Software

Publication Date: 3/89

Ada/ED Version NV 1.5

Publisher: U.S. Army, CECOM

Publication Date: 4/86

Ada/ED Version NV 1.5

Publisher: U.S. Army, CECOM

Publication Date: 5/86

Ada

Publisher: Commander, CECOM

Publication Date: 7/86

Ada VAX.ISI.EDU

Publication Date: 3/87

SGT York Division Air Defense Gun System - New Narration

Publisher: Ford Aerospace and Communications Corporation

Publication Date: 3/83

Tutorial on Ada Exceptions (MacWrite 4.5)*

Abstract: Diskette.

Publication Date: 1/88

Exploring Ada

Abstract: This book is the complete guide to understanding the uniue and comprehensive programming language, Ada. Volume 1 describes Ada's type model, statements, subprograms and packages. The contents of the book are divided into fifteen sections, each of them with several subsections: 1: Introduction, 2: Ada Syntax, 3: Type Declarations, 4: Enumeration Types, 5: Numbers, 6: Integer Types, 7: Real Types, 8: String Types, 9: Array Types, 10: Record Types, 11: Access Types, 12: Operations and Expressions, 13: Statements, 14: Subprograms, and 15: Packages.

Author: Bryan, Douglas L. and Geoffrey O. Mendal

Publisher: Prentice-Hall, Inc.

Reference Number: ISBN: 0-13-295684-5; Library of Congress: 89-4014

Publication Date: 1/90

Ada Yearbook

Author: Loftus, Chris (ed)

Publisher: IOS Press

Reference Number: ISBN: 90 5199 155 X; ISSN: 0927-5444; Series: 7

Sponsoring Organization: Ada Language UK Ltd.

Publication Date: 1/94

Programming Concepts with the Ada Language

Abstract: This book is designed to help the reader understand the concepts discussed in the Ada Language Reference Manual. The reader will be able to more efficiently design an Ada program by using this book in conjunction with the Language Reference Manual and the more formal and rigorous Ada literature.The contents of this book are arranged into five chapters, each of which is divided into several sections: 1- Ada, 2- Programming Structures, 3- Data Structures, 4- Tasks, and 5- System Design with Ada.

Author: Freedman, R.S.

Publisher: Petrocelli Books, Inc.

Reference Number: ISBN: 0-89433-190-6; Library of Congress: 81-23487

Publication Date: 1/82

Understanding Ada

Abstract: This book explains Ada simply; some of the subtle or complicated features of Ada are ignored or treated lightly. The level of detail is such that it lets the technical manager or data processing manager know the answers to the questions, "What is Ada? How does it work?" The contents of the book are arranged into five parts, each of which is divided into several sections: 1- Introduction, 2- Ada as Pascal, 3- Ada as Ada, 4- Advanced Features, and 5- All About Ada.

Author: Shumate, Ken

Publisher: Harper and Row, Publishers, Inc.

Reference Number: ISBN: 0-06-046133-0; Library of Congress: 83-12705

Publication Date: 1/84

Data Structures of Pascal, Algol 68, PL/1, and Ada

Abstract: This book covers a fundemental aspect of programming, namely programming language concepts. Pascal and the Pascal-like subsets of Algol 68, PL/1 and Ada are compared and evaluated on the level of concepts by means of a new didactic model, called SMALL, which is also applicable to other programming languages.The contents are arranged into eleven chapters, each of which contaings several sections: 0- Introduction, 1- Values, 2- Atomic Data, 3- Atomic Locations, 4- Composite Data, 5- Composite Locations, 6- Routine Values, 7- Contents Function, 8- Expressions, 9- Types, and 10- Type Checking.

Author: Lewi, Johan and Jan Paredaens

Publisher: Springer-Verlag

Reference Number: ISBN: 3-540-15121-4; Library of Congress: 86-15560

Publication Date: 1/86

Designing Large Real-Time Systems with Ada

Abstract: The objective of this book is to present a comprehensive methodology for the design and implementation of large real-time systems in Ada. The reader is expected to have a good basic understanding of the Ada programming language. The contents of the book are arranged into five parts, each of which consists of several chapters: PART 1- Real-Time Systems (chapters 1-Characteristics, 2- Hardware Interfaces, 3- Concurrency, and 4- Summary), PART 2- Designing Large Real-Time Systems (chapters 5- Programming in the Large, 6- Process Abstraction, 7- Analysis and Design Tools, and 8- Summary), PART 3- Ada Design Principles (chapters 9- Process Identification, 10- Packages, 11- Generics, 12- Decomposing Large Tasks, 13- Coupling and Cohesion, 14- Channels and Pools, 15- Tasking Paradigms, 16- Caller/ Called Decisions, 17- Polling, 18- Exceptions, 19- Low-Level Interfacing, and 20- Summary), PART 4- Ada Real-Time Design Methodology (chapters 21- Background, 22- Ada Design Methodology, 23- Ada as Program Design Language, and 24- Summary), and PART 5- Evaluating an Ada Real-Time Design (chapters 25- Verification and Validation, 26- Ada Design Evaluation Guidelines, and 27- Summary).

Author: Nielsen, Kjell and Ken Shumate

Publisher: Intertext Publications / Multiscience Press, Inc. (McGraw-Hill)

Reference Number: ISBN: 0-07-046536-3; Library of Congress: 88-80272

Publication Date: 1/88

Advanced Microprocessors

Abstract: This book presents a history of the field of microprocessors as well as a comprehensive picture of current trends. In keeping with the great interest in and increasing usage of the newer chips, the forty-one papers reprinted in this volume concentrate on 16-bit and 32-bit microprocessors. The papers are arranged into six parts: PART 1- Overview ("Microprocessor Architectures: Ten Years of Development," "The New Microprocessors," and "VLSI Impact on Microprocessor Evolution, Usage, and System Design"), PART 2- 16-Bit Microprocessors ("An Architectural Comparison of Comtemporary 16-Bit Microprocessors," "The Intel iAPX 286 Microprocessor," "Memory Protection Moves onto 16-Bit Microprocessor Chip," "A Task Driven Peripheral Interface," "MC68000 - Break Away from the Past," "The M68451 Memory Management Unit," "16-Bit-mP Peripheral ICs Provide Datacomm Support," "The NS16000 Family - Advances in Architecture and Hardware," "Design Considerations of the NS16082 Memory Management Unit," "High-Performance Peripherals Complement NS16000 Familty," "An Overview of the 9900 Microprocessor Family," "Intelligent Peripherals of the VLSI Era," "Benefits of the Z8000 Familty Planning," "Memory Management Made Easy with the Z8000," "A Coherent Family of Peripherals for the Z8000 16-Bit Microprocessor," "Chip Set Bestows Virtual Memory on 16-Bit Minis," "16-Bit C-MOS Processor Packs in Hardware for Business Computers," and "Low-Cost 16-Bit Microprocessor Has Performance of Midrange Minicomputer"), PART 3- 32-Bit Micrprocessors ("An Architectural Comparison of 32-Bit Microprocessors," "An Architecture for the 80's - The Intel iAPX 432," "The Execution Unit for the VLSI 432 General Data Processor," "The Interface Processor for the Intel VLSI 432 32-Bit Computer," "A 32-Bit Microprocessor with Virtual Memory Support," "The Operating System and Language Support Features of the BELLMAC -32 Microprocessor," "A 32-Bit VLSI CPU Chip," and "Gate Array Embodies System/370 Processor"), PART 4- Performance Evaluation ("Evaluation Kernels for Microprocessor Performance Analyses," "The Big Three - Today's 16-Bit Microprocessor," and "A Performance Evaluation of the Intel iAPX 432"), PART 5- Related Technologies ("The Elements of Single-Chip Microcomputer Architecture," "Design Considerations for Single-Chip Computers of the Future," and "A Survey of Bit-Sliced Computer Design"), and PART 6- System Issues ("Operating Systems Help Micros Act Like Minis," "Multitasking Operating Systems for Microprocessors," "A Proposed Standard for Extending High-Level Languages for Microprocessors," "Proposed Microcomputer System 796 Bus Standard," "The Bus Whose Time Has Come," and "Advanced Microcomputer System Bus").

Author: Gupta, Amar and Hoo-min Toong

Publisher: IEEE Press / John Wiley and Sons

Reference Number: ISBN: 0-87942-167-3; Library of Congress: 83-6092

Sponsoring Organization: IEEE Computer Society

Publication Date: 1/83

Thesaurus

Abstract: The INSPEC Thesaurus is the subject key to the ISPEC database. It is used by INSPEC's subject specialists to index all the documents added to the database, which covers physics, electronics, communications, electrical engineering, information technology, computers, and the applications of computers to a wide variety of disciplines. The Thesaurus has two parts: an alphabetical display of terms and a hierarchical display. The alphabetical display is a single alphabetical listing of all terms, both "preferred" and "lead-in" terms; preferred terms are shown in bold type, lead-in terms (cross references) are shown in lighter type. The hierarchical display collects individual terms scattered in the alphabetical display and presents them in hierarchies or families under the top terms (TT) of the hierarchy. Arrangement of entries is made alphabetically on the "word-by-word" or "nothing-before-something" principle.

Publisher: INSPEC

Reference Number: ISBN: 0-85296-489-7

Sponsoring Organization: The Institution of Electrical Engineers

Publication Date: 1/91

Introduciton to Ada

Abstract: This is a textbook that discusses the Ada programming language. It can be used by readers with little or no programming experience. This book can be used as a text for Ada courses and can also be used as a self-study text for people who want to learn Ada on their own. The discussion of Ada is complete enough so that, after completing the book, the reader should be able to write complex and powerful programs in Ada. Thus, this book can also be used by programmers who want to add Ada to their repertoire of programming languages. The contents are divided into eleven chapters, each with several sections: 1- An Introduction to Ada, 2- Arithmetic Operations, 3- Basic Input and Output, 4- Control Statements: Basic Ideas of Structured Programming, 5- Arrays: Introduction to Scope and Dynamic Variables, 6- Characters and Strings, 7- Subprograms, 8- Packages, 9- Exceptions, 10- User-Defined Type Specifications, and 11- Some Additional Topics.

Author: Chirlian, Paul M.

Publisher: Matrix Publishers, Inc.

Reference Number: ISBN: 0-916460-42-8; Library of Congress: 84-15456

Publication Date: 1/84

Software Systems Construction with Examples in Ada

Abstract: This book is about practical construction of software systems. It proposes an approach called "entity-life modeling," where the software is patterned as closely as possible after structures found in the problem environment. With this approach, there is a seamless transition from problem analysis to design, leading to straight-forward software that is easy to understand and maintain.In this book, entity-life modeling is applied to an Ada programming language. The contents are arranged into nine chapters, each with several sections: 1- Introduction, 2- Control Structuring, 3- Modularization, 4- Object-Based Software Construction, 5- Finite Automata and Software, 6- Concurrent Tasks, 7- Resource Sharing, 8- Entity-Life Modeling, and 9- Case Study: Flexible Manufacturing System.

Author: Sanden, Bo

Publisher: Prentice-Hall, Inc.

Reference Number: ISBN: 0-13-030834-X; Library of Congress: 93-2801

Publication Date: 1/94

Next-Generation Computers

Abstract: This book contains articles by forty experts and leaders in industry, government, and academia and by the IEEE Spectrum Series Staff. It is a comprehensive review of next-generation technologies, the worldwide effort to advance them, and the likely technical and sociotechnical fallout. The contents are divided into three parts, each with several sections (each containing several titles): PART 1- Tomorrow's Computers (1- The Quest, 2- The Challenges, 3- The Outlook), PART 2- Probing the Issues (1- Advanced Technology, 2- Research and Development, 3- Sociotechnology, 4- Military R&D), and PART 3- A Tutorial Review (1- Expert Systems, 2- Speech Recognition, 3- Computer Vision, 4- Software, 5- Computer Architecture, 6- VLSI, 7- Networking, 8- Supercomputers).

Author: Torrero, Edward A. (ed)

Publisher: IEEE Press

Reference Number: ISBN: 0-87942-194-0; Library of Congress: 85-14315

Sponsoring Organization: IEEE, Inc.

Publication Date: 1/85

Writings of the Revolution: Selected Readings on Software Engineering

Abstract: This book is a new collection of twenty-five hard-to-find articles that helped define the state of the art in software analysis, design, and programming. The articles are arranged into seven sections, each containing several titles: SECTION 1- Analysis Techniques (" A Technique for Software Module Specification with Examples," "Cost/Benefit Analysis of Information Systems," "Evolution of Business System Analysis Techniques"), SECTION 2- Design Techniques ("The Structure of the "THE"-Multiprogramming System," "Program Development by Stepwise Refinement," "A Software Design and Evaluation System," "Design and Code Inspections to Reduce Errors in Program Development"), SECTION 3- Programming: Languages and Constructs ("Notes on Avoiding 'GO TO' Statements," "Better Manpower Utilization Using Automatic Restrcuturing," "PDL -- A Tool for Software Design," "The Emperor's Old Clothes"), SECTION 4- Programming: Mathematical Proofs of Program Correctness ("Bohm and Jacopini's Reduction of Flow Charts," "Proof of a Program: FIND," "Mathematical Foundations for Structured Programming"), SECTION 5- Project Management -- Control and Cost Estimation ("Software and Its Impact," "A Model of Large Program Development," "Project Planning and Control," "Estimating Software Costs"), SECTION 6- Metrics ("Models of Computations and Systems -- Evaluations of Vertex Probabilities in Graph Models of Computations," "Exploratory Experimental Studies Comparing Online and Offline Programming Performance," "Toward a Theoretical Basis for Estimating Programming Effort," "A Method of Programming Measurement and Estimation," "Measuring Programming Quality and Productivity," "A Measure of Control Flow Complexity in Program Text"), and SECTION 7- Human Conceptual Limits ("The Magical Numer Seven, Plus or Minus Two: Some Limits on Our Capacity for Processing Information").

Author: Yourdon, Edward (ed)

Publisher: Yourdon Press

Reference Number: ISBN: 0-917072-25-1; Library of Congress: 81-71933

Sponsoring Organization: Yourdon, Inc.

Publication Date: 1/82

Software Engineering: A Practitioner's Approach

Abstract: This book provides guidance in software development methods, a critical practical concern usually neglected in formal or on-the-job training. Drawing from many topics in computr science, the book emphasizes planning and estimation techniques, analysis of computer-based systems, and the software elements of design, coding, testing, and maintenance. The contents are arranged into thirteen chapters, each eith several sections: 1- Computer System Engineering, 2- The Software Crisis, 3- System Planning, 4- Software Planning, 5- Software Requirements Analysis, 6- The Software Design Process, 7- Software Concepts, 8- Data Flow-Oriented Design, 9- Data Structure-Oriented Design, 10- Detailed Design Tools, 11- Programming Languages and Coding, 12- Software Testing and Reliability, and 13- Software Maintenance.

Author: Pressman, Roger S.

Publisher: McGraw-Hill Book Company

Reference Number: ISBN: 0-07-050781-3; Library of Congress: 81-20718

Publication Date: 1/82

Licensing Law Handbook - Federal Government Intellectual Property Guide

Abstract: The purpose of this book is to present both the policies and the implementation of the federal statutes, regulations, and contract clauses of federal intellectual property management. The contents of the book are divided into twenty-three chapters, each with several sections: 1- The Federal Procurement System, 2- Government-Wide Intellectual Property Policies, 3- Federal Acquisition Regulations (FAR), 4- Department of Defense Federal Acquisition Regulation Supplement, 5- National Aeronautics and Space Administration, 6- Department of Energy, 7- General Services Administration, 8- Department of Housing and Urban Development, 9- Department of the Interior, 10- Department of Veterans Affairs, 11- Department of Agriculture, 12- Department of Commerce, 13- Department of Education, 14- Department of Health and Human Services, 15- Department of Justice, 16- Department of Labor, 17- Department of State, 18- Department of Transportation, 19- Tennessee Valley Authority, 20- Environmental Protection Agency, 21- Small Business Administration, 22- Other Independent Agencies, and 23- Federal Employee Rights to Patents and Inventions.

Author: Hopkins, Linda and Kenneth Ryesky

Publisher: Clark Boardman Callaghan

Reference Number: ISBN: 0731-5783, 0-87632-071-X

Publication Date: 1/94

Technology Management: Law/Tactics/Forms

Abstract: This volume incorporates three editions, 1979, 1982, and 1984, of the author's "Technology Management Handbook." The contents are divided into five parts, each containing several chapters: PART 1- Foundations of Licensing (chapters 1- Understanding Technology as a Tool for Corporate Survival, Opportunity, and Growth; 2- Overview of the Licensing Discipline; 3- The Significance of Technology Management and Licensing Professionals), PART 2- Licensing in Corporate Environments (chapters 4- Licensing Management; 5- Technology Auditing: Filling a Gap on the Balance Sheet), PART 3- Implementing Technology Transfers (chapters 6- The Art of Licensing Out; 7- Licensing In -- A Key to Continued Corporate Health; 8- Some Pointers on Licensing Negotiations), PART 4- Agreements and Their Substance (chapters 9- The Role of Lawyers in Licensing Negotiations; 10- Royalties and Other Sources of Income from Licensing; 11- Case Studies in Licensing Strategies and Transactions; 12- Anatomy of a Major International Technology Licensing Agreement; 13- Disclosure and Secrecy; 14- Option Agreements; 15- Sales, Distributorship, and Related Agreements; 16- Straight Patent Licenses; 17- Trade Secrets and Know-How; 18- Trademarks and Trading Names; 19- Franchises; 20- Universities and the Government as Sources of Technology; 21- Joint Ventures; 22- Computer Software; 23- Consulting and Management; 24- The Licensing Discipline and Intellectual Property Litigation; 25- Evaluating Technology for Legal and Regulatory Purposes), and PART 5- Technolgy Management and the Third World (chapters 26- The World of International Licensing; 27- Consulting in and Transferring Technology to Developing Countries and the Third World).

Author: Goldschelder, Robert

Publisher: Clark Boardman Callaghan

Reference Number: ISBN: 0-87632-591-6; Library of Congress: 88-4956

Publication Date: 10/94

Confessions of a Used Program Salesman: Institutionalizing Software Reuse

Abstract: In this entertaining and comprehensive guide, the author shows how to go beyond ad hoc software reuse to institutionalize the process -- how to create a well-planned program, design modular software specifically for reuse across applications, and take full advantage of your efforts. Tracz offers sound advice and hard-won truths from the reuse tranches. Through these insightful "Confessions," the book takes a close look at such specific issues as the characteristics of quality reusable software; intellectual property rights; the roles of Ada, C++, CASE, and Design patterns; and emerging technologies. The step-by-step program included in the book will lead you down the road to reuse, steering clear of the potholes and hazards that others have discovered at a heavy cost.

Author: Tracz, Will

Publisher: Addison-Wesley Publishing Company

Reference Number: ISBN: 0-201-63369-8; Library of Congress #: 94-25269

Publication Date: 1/95

Software Reusability

Abstract: This book contains the discussions and major results from the First International Workshop on Software Reusability held in Dortmund (Germany) in July 1991. This workshop brought together the worldwide community in software reuse for the first time. It merged several initiatives workshops previously held either in the US, or Europe, or Japan in various locations. Forty participants from America, Europe, and Asia were invited, based on their accepted position papers, which were selected by an international Program Committee. Based on the papers' contents, five major topics of interest were identified, representing the highly challenging aspects currently pursued in the research community: Managerial Issues, Domain Analysis, Formal Methods, Tools and Environments, and Practical Experience. To produce a coherent, broad, and exhaustive coverage of the current state of research in software reusability, the chapters (each with several sections) of this book represent the stream of discussions and the results of working groups: 1- Historical Overview, 2- Domain Analysis, 3- Managerial and Organizational Issues -- Starting and Running a Software Reuse Program, 4- Formal Methods, 5- Tools and Environments, and 6- Software Reuse Empirical Studies.

Author: Schafer, Wilhelm, Ruben Prieto-diaz, and Masao Matsumoto

Publisher: Prentice Hall; Ellis Horwood

Reference Number: ISBN: 0-13-063918-4

Publication Date: 1/94

Software Reusability: Concepts and Models

Abstract: This book, with its accompanying volume, is aimed at describing an emerging technical area. The authors have set out to present a technological framework or context for understanding software reuse, to present a representative spectrum of the technologies that may be applied to the reuse problem so that the reader who wants to exploit software reuse may start by standing on the shoulders of others, to present a spectrum of viewpoints so that the book will be of value to both the researcher and the working software engineer, and to provide a sense of what works in reuse and what does not.The contents of this book are arranged into sections, susebctions, and chapters: SECTION I- Overview and Assessment [Chapter 1- Reusability Framework, Assessent, and Directions; Chapter 2- An Expansive View of Reusable Software; Chapter 3- Capital-Intensive Software Technology]; SECTION II- Composition-Based Systems [Subsection A- Emphasis on Practice (Chapter 4- Classification of Reusable Modules; Chapter 5- Interface Issues in a Software Parts Technology; Chapter 6- Enhancing Reusability with Information Hiding); Subsection B- Emphasis on Theory (Chapter 7- Principles of Parameterized Programming; Chapter 8- Design of Ada Systems Yielding Reusable Components: An Approach Using Structured Algebraic Specification; Chapter 9- The Templates Approach to Software Reuse; Chapter 10- PARIS: A System for Reusing Partially Interpreted Schemas)]; and SECTION III- Generation-Based Systems [Subsection A- Language-Based Systems (Chapter 11- Reusability of Design for Large Software Systems: An Experiment with the SETL Optimizer); Subsection B- Application Generators (Chapter 12- Draco: A Method for Engineering Reusable Software Systems); Subsection C- Transformational-Based Systems (Chapter 13- Reusability Though Program Transformations; Chapter 14- Reuse in Context of a Transformational-Based Methodology; 15- Abstract Programming and Program Transformation -- An Approach to Reusing Programs)].

Author: Biggerstaff, Ted J., and Alan J. Perlis (eds)

Publisher: ACM Press

Reference Number: ISBN: 0-201-08017-6; Library of Congress #: 88-34280

Publication Date: 1/89

Rendezvous with Ada 95

Abstract: This book was specifically designed for those who need to quickly acquire an in-depth working knowledge of Ada 95. It provides readers with easy-to-follow, step-by-step guidance on all aspects of this powerful language. It also provides fully integrated coverage of all the language's new features and characteristics.

Author: Naiditch, David A.

Publisher: John Wiley and Sons, Inc.

Reference Number: ISBN: 0-471-01276-9; Library of Congress: 94-32049

Publication Date: 1/95

Object Lessons: Lessons Learned in Object-Oriented Development Projects

Abstract: This book encourages software professionals to build high-quality, innovatrive software products with less risk by avoiding the mistakes that plague the industry. With the wisdom acquired from over a decade of experience building commercial software products using objects, the author addresses the questions that both the technical leaders and managers face as they venture into this important new area of software development.

Author: Love, Tom

Publisher: SIGS Books, Inc.

Reference Number: ISBN: 0-9627477-3-4; Library of Congress: 93-84410

Publication Date: 1/93

Ada: Towards Maturity

Abstract: This book focuses on three themes of Ada's maturing status: Ada 9X revision, application to high integrity systems, and feedback from practical applications. The contents consist of thirteen papers, each by a different author: 1- Implementing Ada 83 and Ada 9X Using Solaris Threads; 2- Towards Distrinuted Objects in Ada 9X; 3- Pragmatic Design with Ada; 4- Experiences in Developing a Systems Trials Analysis Facility in Ada; 5- Ada 9X -- Satisfying Requirements; 6- Object-Oriented Programming and Ada 9X: What can We Learn from C++?; 7- High Integrity Ada: Principles and Problems; 8- Automatic Proof of the Absence of Run-Time Errors; 9- A Formal Design Method for Real-Time Ada Software; 10- From Formal Descriptions to Ada Code; 11- Worst-Case Timing Analysis of Exception Handling in Ada; 12- Text Formatting Facilities for Ada; and 13- Sudden Infant Death Syndrome Monitoring on a Lap-Top Using Ada.

Author: Collingbourne, L. (ed)

Publisher: IOS Press

Reference Number: ISBN: 90-5199-142-8; ISSN: 0927-5444; Library of Congress: 93-061134

Publication Date: 1/93

Object-Oriented Reuse, Concurrency and Distribution: An Ada-Based Approach

Abstract: This book shows how object-oriented programming techniques can be used to promote reuse in the construction of concurrent and distributed systems. Highlights of the book include an introduction to DRAGOON, a new object-oriented language combining the power of object-oriented languages with the software engineering features of Ada; extensive samples of DRAGOON's use of multiple inheritance to handle aspects of concurrency and distribution, and illustrations of how DRAGOON's features may be easily implemented in Ada. The book will be equally valuable for software engineers seeking a unified framework for object-oriented programming in an Ada-oriented style, and for students and researchers in computer science.

Author: Atkinson, Colin

Publisher: Addison-Wesley Publishing Company

Reference Number: ISBN: 0-201-56527-7; Library of Congress: 91-22599

Publication Date: 1/91

Software Reuse: Guidelines and Methods

Abstract: This book attempts to provide a cogent summary of current research and practice in software reuse and to provide practical suggestions for integrating software reuse into a software engineering process. The readers who will find this book most useful are software engineering managers and practitioners, computer science and software engineering educators and students, and researchers from government, industry, and academia.

Author: Hooper, James W. and Rowena O. Chester

Publisher: Plenum Press

Reference Number: ISBN: 0-306-43918-2; Library of Congress: 91-12080

Publication Date: 1/91

A Sytematic Catalogue of Reusable Abstract Data Types

Abstract: A work concerned with the motivation and general strategies for reusing abstract data types or basic data structures such as lists, stacks, trees, and sets. Designing with abstract data types may foster reuse as it encourages going from the specific to the general through classification and abstraction. A library of components and a description of an abstract data catalogue are provided for readers. Lastly, the latter portion of the book focuses of the idea of abstract data types as they pertain to the Ada programming language.

Author: Uhl, Jurgen and Hans Schmid

Publisher: Springer-Verlag

Reference Number: ISBN: 0-387-53229-3

Publication Date: 1/90

Design Patterns: Elements of Reusable Object-Oriented Software

Abstract: Divided into two sections, this book provides solutions to commonly occurring design problems. Part I provides a description of what design patters are and how they may be used to aid in designing object-oriented software. A case study demonstrating how design patterns apply in practise is also included. Part II is a catalog of the design patterns which are divided into the following types: creational, structural, and behavioral.

Author: Gamma, Erich, and Richard, Helm, Ralph Johnson, John Vlissides

Publisher: Addison Wesley Publishing Group

Reference Number: ISBN: 0-201-63361-2; Library of Congress: QA76.64.D47

Publication Date: 1/95

Practical Reusable UNIX Software

Abstract: A book authored by AT&T Bell Laboratory researcher, outlining the development of a set of tools and software libraries that streamline the job of UNIX software development through software reuse. A description of libraries, base tools, stand-alone tools, and connected systems are included, focusing on software architecture, reverse engineering, visualization, and process.

Author: Krishnamurthy, Balachander

Publisher: John Wiley & Sons, Inc.

Reference Number: ISBN: 0-471-05807-6; Library of Congress: QA76.76.063R48

Publication Date: 1/95

Software Reusability, Classification, and Domain Analysis

Abstract: Video outline: 1) Goal: Show relationships between classification and domain analysis; 2) Faceted Classification Scheme, A- Reusability-related attributes, B- Selection Mechanism; 3) Methodological Model for Domain Analysis; and 4) Creation of Reusable Components.

Author: Prieto-Diaz, R.

Publisher: Software Productivity Consortium

Publication Date: 1/90

Proceedings of The Sixth Annual Software Technology Conference: April 1994

Abstract: Dos-based CD-ROM including over150 presentations from the Sixth Annual Software Technology Conference. The conference brought together representatives from industry, government and academia to increase awareness of software engineering issues and technologies through tutorials, presentations and ad hoc "birds-of-a-feather" discussions. This conference focused on matching problems with solutions. Interoperability, greater use of software engineering, more emphasis on architecture, reuse of designs and code, and other methods and improvements were discussed. Software managers, maintainers and software developers found this conference to be a stimulating forum for the discussion and resolution of many software engineering related problems and constraints in the development/procurement of successful software.

Author: None

Publisher: Software Technology Center: Conference and Institute Division

Reference Number: STC-94-PROC

Publication Date: 4/94

Problem Solving with Ada

Abstract: This book addresses the art of solving problems on a computer with examples in the programming language Ada. Chapter titles include 1- What is a Problem?, 2- Algorithms and Machines, 3- Flow of Control, 4- Environments, 5- Types, 6- More on Ada Types, 7- Sorting, Searching, and other Examples of Ada Generics, and 8- Computers and People.

Author: Mayoh, Brian

Publisher: John Wiley and Sons

Reference Number: ISBN #: 0-471-10025-0; Library of Congress #: 81-14675

Publication Date: 1/82

Programming with Ada: An Introduction by Means of Graduated Examples

Abstract: The aim of this book is to provide a readable and relatively painless introduction to the Ada programming language early in its development so that the process of acceptance can be accelerated. The volume contains over 350 graduated examples organized into five chapters: 1- An Overview of Ada, 2- Basic Language Features, 3- Data Description, 4- Modularity and Program Structure, and 5- Multitasking.

Author: Wegner, Peter

Publisher: Prentice-Hall

Reference Number: ISBN #: 0-13-730697-0; Library of Congress #: 79-24152

Publication Date: 1/80

Software Reuse: A Holistic Approach

Abstract: The purpose of this book is to demonstrate and present a coherent process for introducing software reuse into an organization. The "holistic" approach is in recognition of the fact that systematic reuse affects most parts of the organization and without considering all parts it will have limited success. The book provides practical guidelines for developing reusable software -- both from scratch and based on re-engineering existing software -- that are based on the experience of eight companies. The guidelines reflect the current state of practice and have been tested and evaluated on real applications; they also take account of the organizational context within which a reuse strategy must operate.

Author: Karlsson, Even-Andre (ed)

Publisher: John Wiley & Sons

Reference Number: ISBN: 0-471-95819-0

Publication Date: 11/95

Ada as a Second Language

Abstract: This second edition has been thoroughly revised to reflect the latest version of the Ada programming language, Ada 95, including predefined packages and specialized needs annexes. The book includes introductory explanations of fundamental software engineering and programming concepts, detailed discussions of language features, hundreds of complete examples, sections directed to users of Ada 83 compilers, and comparisons with C, C++, COBOL, Fortran, and Pascal to avoid misconceptions about Ada and to help readers recognize a new notation for familiar concepts.

Author: Cohne, Norman C.

Publisher: McGraw-Hill

Reference Number: ISBN: 0-07-011607-5

Publication Date: 1/96

A Guide to Programming Languages: Overview and Comparison

Abstract: The primary aim of this book is to guide the computer professional in making informed decisions about choosing a programming language by providing an overall perspective on several languages: Ada 83, BASIC, C, COBOL, Fortran, Pascal, LISP, PROLOG, and C++. The text, suitable for students as well as professional programmers, also includes extensive background on conputer systems, programming principles, and language elements and design concepts.

Author: Cezzar, Ruknet

Publisher: Artech House

Reference Number: ISBN: 0-89006-812-7; Library of Congress: 95-19080

Publication Date: 1/95

Ada 95: Problem Solving and Program Design

Abstract: This text uses Ada 95 as its language of discourse. It requires no previous programming experience and is, therefore, suitable for students who are novices. The book includes complete, compilable programs, case studies, syntax displays, programming style displays, exercises, error discussions, and reviews. Each chapter presents a mixture of language and computing issues.

Author: Feldman, Michael and Elliot Koffman

Publisher: Addison-Wesley

Reference Number: ISBN: 0-201-87009-6; Library of Congress #: 95-51755

Publication Date: 1/96

Software Engineering with Ada

Abstract: This book was written to reflect the changing methods of problem solving. It includes updated, rewrirren, and reorganized information to reflect today's way of thinking, but to retain an emphasis on Ada's effectivene use in a software engineering context. The goals of the book are 1- to provide an intense study of Ada's features, 2- to motivate and provide examples of good Ada design and programming, and 3- to introduce an object-oriented development method that exploits the power of Ada and, in addition, helps manage the complexity of large software systems. (Ada 9x)

Author: Booch, Grady and Doug Bryan

Publisher: Benjamin/Cummings Publishing Company

Reference Number: ISBN: 0-8053-0608-0; Library of Congress: 93-5093

Publication Date: 1/94

Concurrency in Ada

Abstract: This book gives a detailed description and an assessment of that part of the Ada language that is concerned with concurrent programming. No prior knowledge of concurrent programming or Ada tasking is necessary to use this book; however, readers should have a good understanding of at least one high level sequential programming language. This book is aimed at professional software engineers and students of computer science (and other related disciplines). [Ada 95]

Author: Burns, Alan and Andy Wellings

Publisher: Cambridge University Press

Reference Number: ISBN: 0-521-41471-7

Publication Date: 1/95

Object-Oriented Software in Ada 95

Abstract: This book is designed for students and programmers who wish to learn object-oriented programming using the language Ada 95. Highly accessible in its approach, the book provides a thorough introduction to both object-oriented programming and the latest Ada standard, Ada 95. It begins by providing an introduction to problem solving using object-oriented design methodology, in addition to explaining the basic constructs in the Ada 95 language. The use of types and subtypes is encouraged at an early stage to help produce reliable software. The book then moves on to discuss the object-oriented features of the language, using numerous examples to illustrate the ideas of encapsulation, inheritance, and polymorphism. A detailed case study of the design and implementation of program using an object-oriented design methodology is also included.

Author: Smith, Michael A.

Publisher: International Thomson Computer Press

Reference Number: ISBN: 1-85032-185-X

Publication Date: 1/96

HOOD Reference Manual 3.1

Abstract: This document defines the HOOD method for Architectural and Detailed Design primarily for software to be developed fully in classical programming languages such as Ada, C, FORTRAN, and possibly for object-oriented programming languages such as C++ or Eiffel. HOOD is a method of hierarchical decomposition of the design in the solution domain into software units based on identification of objects and operations reflecting problem domain entities or more abstract objects related to design entities. The HOOD method comprises textual and associated diagrammatic representation allowing formal refinement, automated checking, user customizable documentation generation and target language source code generation.

Author: Delatte, B., M.Heitz, and J.F. Muller

Publisher: Masson; Prentice Hall

Reference Number: ISBN: 2-225-82817-2 (Masson), 0-13-396243-1 (Prentice Hall)

Publication Date: 1/93

Directorate of Defense Information: Information Technology Initiative (Video)

Abstract: In the video, Dr. Kurt Fisher, Deputy Director for Information Technology, introduces the Corporate Information Management (CIM) program and explains the following major technical initiatives: reuse/repositories, I-case, data administration, information technology architecture, software process improvement, and standards. *Information management; Data management; Computer software; Standards; Video tapes

Author: Fischer, K.

Reference Number: AD-M000 152/9/XAB

Publication Date: 7/92

STARS Case Workshop Proceedings Version

Publication Date: 10/91

Ada 95: The Craft of Object-Oriented Programming

Abstract: This book is an introduction to Ada 95 for beginners. It covers most of Ada 95 using an example-driven format, where new topics are introduced by adding improvements to a set of examples. The author has placed a heavy emphasis on program maintenance; as programs advance, he proposes maintenance

Author: English, John

Publisher: Prentice Hall

Reference Number: ISBN 0-13-230350-7

Publication Date: 1/96

Ada 95: A Lovelace Tutorial

Abstract: This book, aimed at an audience with a basic understanding of programming, provides an introduction to Ada 95. All the basics and the essential features of the language are covered; Ada 95's object-oriented facilities are studied in depth.

Author: Wheeler, David A.

Publisher: Springer

Reference Number: ISBN#: 0-387-94801-5

Publication Date: 1/96

Data Structures and Algorithms: An Object-Oriented Approach Using Ada 95

Abstract: This textbook, aimed at an audience with a reasonable understanding of the basic logical structures, provides an in-depth course on data structures in the context of object-oriented development. The main themes are abstraction, implementation, encapsulation, and measurement. Ada 95 is used throughout to take advantage of the language's encapsulation features and its ability to present specifications without implementation details.

Author: Beidler, J.

Publisher: Springer

Reference Number: ISBN: 0-387-94834-1

Publication Date: 1/96

Ada 95 From the Beginning

Abstract: This book teaches fundemental principles of good programming and provides an accessible introduction to Ada 95. Readers need not have previous knowledge of programming. The book features Ada 95 throughout, presenting most of the language's new features, including its support for object-oriented programming.

Author: Skansholm, Jan

Publisher: Addison Wesley Longman

Reference Number: ISBN#: 0-201-40376-5

Publication Date: 1/97

Ada, Problem Solving and Program Design (Covers Dynamic Data Structures)

Author: M. Feldman, E. Koffman

Publisher: Addison Wesley

Reference Number: ISBN: 0-201-53364-2

Publication Date: 1/93

High Integrity Ada, The SPARK Approach

Author: J. Barnes

Publisher: Addison-Wesley

Reference Number: ISBN: 0-201-17517-7

Publication Date: 1/97

Ada 95 for C and C++ Programmers

Author: S. Johnston

Publisher: Addison Wesley Longman Limited

Reference Number: ISBN: 0-201-40363-3

Publication Date: 1/97