| 书目名称 | Interactive Systems: Design, Specification, and Verification | | 副标题 | 1st Eurographics Wor | | 编辑 | Fabio Paternó | | 视频video | | | 丛书名称 | 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 | | 关键词 | 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影响因子(影响力)学科排名
书目名称Interactive Systems: Design, Specification, and Verification网络公开度
书目名称Interactive Systems: Design, Specification, and Verification网络公开度学科排名
书目名称Interactive Systems: Design, Specification, and Verification被引频次
书目名称Interactive Systems: Design, Specification, and Verification被引频次学科排名
书目名称Interactive Systems: Design, Specification, and Verification年度引用
书目名称Interactive Systems: Design, Specification, and Verification年度引用学科排名
书目名称Interactive Systems: Design, Specification, and Verification读者反馈
书目名称Interactive Systems: Design, Specification, and Verification读者反馈学科排名
|
|
|
发表于 2025-3-21 17:57:29
