Software engineering with Ada
著者
書誌事項
Software engineering with Ada
(The Benjamin/Cummings series in object-oriented software engineering)
Benjamin/Cummings, c1994
3rd ed
- : pbk
並立書誌 全1件
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 535-549) and index
内容説明・目次
内容説明
In this comprehensive introduction to Ada programming, programmers learn how to maximize the potential of this powerful language using an object-oriented methodology. Grady Booch and Doug Bryan combine their expertise to explain how to create large-scale Ada systems using good software engineering principles. Five large-scale Ada programming examples build upon these principles using an object-oriented methodology while illuminating topics such as database systems and generic tree packages. The Third Edition also incorporates more small-sized code examples, exercises based on the programming applications, a new chapter on Ada's impact on the software crisis, and an appendix on Ada 9X.
目次
1. Introduction.
The Software Crisis.
The Ada Culture.
2. Software Engineering.
Goals of Software Engineering.
Principles of Software Engineering.
Approaches to Software Development.
Languages and Software Development.
3. Object-Oriented Design.
Limitations of Functional Methods.
An Object-Oriented Design Method.
Ada as a Design Language.
4. An Overview Of The Language.
Requirements for the Language.
Ada from the Top Down.
Ada from the Bottom Up.
Summary of Language Characteristics.
Data Structures.
5. The First Design Problem: Document Concordance.
Define the Problem.
Identify the Objects.
Identify the Operations.
Establish the Visibility.
Establish the Interface.
Implement Each Object.
6. Data Abstraction And Ada's Types.
Data Abstraction.
Types.
Object Declarations.
7. The Second Design Problem: Data Base System.
Define the Problem.
Identify the Objects.
Identify the Operations.
Establish the Visibility.
Establish the Interface.
Algorithms And Control.
8. Subprograms.
The Form of Ada Subprograms.
Subprogram Calls.
Applications for Ada Subprograms.
9. Expressions And Statements.
Names.
Values.
Expressions.
Statements.
10. The Second Design Problem: Continued.
The Problem Revisited.
Evaluate the Objects.
Implement Each Object.
Packaging Concepts.
11. Packages.
The Form of Ada Packages.
Packages and Private Types.
Applications for Ada Packages.
12. Generic Program Units.
The Form of Ada Generic Program Units.
Generic Parameters.
Applications for Ada Generic Program Units.
13. The Third Design Problem: Generic Tree Package.
Define the Problem.
Identify the Objects.
Identify the Operations.
Establish the Visibility.
Establish the Interface.
Evaluate the Objects.
Implement Each Object.
Concurrent Real-Time Processing.
14. Tasks.
The Form of Ada Tasks.
Task Statements.
Applications for Ada Tasks.
15. Exception Handling.
Declaring and Raising Exceptions.
Handling Exceptions.
Applying Exceptions.
16. Machine Representations.
Representation Specifications.
System-Dependent Features.
Unchecked Conversion.
17. The Fourth Design Problem: Environment Monitoring.
Define the Problem.
Identify the Objects.
Identify the Operations.
Establish the Visibility.
Establish the Interface.
Evaluate the Objects.
Implement Each Object.
Systems Development.
18. Input/Output.
File Management.
Input/Output for Nontextual Data.
Input/Output for Textual Data.
Application.
Low-Level Input/Output.
19. The Software Life Cycle With Ada.
Analysis Phase.
Requirements Definition Phase.
Design Phase.
Coding Phase.
Testing Phase.
Operation and Maintenance Phase.
20. Programming In The Large.
Managing The Name Space.
Separate Compilation Issues.
Large Systems Architecture.
21. The Fifth Design Problem: Heads-Up Display.
Define the Problem.
Identify the Objects.
Identify the Operations.
Establish the Visibility.
Establish the Interface.
Appendix A: Predefined Language Attributes.
Appendix B: Predefined Language Pragmas.
Appendix C: Predefined Language Environment.
Appendix D: Ada Style Guide.
Appendix E: Ada Syntax Charts.
Appendix F: Ada 9x. 0805306080T04062001
「Nielsen BookData」 より