High integrity software (Q2734512)

The articles of this volume will be reviewed individually.NEWLINENEWLINEIndexed articles:NEWLINENEWLINE\textit{Smith, Douglas R.}, Designware: Software development by refinement, 3-21 [Zbl 0982.68029]NEWLINENEWLINE\textit{Sorensen, Ib; Neilson, David}, B: Towards zero defect software, 23-42 [Zbl 0982.68045]NEWLINENEWLINE\textit{Ifill, Wilson; Sorensen, Ib; Schneider, Steve}, The use of \(B\) to specify, design and verify hardware, 43-62 [Zbl 0982.68025]NEWLINENEWLINE\textit{Aronszajn, M.; Sitaraman, M.; Atkinson, S.; Kulczycki, G.}, A system for predictable component-based software construction, 63-87 [Zbl 0982.68030]NEWLINENEWLINE\textit{Mori, Kinji}, Autonomous decentralized systems technologies and their application to a train transport operation system, 89-111 [Zbl 0982.68015]NEWLINENEWLINE\textit{Winter, Victor L.; Berg, Raymond S.; Ringland, James T.}, Bay area rapid transit district advanced automated train control system -- case study description, 115-135 [Zbl 1052.93048]NEWLINENEWLINE\textit{Heitmeyer, Constance}, Using SCR to specify requirements of the BART advanced automated train control system, 137-168 [Zbl 0982.68088]NEWLINENEWLINE\textit{Kapur, Deepak; Winter, Victor L.}, On the construction of a domain language for a class of reactive systems, 169-196 [Zbl 0985.68032]NEWLINENEWLINE\textit{Winter, Victor L.; Kapur, Deepak; Berg, Raymond S.}, A refinement-based approach to deriving train controllers, 197-240 [Zbl 0982.68089]NEWLINENEWLINE\textit{Bastani, F. B.; Reddy, V.; Srigiriraju, P.; Yen, I.-L.}, Systematic validation of a relational control program for the bay area rapid transit system, 243-264 [Zbl 0982.68090]NEWLINENEWLINE\textit{King, Lawrence; Gupta, Gopal; Pontelli, Enrico}, Verification of a controller for BART: An approach based on Horn logic and denotational semantics, 265-299 [Zbl 0982.68091]NEWLINENEWLINE\textit{Winter, Victor L.; Caudell, Thomas P.}, Using virtual reality to validate system models, 301-320 [Zbl 0982.68172]