Syndetics cover image
Image from Syndetics

Applications of formal methods / edited by Michael G. Hinchey and Jonathan P. Bowen.

Contributor(s): Material type: TextTextSeries: Prentice-Hall international series in computer sciencePublication details: London ; New York : Prentice Hall, 1996.ISBN:
  • 0133669491
Subject(s): DDC classification:
  • 620.0042015113 20
Contents:
Foreword / C. A. R. Hoare -- Preface / M. G. Hinchey and J. P. Bowen -- 1. Applications of Formal Methods FAQ / M. G. Hinchey and I. P. Bowen -- 2. Using Mathematical Models in the Inspection of Critical Software / D. L. Parnas -- 3. Gaining Assurance with Formal Methods / G. Bruns and S. Anderson -- 4. Formal Specification of an Architecture for a Family of Instrumentation Systems / D. Garlan and N. Delisle -- 5. Formal Specification of the STV Algorithm / P. Mukherjee and B. A. Wichmann -- 6. Application of the B-Method to CICS / J. P. Hoare -- 7. Formal Verification of the AAMP5 Microprocessor / M. K. Srivas and S. P. Miller -- 8. Modelling and Verification of a Simple Real-time Railroad Gate Controller / W. D. Young -- 9. CombiCom: Tracking and Tracing Rail Traffic using VDM[superscript ++] / E. H. Durr, N. Plat and M. de Boer -- 10. Formal Development of Safety-critical Software Systems in Railway Signalling / B. Dehbonci and F. Mejia -- 11. Z Applied to the A330/340 CIDS Cabin Communication System / U. Hamer and J. Peleska -- 12. Specifying the Kernel of a Secure Distributed Operating System / D. Guaspari, M. Seagar and M. Stillerman -- 13. Formal Specification of an Aerospace System: the Attitude Monitor / A. Coombes, L. Barroca, J. S. Fitzgerald, J. A. McDermid, L. Spencer and A. Saed -- 14. Developing a Security-critical System using Formal and Conventional Methods / J. S. Fitzgerald, P. G. Larsen, T. Brooks and M. Green -- 15. The use of Z within a Safety-Critical Software System / V. Hamilton -- 16. Multiparadigm Specification of an AT&T Switching System / P. Mataga and P. Zave -- 17. Formal Methods Technology Transfer: Impediments and Innovation / D. Craigen, S. Gerhart and T. Ralston.
Holdings
Item type Home library Call number Status Date due Barcode Item holds
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 620.0042015113 APP (Browse shelf(Opens below)) Available 4403690867
Total holds: 0

Enhanced descriptions from Syndetics:

Includes bibliographical references.

Foreword / C. A. R. Hoare -- Preface / M. G. Hinchey and J. P. Bowen -- 1. Applications of Formal Methods FAQ / M. G. Hinchey and I. P. Bowen -- 2. Using Mathematical Models in the Inspection of Critical Software / D. L. Parnas -- 3. Gaining Assurance with Formal Methods / G. Bruns and S. Anderson -- 4. Formal Specification of an Architecture for a Family of Instrumentation Systems / D. Garlan and N. Delisle -- 5. Formal Specification of the STV Algorithm / P. Mukherjee and B. A. Wichmann -- 6. Application of the B-Method to CICS / J. P. Hoare -- 7. Formal Verification of the AAMP5 Microprocessor / M. K. Srivas and S. P. Miller -- 8. Modelling and Verification of a Simple Real-time Railroad Gate Controller / W. D. Young -- 9. CombiCom: Tracking and Tracing Rail Traffic using VDM[superscript ++] / E. H. Durr, N. Plat and M. de Boer -- 10. Formal Development of Safety-critical Software Systems in Railway Signalling / B. Dehbonci and F. Mejia -- 11. Z Applied to the A330/340 CIDS Cabin Communication System / U. Hamer and J. Peleska -- 12. Specifying the Kernel of a Secure Distributed Operating System / D. Guaspari, M. Seagar and M. Stillerman -- 13. Formal Specification of an Aerospace System: the Attitude Monitor / A. Coombes, L. Barroca, J. S. Fitzgerald, J. A. McDermid, L. Spencer and A. Saed -- 14. Developing a Security-critical System using Formal and Conventional Methods / J. S. Fitzgerald, P. G. Larsen, T. Brooks and M. Green -- 15. The use of Z within a Safety-Critical Software System / V. Hamilton -- 16. Multiparadigm Specification of an AT&T Switching System / P. Mataga and P. Zave -- 17. Formal Methods Technology Transfer: Impediments and Innovation / D. Craigen, S. Gerhart and T. Ralston.