Ada 95


Book Description

Ada 95: The Craft of Object-oriented Programming is a beginner's introduction to Ada 95 which uses an example-driven approach that gradually develops small trivial programs into large case studies. The main emphasis of this exciting new publication is on using object-oriented technology to write maintainable, extensible programs. Program design concepts are introduced throughout the text, using maintenance scenarios to highlight shortcomings and produce improved designs. Practical issues such as debugging techniques are tackled, and important Ada features not found in other languages are dealt with early in the text. These include exception handling, user-defined types, procedures, functions, packages and child packages. Ada 95: The Craft of Object-oriented Programming is essential reading for anybody who requires a comprehensive guide to the Ada 95 programming language. Key features: Example-driven approach with examples developed gradually throughout the text, emphasis upon maintenance and maintainability of programs, in-chapter problems and end-of-chapter exercises, and worked examples and case studies throughout the text to aid student learning.




Object-oriented Design


Book Description

Papers from a tutorial and demonstration in London of HOOD (Hierarchical Object-oriented Design) which was developed by the European Space Agency as a design method for the Ada computer language.




Programming in Ada 95


Book Description

Ada 95 is the first fully object-oriented programming language to be internationally standardized. John Barnes was a key member of the language's design team, and this is a new edition of his definitive text and reference for the Ada 95 language.




Object-Oriented Design and Programming with C++


Book Description

Object-Oriented Design and Programming with C++: Your Hands-On Guide to C++ Programming, with Special Emphasis on Design, Testing, and Reuse provides a list of software engineering principles to guide the software development process. This book presents the fundamentals of the C++ language. Organized into two parts encompassing 10 chapters, this book begins with an overview of C++ and describes object-oriented programming and the history of C++. This text then introduces classes, polymorphism, inheritance, and overloading. Other chapters consider the C++ preprocessor and organization of class libraries. This book discusses as well the scope rules, separate compilation, class libraries, and their organization, exceptions, browsers, and exception handling. The final chapter deals with the design of a moderately complex system that provides file system stimulation. This book is a valuable resource for readers who are reasonably familiar with the C programming language and want to understand the issues in object-oriented programming using C++.




System Design with Ada


Book Description




Concepts and Semantics of Programming Languages 1


Book Description

This book – the first of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of Programming Languages 1 is dedicated to functional and imperative features. Included is the formal study of the semantics of typing and execution; their acquisition is facilitated by implementation into OCaml and Python, as well as by worked examples. Data representation is considered in detail: endianness, pointers, memory management, union types and pattern-matching, etc., with examples in OCaml, C and C++. The second volume introduces a specific model for studying modular and object features and uses this model to present Ada and OCaml modules, and subsequently Java, C++, OCaml and Python classes and objects. This book is intended not only for computer science students and teachers but also seasoned programmers, who will find a guide to reading reference manuals and the foundations of program verification.




Data Structures and Algorithms


Book Description

This textbook provides an in depth course on data structures in the context of object oriented development. Its main themes are abstraction, implementation, encapsulation, and measurement: that is, that the software process begins with abstraction of data types, which then lead to alternate representations and encapsulation, and finally to resource measurement. A clear object oriented approach, making use of Booch components, will provide readers with a useful library of data structure components and experience in software reuse. Students using this book are expected to have a reasonable understanding of the basic logical structures such as stacks and queues. Throughout, Ada 95 is used and the author takes full advantage of Ada's encapsulation features and the ability to present specifications without implementational details. Ada code is supported by two suites available over the World Wide Web.




Object-oriented Systems Analysis


Book Description

An introduction to powerful methods for accurate and complete system analysis and specification.




Programming Language Design Concepts


Book Description

Explains the concepts underlying programming languages, and demonstrates how these concepts are synthesized in the major paradigms: imperative, OO, concurrent, functional, logic and with recent scripting languages. It gives greatest prominence to the OO paradigm. Includes numerous examples using C, Java and C++ as exmplar languages Additional case-study languages: Python, Haskell, Prolog and Ada Extensive end-of-chapter exercises with sample solutions on the companion Web site Deepens study by examining the motivation of programming languages not just their features




Object-oriented Software Construction


Book Description

Software -- Software Engineering.