Book Description
This new text goes beyond the standard topics of CS1-such as basic concepts of computer systems, problem solving and algorithm development, program structures, data types, and an introduction to searching and sorting-to incorporate topics such as exception and exception handling, packages, separation of package specifications and bodies, unconstrained array types, and generics. ... Read more

Customer Reviews (1)

Really Good Book to learn from
This book is a really excellent choice, it teaches you the fundamentals of ADA programming which has been developed by the US Militrary. ... Read more

Book Description
The concept of concurrency presents a real difficulty to many programmers. In this book Dr Burns introduces the topic and shows how the Ada programming language, which had as a main design specification that it should contain the features necessary for concurrent programming, deals with it. The need to produce software that models inherent parallelism is important in many applications, including embedded real time systems, process control and general purpose multi-processor system software. Although for many other applications of Ada, knowledge of the Tasking Model is not necessary the full power of the language can only really be obtained if this model is understood. ... Read more

Product Description
This Technical Report provides guidance on the use of Ada when producing high integrity systems. In producing such applications it is usually the case that adherence to guidelines or standards has to be demonstrated to independent bodies. These guidelinesor standards vary according to the application area, industrial sector or nature ofthe risk involved.For safety applications, the international generic standard is[IEC 61508] of whichpart 3 isconcerned withsoftware.For security systems, the multi-national generic assessment guide is [ISO CD 15408].For sector-specific guidance and standards there are:Airborne civil avionics: [DO-178B]Nuclear power plants: [IEC880]Medical systems: [IEC601-4]Pharmaceutical: [GAMP] For national/regional guidance and standards there are the following:UK Defence: [DS 00-55]European rail: [EN 50128]European security: [ITSEC]US nuclear: [NRC]UK automotive: [MISRA]US medical: [FDA]US space: [NASA] The above standards and guides are referred to as Standards in this Technical Report. The above list is not exhaustive but indicative ofthe type of Standard to which this Technical Report provides guidance.The specific Standards above are not addressed individually but this Technical Report is synthesized from an analysis of their requirementsand recommendations.Within the scopeThis Technical Report assumes that a system is being developed in Ada to meet a standard listed above or one of a similar nature. The primary goal of this Technical Report is to translate general requirements into Ada specific ones. For example, a general standard might require that dynamic testing provides evidence of the execution of all the statements in the code of the application. In the case of generics, this is interpreted bythis Technical Report to mean all instantiations of the generic should be executed.This Technical Report is intended to provide guidance only, and hence there are no 'shalls'. However, this Technical Report identifies verification and validation issues which should be resolved and documented according to the sector-specific standards being employed.The following topics are within the scope of this Technical Report:the choice of features of the language which aid verification and compliance to the standards,identification of language features requiring additional verification steps,the use of tools to aid design and verification,issues concerning qualification of compilers for use on high integrity applications,tools, such as graphic design tools, which generate Ada source code which is accessible to users. Tools which generate Ada source code require special consideration. Where generated code may be modified or extended, verification of the extensions and overall system will be assisted if the guidelines have been taken into account. Even where modification is not planned, inspection and analysis of the generated code may be unavoidable unless the generator is trusted or 'qualified' according to an applicable standard. Finally, even if generated code is neither modified nor inspected, the overall verification process may be made more complicated if the code deviates from guidelines intended to facilitate testing and analysis. Potential users of such tools should evaluate their code generation against the guidance provided in this Technical Report.Out of scopeThe following topics are considered to be out of scope with respect to this Technical Report:Domain-specific standards,Application-specific issues,Hardware and system-specific issues,Human factor issues in the application (as opposed to human factors in the use of the Ada language which is in scope). ... Read more

Product Description
This part of ISO/IEC 13719 defines the binding of the Portable Common Tool Environment (PCTE) interfaces, as specified in ISO/IEC 13719-1, to the Ada programming language.A number of features are not completely defined in ISO/IEC 13719-1, some freedom being allowed to the implementor. Some of these features are specified as implementation limits. Some constraints are placed on these implementation limits by this part of ISO/IEC 13719. These constraints are specified in clause 24.PCTE is an interface to a set of facilities that forms the basis for constructing environments supporting systems engineering projects. These facilities are designed particularly to provide an infrastructure for programs which may be part of such environments. Such programs, which are used as aids to system development, are often referred to as tools. ... Read more

Customer Reviews (1)

A very good book for reference purposes
This is the Ada book I turn to first if I have questions on syntax or how to deal with specific programming topics. It has a good index and handles topics I've not yet encountered in other Ada books. I would recommend this to someone starting in the language who wants a decent reference. It may beless helpful to someone with many years of Ada experience, but I'd stillgive it a look. ... Read more

Book Description
This manual teaches the ADA programming language. It can be used by itself or in conjunction with the Introduction to Computer Science text, for universities and colleges that prefer to teach ADA as the first language. The manual includes numerous worked-out sample programs, problems, and exercises. ... Read more

Customer Reviews (1)

a good computer book
this book is a pretty good textbook.I bought this bookbecause theauthor is my advisor of grduate school.After I looked over it, i feelthat it's really good book for the first learners of computer science. ... Read more

Book Description
Programming Languages: Ada/Software Engineering Ada for Software Engineers M. Ben-Ari Weizmann Institute of Science, Rehovot, Israel Ada has become the language of choice for high integrity software systems, and is now used extensively in applications such as transportation, finance, aerospace and heavy industry. This book is aimed at professional software engineers making the transition to Ada, and at students using Ada for advanced undergraduate projects or graduate research. Ada for Software Engineers
* Teaches the language as it is used in practice through case studies such as a discrete event simulation
* Emphasizes the features supporting object-oriented and embedded systems programming introduced in Ada 95
* Explains the terminology of the Ada Reference Manual using selected extracts and a glossary with examples
The CD-ROM contains:
* Source code of all case-studies and quizzes
* Ada compilers for several platforms
* The Reference Manual in printable and hypertext formats
* Graphical syntax charts
"I like the book very much. It is one of the most readable programming language textbooks I have seen for a long time." S. Tucker Taft, Intermetrics (Technical Director of the Ada 95 design team) ... Read more