Tullio Vardanega, Andy Wellings Reliable Software Technology � Ada-Europe 2005 - 2005 ISBN: 978-3-540-31666-4 Subjects--Topical Terms: Computer Communication NetworksManagement of Computing and Information SystemsProgramming TechniquesSoftware EngineeringSpecial Purpose and Application-Based Systems Programming Languages, Compilers, InterpretersComputer Science