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

Browsing MC Athens Campus Library shelves Close shelf browser (Hides shelf browser)

Previous			No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	005.2762 MIT PHP Web Services / APIs for the Modern Web	005.2762 NIX Learning PHP, MySOL & JavaScript / With JQUERY, CSS & HTML5	005.3 BEC Planning Extreme Programming	005.3 HIG High-Integrity Software	005.3 RES Resource Workshop / User's Guide	005.3 TUR Turbo Profiler / User's Guide	005.36/9 JAC Creative Modelling with Lotus 1-2-3 TM / Second Edition	Next

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

Browsing MC Athens Campus Library shelves Close shelf browser (Hides shelf browser)