Computer Architecture/Engineering, General & Miscellaneous Computing, General Software Engineering
Log in to track your reading progress.
Editorials
Booknews
Contributors from academia and industry present 17 papers demonstrating the application of formal methods in computer science to large-scale practical problems in industry. Among them are formal specification of an architecture for a family of instrument systems, safety-critical software systems in railway signalling, the attitude monitor for an aerospace system, and an AT&T switching system. One paper also discusses the impediments and innovation of formal methods technology transfer. Annotation c. Book News, Inc., Portland, OR (booknews.com)Book Details
Published
September 13, 1995
Publisher
Prentice Hall Professional Technical Reference
Pages
442
Format
Hardcover
ISBN
9780133669497