Background
Barnes, John Gilbert Presslie was born on August 19, 1937 in London. Son of Gilbert Arthur and Edith Helen (Presslie) Barnes.
(High Integrity Ada is an introduction to the SPARK progra...)
High Integrity Ada is an introduction to the SPARK programming language and its associated tools. Developed for the writing of high integrity software, SPARK is valued in application areas where getting the program right really matters. In John Barnes' clear and accessible writing style, this book combines a thorough description of the language with practical advice on how to use the SPARK tools. Illustrated with numerous examples and case studies, this book will teach you how to write more reliable software. The CD-ROM accompanying the book contains the SPARK tools plus additional documentation as well as all major examples of programs from the text.
http://www.amazon.com/gp/product/0201175177/?tag=2022091-20
(Written by a key member of the original Ada design team '...)
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.
http://www.amazon.com/gp/product/0201342936/?tag=2022091-20
( Ada 2005 is the latest version of the International Sta...)
Ada 2005 is the latest version of the International Standard for the programming language Ada. Formally, it is an Amendment of ISO/IEC 8652:1995 (E) rather than a completely new standard. The primary goals for the new version were to enhance its capabilities particularly in those areas where its reliability and predictability are of great value. Accordingly, a number of intriguing and attractive ideas have been included and implemented in a coherent manner as appropriate to the level of perfection necessary for the diligent maintenance of a language standard. The Ada 2005 Rationale describes not only the changes from Ada 95 but also the reason for the changes. It starts with an introduction providing a general overview and this is followed by seven chapters focusing on OOP; access types; structure and visibility; tasking and real time; exceptions, generics, etc.; the predefined library; and containers. The book concludes with an epilogue largely concerned with compatibility issues.
http://www.amazon.com/gp/product/3540797009/?tag=2022091-20
(Ada 95 is the enhanced version of the Ada programming lan...)
Ada 95 is the enhanced version of the Ada programming language. This book is divided into four parts and aims to provide a systematic guide to the new features of the new version of the Ada programming language. It can be studied as an independent textbook or alongside the reference manual.
http://www.amazon.com/gp/product/B00EZ13GN8/?tag=2022091-20
(Ada is the language of choice for the majority of program...)
Ada is the language of choice for the majority of programmers involved in writing safety-critical and high-integrity software. Previous editions of John Barnes' books established themselves as the definitive references for earlier versions of Ada. With the release of the latest ISO standard, Ada 2012, this new book will become recognised as the go-to resource for those wishing to learn the language or to program in it.
http://www.amazon.com/gp/product/110742481X/?tag=2022091-20
(The book presents the rationale behind the design and dev...)
The book presents the rationale behind the design and development of the programming language Ada. The material, incorporating corrections to its original printing by the Ada Joint Program Office (AJPO), will be essential reading for all those currently using the language as well as those considering its adoption.
http://www.amazon.com/gp/product/0521392675/?tag=2022091-20
(The fourth edition of this text and reference remains foc...)
The fourth edition of this text and reference remains focused on the current ANSI 83 standard and reflects the imminent Ada 9X standard in three ways: highlights all features of Ada that will be affected by the Ada 9X standard, and describes their design rationale in detail; summarizes important changes, including the increased support for object-oriented programming, the introduction of hierarchical library structure and the inclusion of protected objects; and provides details syntax changes in appendices for easy access.
http://www.amazon.com/gp/product/0201624079/?tag=2022091-20
( The definitive text on the new version of Ada – Ada 200...)
The definitive text on the new version of Ada – Ada 2005 – written by one of the language’s creators. Barnes is to Ada what Kernighan & Ritchie are to C, or as Stroustrup is to C++. Previous editions have sold over 150,000 copies.
http://www.amazon.com/gp/product/0321340787/?tag=2022091-20
( This book provides an accessible introduction to the SP...)
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.
http://www.amazon.com/gp/product/0321136160/?tag=2022091-20
Barnes, John Gilbert Presslie was born on August 19, 1937 in London. Son of Gilbert Arthur and Edith Helen (Presslie) Barnes.
Bachelor in Mathematics, Cambridge University, 1961. Master of Arts, Cambridge University, 1964.
Mathematician, Imperial Chemical Industries, Reading, England, 1961-1968;
section manager, Imperial Chemical Industries, Reading, England, 1969-1975;
consultant, Imperial Chemical Industries, Slough, England, 1975-1978;
visiting fellow, U. Edinburgh (Scotland), 1968-1969;
director language research, S P L International, Abingdon, England, 1978-1984;
technical director, Systems Designers, Camberley, England, 1984-1985;
managing director, Alsys Ltd., Henley, England, 1985-1991;
owner, John Barnes Informatics. Consultant Department Industry, London, 1976-1978. Industrial fellow Wolfson College, Oxford, England, 1979-1981.
Visiting professor Imperial College, London, 1982-1984. Chairman American Dental Association Language United Kingdom Ltd. Member board Ada, Washington, 1986-1987.
(The fourth edition of this text and reference remains foc...)
(Written by a key member of the original Ada design team '...)
(Ada is the language of choice for the majority of program...)
( The definitive text on the new version of Ada – Ada 200...)
(The book presents the rationale behind the design and dev...)
(High Integrity Ada is an introduction to the SPARK progra...)
( Ada 2005 is the latest version of the International Sta...)
( This book provides an accessible introduction to the SP...)
(Ada 95 is the enhanced version of the Ada programming lan...)
Fellow British Computer Society (chartered engineer).
Married Barbara Winifred Juffkins, September 8, 1962. Children: Janet Elizabeth, Helen Jane.