Last week saw the publication of a brand new book about Altran’s SPARK software technology. The new book, Building High Integrity Applications with SPARK, covers the latest version of the programming language, SPARK 2014, which was jointly developed by a team of engineers at Altran UK and AdaCore.
The authors of the new book are John McCormick and Peter Chapin. John McCormick is a professor of Computer Science at the University of Northern Iowa. John has been teaching SPARK and Ada for many years as part of a course in real-time and embedded systems. Peter Chapin is a professor of computer information systems at Vermont Technical College (VTC). Peter has extensive experience of using SPARK in his role as Software Director of VTC’s CubeSat Laboratory.
The SPARK team at Altran UK, who helped with reviewing earlier drafts of the text, are delighted to see the publication of such a valuable textbook for people wishing to learn SPARK and are pleased that the book will be bringing the benefits of using SPARK to an ever wider audience.
Altran is a leading global provider of high-tech engineering services. For over 30 years, we have been defined by our passion for innovation.
As a trusted partner of organisations throughout the rail, automotive, aerospace, defence, energy and telecoms sectors, we enable our clients to work smarter in developing, deploying and maintaining leading-edge systems and products.
In the UK, we have offices in Bath, Bristol, Derby, London, Slough and Warwick. Additionally, a significant number of our engineering consultants and project teams are located at our clients' sites. Globally, Altran has more than 24,000 'Innovation Makers' in more than 20 countries, and 500 major clients.