High Integrity Software: The SPARK Approach to Safety and Security Export

@book{Barnes03, abstract = {This book provides an accessible introduction to the SPARK programminglanguage.*Updated 'classic' that covers all of the new features of SPARK,including Object Oriented Programming. *The only book on the market thatcovers this important and robust programming language. *CD-ROM contains themain SPARK tools and additional manuals giving all the information needed touse SPARK in practice.Technology: The SPARK language is aimed at writingreliable software that combines simplicity and rigour within a practicalframework. Because of this, many safety-critical, high integrity systems aredeveloped using SPARK. User Level: Intermediate Audience: Software engineers,programmers, technical leaders, software managers. Engineering companies infields such as avionics, railroads, medical instrumentation and automobiles.Academics giving MSc courses in Safety Critical Systems Engineering, SystemSafety Engineering, Software Engineering. Author Biography: John Barnes is aveteran of the computing industry. In 1977 he designed and implemented theRTL/2 programming language and was an original member of the ADA programminglanguage 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 hassold 150000 copies and been translated into 6 languages.}, author = {Barnes, John}, citeulike-article-id = {4828277}, citeulike-linkout-0 = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/0321136160}, citeulike-linkout-1 = {http://www.amazon.de/exec/obidos/redirect?tag=citeulike01-21&path=ASIN/0321136160}, citeulike-linkout-2 = {http://www.amazon.fr/exec/obidos/redirect?tag=citeulike06-21&path=ASIN/0321136160}, citeulike-linkout-3 = {http://www.amazon.jp/exec/obidos/ASIN/0321136160}, citeulike-linkout-4 = {http://www.amazon.co.uk/exec/obidos/ASIN/0321136160/citeulike00-21}, citeulike-linkout-5 = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/0321136160}, citeulike-linkout-6 = {http://www.worldcat.org/isbn/0321136160}, citeulike-linkout-7 = {http://books.google.com/books?vid=ISBN0321136160}, citeulike-linkout-8 = {http://www.amazon.com/gp/search?keywords=0321136160&index=books&linkCode=qs}, citeulike-linkout-9 = {http://www.librarything.com/isbn/0321136160}, day = {17}, edition = {First}, howpublished = {Hardcover}, isbn = {0321136160}, keywords = {2003, ada, book, spark}, month = {March}, posted-at = {2009-06-12 18:06:55}, priority = {2}, publisher = {Addison Wesley}, title = {High Integrity Software: The SPARK Approach to Safety and Security}, url = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/0321136160}, year = {2003} }

TY - BOOK ID - Barnes03 L3 - citeulike-article-id:4828277 N2 - This book provides an accessible introduction to the SPARK programminglanguage.*Updated 'classic' that covers all of the new features of SPARK,including Object Oriented Programming. *The only book on the market thatcovers this important and robust programming language. *CD-ROM contains themain SPARK tools and additional manuals giving all the information needed touse SPARK in practice.Technology: The SPARK language is aimed at writingreliable software that combines simplicity and rigour within a practicalframework. Because of this, many safety-critical, high integrity systems aredeveloped using SPARK. User Level: Intermediate Audience: Software engineers,programmers, technical leaders, software managers. Engineering companies infields such as avionics, railroads, medical instrumentation and automobiles.Academics giving MSc courses in Safety Critical Systems Engineering, SystemSafety Engineering, Software Engineering. Author Biography: John Barnes is aveteran of the computing industry. In 1977 he designed and implemented theRTL/2 programming language and was an original member of the ADA programminglanguage 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 hassold 150000 copies and been translated into 6 languages. SN - 0321136160 TI - High Integrity Software: The SPARK Approach to Safety and Security PB - Addison Wesley KW - 2003 KW - ada KW - book KW - spark AU - Barnes, John PY - 2003/03/17/ UR - http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/0321136160 ER -