| 书目名称 | FM‘99 - Formal Methods |
| 副标题 | World Congress on Fo |
| 编辑 | Jeannette M. Wing,Jim Woodcock,Jim Davies |
| 视频video | |
| 概述 | 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-48119-2 |
| isbn_softcover | 978-3-540-66587-8 |
| isbn_ebook | 978-3-540-48119-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1999 |
发表于 2025-3-21 19:09:00
