| 書目名稱 | Formal Methods and Software Engineering | | 副標題 | 10th International C | | 編輯 | Shaoying Liu,Tom Maibaum,Keijiro Araki | | 視頻video | http://file.papertrans.cn/346/345748/345748.mp4 | | 叢書名稱 | Lecture Notes in Computer Science | | 圖書封面 |  | | 描述 | Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective, rigorous, and systematic techniques for signi?cant improvement of software productivity, quality, and tool supportability. In comparison with formal methods, a distinct feature of formal engineering methods is that they emphasize the importance of the balance between the qualities of simplicity, visualization, and preciseness for practicality. To achieve this goal, formal engineering methods must be - veloped on the basis of both formal methods and existing software technologies in software engineering, and they must serve the improvement of the softwa- engineering process. ICFEM 2008 marks the tenth anniversary of the ?rst ICFEM conference, which was held in Hiroshima in 1997. It aims to bring together researchers and practitioners who are interested in the development and application of formal engineering methods to present their latest work and discuss future research directions. The conference o?ers a great opportunity for researchers in both formal methods a | | 出版日期 | Conference proceedings 2008 | | 關鍵詞 | certification; csp; formal methods; formal software development; formal specification; model checking; pro | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-540-88194-0 | | isbn_softcover | 978-3-540-88193-3 | | isbn_ebook | 978-3-540-88194-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2008 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 19:43
發(fā)表于 2025-3-21 16:45:21
