High Integrity Software

Preface. Part I: General Applications of Formal Methods and Systems. 1. Designware: Software Development by Refinement D.R. Smith. 2. B: Towards Zero Defect Software I. Sorensen, D. Neilson. 3. The Use of B to Specify, Design and Verify Hardware W. Ifill, et al. 4. A System for Predictable Component-Based Software Construction M. Aronszajn, et al. 5. Autonomous Decentralized Systems K. Mori. Part II: Case Study. 6. Bay Area Rapid Transit System Case Study V.L. Winter, et al. 7. Using SCR to Specify the BART Requirements C. Heitmeyer. 8. Domain Language for a Class of Reactive Systems D. Kapur, V.L. Winter. 9. Refinement-based Derivation of Train Controllers V.L. Winter, et al. Part III: Verification and Validation. 10. Validation of a Relational Program F.B. Bastani, et al. 11. Verification of a Controller for BART L. King, et al. 12. Using Virtual Reality to Validate System Models V.L. Winter, T.P. Caudell. Index.