(Show all Book Review articles . . .
Headlines | Linux | Apps | Coding | BSD | Admin | News
Information for Linux System Administration 

Book Review: High Integrity Software


This rather exclusive title lists for about $70...
What is SPARK? It's a language, a subset of Ada that will run on any Ada compiler, with extensions that automated tools can analyze to prove the correctness of programs. As the author says in his Preface, "I would like my programs to work without spending ages debugging the wretched things." SPARK is designed to minimize debugging time (which averages 50% of a project's duration in most cases).
 read more | score:5977 | -Ray, May 20, 2004
More Programming articles...

Abstract Art Online Gallery

Selected articles

Testing the Digital Ocean $5 Cloud Servers with an MMORPG

VPS: Xen vs. OpenVZ

Apple DIY Repair

Librenix T-Shirts and Coffee Mugs!

Why software sucks

Download: Linux 3D Client for Starship Traders


Firefox sidebar

Site map

Site info

News feed


(to post)


Articles are owned by their authors.   © 2000-2012 Ray Yeargin