| 书目名称 | Z User Workshop | | 副标题 | Proceedings of the F | | 编辑 | John E. Nicholls | | 视频video | | | 丛书名称 | 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 |
The information of publication is updating
|
|
发表于 2025-3-21 19:14:45
