High-Integrity Software

Contributor(s):

Sennett T. C

Material type:

TextPublication details: Pitman Publishing, 1989Description: 360ISBN:

273030000

Summary: The twelve chapters come from both professional and academic authorities and constitute essential reading for professional software engineers and systems designers in civil and military establishments. Introduction, Formal Specification and Implementation, Practical Experience with a Formal Verification System, Reliable Programming in Standard Languages, New Speak: A Reliable Programming Language, Program Analysis and Systematic Testing, Program Analysis and Verification, Assurance in High-Integrity Software, Modelling Real-World Issues for Dependable Software, Contractual specification of Reliable Software, Index.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Barcode
Books	MC Athens Campus Library	005.3 HIG (Browse shelf(Opens below))	1	Available	9780000035790

The twelve chapters come from both professional and academic authorities and constitute essential reading for professional software engineers and systems designers in civil and military establishments. Introduction, Formal Specification and Implementation, Practical Experience with a Formal Verification System, Reliable Programming in Standard Languages, New Speak: A Reliable Programming Language, Program Analysis and Systematic Testing, Program Analysis and Verification, Assurance in High-Integrity Software, Modelling Real-World Issues for Dependable Software, Contractual specification of Reliable Software, Index.

There are no comments on this title.

to post a comment.

Κατάλογος Βιβλιοθηκών Mediterranean College

High-Integrity Software