Product Description

This book constitutes the refereed proceedings of the 10th International Conference on Reliable Software Technologies, Ada-Europe 2005, held in York, UK in June 2005.

The 21 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on applications, design and scheduling, formal methods, Ada and education, certification and verification, distributed systems, language aspects, and Ravenscar technology.

Product Description
Requiring little mathematical rigour and minimal programming experience, this text is truly an introduction to ADA. The author feels students are not able to grasp all of ADA's nuances in a first course, so she covers a reasonable subset of the language, emphasizing packages and top-down design. The result is an introductory-level textbook that gives students a solid foundation for more advanced courses. The main features of this text include: an early introduction to and emphasis on packages; an emphasis on top-down design and problem solving throughout; numerous examples of ADA code; an early discussion of I/O; chapter overviews and summaries; and an extensive number of exercises and problems. This book should be of interest to degree and diploma students on introductory courses in ADA. ... Read more

Product Description

This book constitutes the refereed proceedings of the 13th International Conference on Reliable Software Technologies, Ada-Europe 2008, held in Venice, Italy, in June 2008.

The 20 revised full papers presented were carefully reviewed and selected from numerous submissions. The conference proceedings published in this volume cover topics ranging from formal verification to real-time systems via concurrency, embedded systems, language technologies, model-driven engineering and applications of Petri Nets.

Product Description

This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada-Europe 2006, held in Porto, Portugal, in June 2006.

The 19 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on real-time systems, static analysis, verification, applications, reliability, compilers, and distributed systems.

Product 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

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

Product Description
This compact volume describes all of Ada's program units, statements and data types. It can serve as an introductory text or as a reference work. The use of each language feature is illustrated in a small working program. A comprehensive glossary/index provides users with a fast, easy way to locate examples and illustrations. Example programs are depicted graphically, supporting the metaphor that an Ada program is "a set of lego blocks smapped together."

The text is organized in six chapters, three appendices, references and the glossary/index. The first four chapters cover the essentials. The final two chapters introduce Ada's support for object oriented programming and Ada's built-in mechanisms for supporting concurrency and synchronization. This volume is intended as the first in the "LearnAda" series. ... Read more

Product Description
The ADA computer language is introduced in this book which features staightforward English, combined with technical accuracy and completeness. It includes many handy programming tips, and warnings of common pitfalls encountered in learning ADA. The author reviews the development of ADA, then covers ADA's capabilities, from basic functions to advanced techniques, including low-level programming. Each chapter comprises an introduction to the topics covered, clear and detailed discussion supported by illustrative examples with line code, and an exercise set. ... Read more

Product Description
This consolidated version of the Ada Reference Manual enhances the International Standard ISO/IEC 8652:1995(E) for the programming language Ada by incorporating the Technical Corrigendum 1 approved by ISO in February 2001.
The Technical Corrigendum 1 lists the individual changes that need to be made to the text of ISO/IEC 8652:1995(E) to correct errors, omissions or inconsistencies.
The enhanced Ada Reference Manual presents and updates the International Standard for Ada in a user-friendly way and thus will replace the former version as an indispensible working companion for anybody using Ada professionally or learning and studying the language systematically. ... Read more

Product Description
Real-time programming languages are essential to hi-tech defence applications, air control, and spacecraft operations. This book explains the concept and characteristics of real-time systems, the software support required for distributed systems and distributed databases, and a design methodology for distributed Ada programs. It analyzes Ada programming language features, describes the Ada distributed environment, and explains the design approach using case studies. Unlike other books in the field, this deals with concurrent programming languages, distributed systems and design methodologies as an integrated entity. Case studies are used for problem-solving and illustrating specific design principles for typical microprocessor real-time systems. ... Read more

Product Description
Using Ada as a language for data structures, Feldman offers a blend of the theoretical and applied. The reader comes away from this book equipped to understand and design data structures and their implementations. ... Read more

Product Description
The book takes an operational as opposed to a srategic approach, focusing on the practical aspects of marketing such as analysing a market, evaluating a direct market campaign of sales force performance. The book sets out to bring these concepts alive in practical formats.Instructor's Manual (0-13-270174-X). ... Read more

Customer Reviews (1)

Not a presentation of the language
After participating in two European projects with major European aircraft manufacturers and suppliers, the authors have written this book dealing with the development of DEPENDABLE Ada software. This book gives advice on the optimal use of Ada to design dependable software; it is not a presentation of the language. ... Read more

Product Description
ADA and software reuse. Reuseable software and software components. Reuse strategies in ADA. Component engineering in ADA. Organising component libraries. ADA reuse in practice. The reusability of ADA software components. Design guidelines. Generic components. Exception. Tasks.

The Institution of Engineering and Technology is one of the world's leading professional societies for the engineering and technology community. The IET publishes more than 100 new titles every year; a rich mix of books, journals and magazines with a back catalogue of more than 350 books in 18 different subject areas including:

-Power & Energy
-Renewable Energy
-Radar, Sonar & Navigation
-Electromagnetics
-Electrical Measurement
-History of Technology
-Technology Management
... Read more

Product Description
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002. The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs. ... Read more

Product Description
Software engineering and the language Ada are playing amajor role in the development of software and softwaretechnology for the new century.The11th Ada Europe conference shows that Ada has maturedfrom a language,mainly of researchers and academics in theearly 1980s, into a full-grown tool in software engineeringpractice. This volume contains a selection ofcontributionsto the conference. They demonstrate that Ada is verybeneficially used in many software development projects andis gradually becoming accepted on the scale it deserves.Papers have beenselected that show that Ada is indeedripened in all aspects of softwareengineering. A variety oftopics is addressed: management, economics, practicalexperiences, numerics, and the use of Ada for real-time anddistributed systems. ... Read more