| 書(shū)目名稱(chēng) | Z User Workshop, Cambridge 1994 | | 副標(biāo)題 | Proceedings of the E | | 編輯 | J. P. Bowen,J. A. Hall | | 視頻video | http://file.papertrans.cn/1061/1060382/1060382.mp4 | | 叢書(shū)名稱(chēng) | Workshops in Computing | | 描述 | This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the SAZ method. .Z User. .Workshop, Cambridge 1994. provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z. | | 出版日期 | Conference proceedings 1994 | | 關(guān)鍵詞 | Natural; class; concurrency; inheritance; object; semantics | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4471-3452-7 | | isbn_softcover | 978-3-540-19884-0 | | isbn_ebook | 978-1-4471-3452-7Series ISSN 1431-1682 | | issn_series | 1431-1682 | | copyright | British Computer Society 1994 |
The information of publication is updating
書(shū)目名稱(chēng)Z User Workshop, Cambridge 1994影響因子(影響力)
書(shū)目名稱(chēng)Z User Workshop, Cambridge 1994影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Z User Workshop, Cambridge 1994網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Z User Workshop, Cambridge 1994網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Z User Workshop, Cambridge 1994被引頻次
書(shū)目名稱(chēng)Z User Workshop, Cambridge 1994被引頻次學(xué)科排名
書(shū)目名稱(chēng)Z User Workshop, Cambridge 1994年度引用
書(shū)目名稱(chēng)Z User Workshop, Cambridge 1994年度引用學(xué)科排名
書(shū)目名稱(chēng)Z User Workshop, Cambridge 1994讀者反饋
書(shū)目名稱(chēng)Z User Workshop, Cambridge 1994讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-6 20:42
發(fā)表于 2025-3-21 17:36:37
