| 書目名稱 | FM‘99 - Formal Methods |
| 副標題 | World Congress on Fo |
| 編輯 | Jeannette M. Wing,Jim Woodcock,Jim Davies |
| 視頻video | http://file.papertrans.cn/341/340106/340106.mp4 |
| 概述 | Includes supplementary material: |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM’99, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These proceedings are a record of the technical symposium ofFM’99:alo- side the papers describingapplicationsofformalmethods,youwill ndtechnical reports,papers,andabstracts detailing new advances in formaltechniques,from mathematical foundations to practical tools. The World Congress is the successor to the four Formal Methods Europe Symposia, which in turn succeeded the four VDM Europe Symposia. This s- cession re?ects an increasing openness within the international community of researchers and practitioners: papers were submitted covering a wide variety of formal methods and application areas. The |
| 出版日期 | Conference proceedings 1999 |
| 關鍵詞 | Abstract State Machines; Algebraic Methods; Formal Methods; Formal Specification; Hardware/Software Co-d |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-48118-4 |
| isbn_softcover | 978-3-540-66588-5 |
| isbn_ebook | 978-3-540-48118-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1999 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 03:53
發(fā)表于 2025-3-21 18:29:42
