Applications of formal methods
著者
書誌事項
Applications of formal methods
(Prentice-Hall International series in computer science)
Prentice Hall, 1995
大学図書館所蔵 件 / 全12件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 421-437) and index
内容説明・目次
内容説明
This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.
目次
Everything You Always Wanted to Know About the Application of Formal Methods - M.G. Hinchey & J.P. Bowen. Using Mathematical Models in the Inspection of Critical Software - D.L. Parnas. Gaining Assurance with Formal Methods - G. Bruns & S. Anderson. Formal Specification of an Architecture for a Family of Instrumentation Systems - D. Garlan & N. Delisle. Formal Specification of the STV Algorithm - P. Mukherjee & B.A. Wichmann. Application of the B-Method to CICS - J.P. Hoare. Formal Verification of the AAMP5 Microprocessor - M.K. Srivas & S.P. Miller. Modelling and Verification of a Simple Real-Time Railroad Gate Controller - W.D. Young. CombiCom: Tracking and Tracing Rail Traffic Using VDM++ - E.H. Durr, N. Platt & M. de Boer. Formal Development of Safety-Critical Software Systems in Railway Signaling - B. Dehbonei & F. Mejia. Z Applied to the A330/340 CIDS Cabin Communication System - U. Hamer & J. Peleska. Specifying the Kernel of a Secure Distributed Operating System - D. Guaspari, M. Seagar & M. Stillerman. Formal Specification of an Aerospace System: The Attitude Monitor - A. Coombes, L. Barroca, J. Fitzgerald, J. A.. McDermid, L. Spencer & A. Sead. Developing a Security-Critical System Using Formal and Conventional Methods - J. Fitzgerald, P.G. Larsen, T. Brooks & M. Green. The Use of Z Within a Safety-Critical Software System - V. Hamilton. Multiparadigm Specification of an AT&T Switching System - P. Mataga & P. Zave. Formal Methods Technology Transfer: Impediments and Innovation - D. Craigen, S. Gerhart & T. Ralston.
「Nielsen BookData」 より