| 書(shū)目名稱(chēng) | Interactive Systems: Design, Specification, and Verification | | 副標(biāo)題 | 1st Eurographics Wor | | 編輯 | Fabio Paternó | | 視頻video | http://file.papertrans.cn/471/470564/470564.mp4 | | 叢書(shū)名稱(chēng) | Focus on Computer Graphics | | 圖書(shū)封面 |  | | 描述 | 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
書(shū)目名稱(chēng)Interactive Systems: Design, Specification, and Verification影響因子(影響力)
書(shū)目名稱(chēng)Interactive Systems: Design, Specification, and Verification影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Interactive Systems: Design, Specification, and Verification網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Interactive Systems: Design, Specification, and Verification網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Interactive Systems: Design, Specification, and Verification被引頻次
書(shū)目名稱(chēng)Interactive Systems: Design, Specification, and Verification被引頻次學(xué)科排名
書(shū)目名稱(chēng)Interactive Systems: Design, Specification, and Verification年度引用
書(shū)目名稱(chēng)Interactive Systems: Design, Specification, and Verification年度引用學(xué)科排名
書(shū)目名稱(chēng)Interactive Systems: Design, Specification, and Verification讀者反饋
書(shū)目名稱(chēng)Interactive Systems: Design, Specification, and Verification讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-20 23:46
發(fā)表于 2025-3-21 17:57:29
