| 書目名稱 | Interactive Systems: Design, Specification, and Verification | | 副標(biāo)題 | 1st Eurographics Wor | | 編輯 | Fabio Paternó | | 視頻video | http://file.papertrans.cn/471/470564/470564.mp4 | | 叢書名稱 | Focus on Computer Graphics | | 圖書封面 |  | | 描述 | Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application program is devoted to the user interface. In order to manage this complexity, it is very important to have tools, notations, and methodologies that support the designer‘s work during the refinement process from specification to implementation. .The purpose of this proceedings of the first (1994) Eurographics workshop on this area is to review the state of the art. It compares the different existing approaches in order to identify the principal requirements and the most suitable notations and methods, and indicates the relevant results. | | 出版日期 | Conference proceedings 1995 | | 關(guān)鍵詞 | Petri net; complexity; design; development; formal methods; interactive system; interfaces; language; modeli | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-87115-3 | | isbn_softcover | 978-3-642-87117-7 | | isbn_ebook | 978-3-642-87115-3 | | copyright | EUROGRAPHICS The European Association for Computer Graphics 1995 |
The information of publication is updating
書目名稱Interactive Systems: Design, Specification, and Verification影響因子(影響力)
書目名稱Interactive Systems: Design, Specification, and Verification影響因子(影響力)學(xué)科排名
書目名稱Interactive Systems: Design, Specification, and Verification網(wǎng)絡(luò)公開度
書目名稱Interactive Systems: Design, Specification, and Verification網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Interactive Systems: Design, Specification, and Verification被引頻次
書目名稱Interactive Systems: Design, Specification, and Verification被引頻次學(xué)科排名
書目名稱Interactive Systems: Design, Specification, and Verification年度引用
書目名稱Interactive Systems: Design, Specification, and Verification年度引用學(xué)科排名
書目名稱Interactive Systems: Design, Specification, and Verification讀者反饋
書目名稱Interactive Systems: Design, Specification, and Verification讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-20 21:57
發(fā)表于 2025-3-21 17:57:29
