| 書目名稱 | Z User Workshop | | 副標(biāo)題 | 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 | | 關(guān)鍵詞 | 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
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-6 22:15
發(fā)表于 2025-3-21 19:14:45
