Author: Germany) NATO Advanced Study Institute on Calculat
Publisher: Ios Pr Inc
Keywords: series, sciences, systems, nato, computer, iii, calculational, design, science, system, computers
Number of Pages: 510
Published: 2000-01-01
List price: $173.00
ISBN-10: 9051994591
ISBN-13: 9789051994599

Computer Science has made considerable progress in making complex software and hardware systems more reliable. This is a result of practical experience and continuous process improvement on one side and of a better and deeper understanding of the fundamentals of software and system engineering on the other side. Recent encouraging trends are a strong integration of formal techniques with practical industrial development methods and more advanced support tools such as modelling, verification, and model-checking support systems. This active area of research has a relatively short term horizon wi