书目名称 | Safer Systems | 副标题 | Proceedings of the F | 编辑 | Felix Redmill,Tom Anderson | 视频video | | 图书封面 |  | 描述 | The contributions to this book are the invited papers presented at the fifth annual Safety-critical Systems Symposium. They cover a broad spectrum of issues affecting safety, from a philosophical appraisal to technology transfer, from requirements analysis to assessment, from formal methods to artificial intelligence and psychological aspects. They touch on a number of industry sectors, but are restricted to none, for the essence of the event is the transfer of lessons and technologies between sectors. All address practical issues and of fer useful information and advice. Contributions from industrial authors provide evidence of both safety con sciousness and safety professionalism in industry. Smith‘s on safety analysis in air traffic control and Rivett‘s on assessment in the automotive industry are informative on current practice; Frith‘s thoughtful paper on artificial intelli gence in safety-critical systems reflects an understanding of questions which need to be resolved; Tomlinson‘s, Alvery‘s and Canning‘s papers report on collaborative projects, the first on results which emphasise the importance of human factors in system development, the second on the development and tri | 出版日期 | Conference proceedings 1997 | 关键词 | Management; Software; Software Engineering; Technologie; Transport; design; model; quality; robot; structured | 版次 | 1 | doi | https://doi.org/10.1007/978-1-4471-0975-4 | isbn_softcover | 978-3-540-76134-1 | isbn_ebook | 978-1-4471-0975-4 | copyright | Springer-Verlag London Limited 1997 |
The information of publication is updating
|
|