| 書目名稱 | Formal Methods in Systems Engineering | | 編輯 | Peter Ryan,Chris Sennett | | 視頻video | http://file.papertrans.cn/346/345840/345840.mp4 | | 圖書封面 |  | | 描述 | As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathematical and scientific foundations currently used are extremely limited which means that their correctness and reliability cannot be ensured to an acceptable level. Systems engineering needs to become a fully fledged scientific discipline and formal methods, which are characterised by their firm mathematical foundations, are playing a vital role in achieving this transition. This volume is based on the proceedings of the Formal Methods Workshop (FM91), held in Drymen, Scotland, 24-27 September 1991. This was the second workshop sponsored by the Canadian and US governments to address the role of formal methods in the development of digital systems. Traditionally, formal methods have evolved in isolation from more conventional approaches, and one of the aims of this workshop was to emphasise the benefits of integrating the two areas. The workshop concentrated on the themes of quality assurance, design methods and mathematical modelling techniques. Particular emphasis was given to safety and | | 出版日期 | Book 1993 | | 關鍵詞 | Design Methods; Modelling; Security; design; modeling; quality assurance; validation | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4471-1975-3 | | isbn_softcover | 978-3-540-19751-5 | | isbn_ebook | 978-1-4471-1975-3 | | copyright | Springer-Verlag London Limited 1993 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網安備110108008328)
GMT+8, 2025-10-12 13:32
發(fā)表于 2025-3-21 17:05:46
