| 书目名称 | Z User Workshop |
| 副标题 | Proceedings of the F |
| 编辑 | John E. Nicholls |
| 视频video | http://file.papertrans.cn/1061/1060381/1060381.mp4 |
| 丛书名称 | Workshops in Computing |
| 图书封面 |  |
| 描述 | The mathematical concepts and notational conventions we know of as Z were first proposed around 1981. Its origins were in line with the objectives of the PRG - to establish a mathematical basis for program ming concepts and to verify the work by case studies with industry. Hence among early Z users some were from academic circles, with interests in the mathematical basis of programming; others came from industry and were involved with pilot projects and case studies linked with the Programming Research Group. Four years ago we had the first Z User Meeting, a fairly modest affair with representatives more or less equally divided between academia and industry. At the first meeting there were, as in this meeting, a variety of technical papers, reports of work in progress and discussions. A number of people from industry came along, either because they had begun to use Z or were curious about the new direction. In the discussion sessions at the end of the meeting, there were calls from attendees for the establishment of a more stable base for the notation, including work on its documentation and standards. Many of these requests have now been satisfied and the notation is now being pr |
| 出版日期 | Conference proceedings 1990 |
| 关键词 | CASE; High integrity software; Specification; algorithm; algorithms; design; development; documentation; for |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4471-3877-8 |
| isbn_softcover | 978-3-540-19627-3 |
| isbn_ebook | 978-1-4471-3877-8Series ISSN 1431-1682 |
| issn_series | 1431-1682 |
| copyright | Springer-Verlag London 1990 |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-4 16:40
发表于 2025-3-21 19:14:45
