Shop Categories
- The Lord of the Rings
- ( J )
- Seoul
- General
- Delhi
- Stories
- European
- CCNP
- History
- Thoreau, Henry David
- Anesthesia
- Western Provinces
- Severini, Gino
- Vehicle Design & Construction
- Genetics
- Marguerite Henry's Horse Series
- Microwave Cookery
- Democratic Republic of Congo
- Biotechnology
- Starfleet Academy: The Next Generation
- Whittington, Don
- ( P )
- Katrin Cargill
- Field Guides
- Thacker, Shelly
- General
- Cartland, Barbara
- General
- Bullies
- Group
- Some of our other sites:
- Books
- Clothing, Shoes and Accessories
- Baby Clothes and Accessories
- Cosmetics, Beauty Products and Fragrances
- Cellphones, Call Plans and Accessories
- Video Games
- DVDs
- Electronics, Gadgets and Computers
- Health and Personal Care
- Home and Garden
- Home DIY
- Jewelry
- Magazines and Newspapers
- Music Downloads
- Musical Instruments
- Office Equipment and Supplies
- Software and Games
- Sporting Goods
- Toys and Games
- Watches
- UK Books
- UK Video Games
- UK Home and Garden
- UK Electronics, Gadgets and Computers
- UK Baby Clothes and Accessories
- UK Software and Games
- UK Sporting Goods
- UK Toys and Games
Books : Computers & Internet : Programming : Languages & Tools : Ada
-
-
Ada is the only ISO-standard, object-oriented, concurrent, real-time programming language. It is intended for use in large, long-lived applications where reliability and efficiency are essential, particularly real-time and embedded systems. In this book, Alan Burns and Andy Wellings give a thorough, self-contained account of how the Ada tasking model can be used to construct a wide range of concurrent and real-time systems. This is the only book that focuses on an in-depth discussion of the Ada tasking model. Following on from the authors' earlier title Concurrency in Ada, this book brings the discussion up to date to include the new Ada 2005 language and the recent advances in real-time programming techniques. It will be of value to software professionals and advanced students of programming alike: indeed every Ada programmer will find it essential reading and a primary reference work that will sit alongside the language reference manual.
-
Ada has carved itself a niche in the safety-critical/embedded/real-time areas. It is the language of choice in application areas where reliability, long term maintainability and similar features are very important. Typical of such areas are defence embedded systems, railway signalling, air traffic control and so on. Note especially that SPARK which is very successful for critical systems is based on Ada. No other language really has a suitable underlying structure. This latest edition of the highly successful 'Programming in Ada' has been fully updated to the latest version of the language: Ada 2005.
-
Known as the authority on Ada 83, this text reflects the latest version of the language, Ada 95. Designed for a junior/senior programming course, this text serves as both a tutorial introduction and a complete reference to the Ada language. It offers specific, practical advice on how and why to use each language feature, stressing good programming style supported by hundreds of complete examples.
-
-
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.
-
-
-
In this third edition, educators Michael Feldman and Elliot Koffman continue to refine and enhance their balanced presentation of modern programming concepts and Ada 95 language capabilities. Students with no prior programming experience will begin to program with this interesting and powerful, yet flexible language that is used in the Boeing 777 and Airbus 340, the International Space Station, the European high-speed rail system, and many other major projects around the world.This text includes a CD-ROM containing versions of the GNU Ada 95 compiler (GNAT), other program development tools, and high-resolution graphics support for the Windows, DOS, Macintosh, and Linux operating systems. GNAT supports the full Ada 95 language as standardized by the ISO and the ANSI.
-
Ada 95 is the first new version of Ada since 1983 when it was designated the official programming language of the Department of Defense. 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. And, while all the other Ada guides devote, at best, a special chapter to this new version, Rendezvous With Ada 95 offers fully integrated coverage of all the language's new features and characteristics. Written by an author who helped develop the new Ada language standard, it gives you:
* Expert guidance on powerful new Ada 95 constructs that support object-oriented programming,programming-in-the-large, and real-time programming
* Integrated coverage of all new features and improvements, including hierarchical libraries, type extension, classwide programming, general access types, and protected objects
* Detailed coverage of all Ada basics, from data types and control structures to subprograms and packages
* Presentation of advanced features, such as generics, tasking, hardware, interfacing, and exception handling
* Icons in margin to highlight Ada 95 features
* Numerous code examples and exercises to test reader understanding of key concepts
-
-
Many people get their first introduction to Lady Ada Lovelace, daughter of poet Lord Byron and companion to Charles Babbage, in William Gibsonand and Bruce Sterling's groundbreaking The Difference Engine. It's easy to imagine why Gibson and Sterling chose to weave her into their 1991 thriller, portraying her as the enigmatic, iconic Queen of Engines. Inspired by the real-life Lady Ada, the character is sharp, strong-minded, and eccentric.Betty Alexander Toole's Ada, the Enchantress of Numbers bears out this view. By presenting and annotating more than 25 years of correspondence from Ada, Toole paints an endearing portrait of an inarguably remarkable woman, called by some--perhaps a bit gushingly--"the world's first hacker," because of her work with computing pioneer Charles Babbage. Although the reams of lovingly transcribed letters provide an intimate and material look at Ada's life, the accompanying analysis isn't always as useful, with objectivity taking a back seat to adoration at times. The up side of this enthusiasm is that you'd be hard pressed to find a better start for learning more about the fascinating Ada; her letters are complemented by a detailed timeline, glossary, bibliography, index, online references, and even discussion questions. --Paul Hughes
-
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.
-
Provides complete coverage of the Ada language and Ada programming in general by recognized authorities in Ada software engineering. Demonstrates the power and performance of Ada in the management of large-scale object-oriented systems, and shows how to use Ada features such as generics, packages, and tasking.
-
Ada Plus Data Structures is the most up-to-date, student-friendly Ada text available. Using the newly updated Ada 2005, the text introduces and discusses such familiar topics as strings, sets, stacks, queues, lists, trees, graphs, and much more. The recurring theme throughout the text is modeling with levels of abstraction, presenting each class from three different perspectives: their specification, their abstraction, and their implementation. Using this approach, the authors stress computer science theory and software engineering principles including information hiding, data encapsulation, data abstraction, stepwise refinement, and visual aids. With its Object-Oriented presentation, real-world applications, and traditional Dale Pedagogy, Ada Plus Data Structures is a pleasure to read and learn from.
-
This book provides an accessible introduction to the SPARK programming language.*Updated 'classic' that covers all of the new features of SPARK, including Object Oriented Programming. *The only book on the market that covers this important and robust programming language. *CD-ROM contains the main SPARK tools and additional manuals giving all the information needed to use SPARK in practice.Technology: The SPARK language is aimed at writing reliable software that combines simplicity and rigour within a practical framework. Because of this, many safety-critical, high integrity systems are developed using SPARK. User Level: Intermediate Audience: Software engineers, programmers, technical leaders, software managers. Engineering companies in fields such as avionics, railroads, medical instrumentation and automobiles. Academics giving MSc courses in Safety Critical Systems Engineering, System Safety Engineering, Software Engineering. Author Biography: John Barnes is a veteran of the computing industry. In 1977 he designed and implemented the RTL/2 programming language and was an original member of the ADA programming language design team.He was founder and MD of Alsys Ltd from 1985 to 1991. Currently self employed, John is the author of 'Programming in ADA' which has sold 150000 copies and been translated into 6 languages.
-
An introduction to the SPARK programming tools and its associated tools. Combines a thorough description of the language with practical advice on how to use SPARK tools. The three parts cover: An overview, The SPARK language, and The SPARK tools. Includes case studies. CD ROM included.
-
-
-
Written by a key member of the original Ada design team 'Programming in Ada 95' and its predecessor, 'Programming in Ada' have long been established as the definitive texts on Ada. Now John Barnes has revised and updated this classic book to enhance its value to both Ada newcomers and veteran Ada programmers alike.
Ada 95 is the first fully object oriented language to become an ISO standard, its power and flexibility make it suited to a wide range of complex applications, from process control and industrial design to telecommunications and diagnostic analysis.This book provides complete tutorial coverage of all the core features of the language, illustrated throughout with extensive examples.
Key Features*
Six new examples of complete programs included as distinct chapters, with commentary
*
CD featuring special edition of ObjectAda compiler, including online Ada Reference Manual
*
More on overall program structure, child units and object oriented programming
*
Further detail on the predefined library
*
New edition also features a broader overview in the introductory chapters and further discussions of advanced topics such as storage pools and an extended index.