画布
发表于 2025-3-30 08:35:27
http://reply.papertrans.cn/27/2689/268825/268825_51.png
Macronutrients
发表于 2025-3-30 12:44:04
http://reply.papertrans.cn/27/2689/268825/268825_52.png
liposuction
发表于 2025-3-30 17:07:22
Design, Specification and Verification of Interactive Systems ’95978-3-7091-9437-9Series ISSN 0946-2767
Intrepid
发表于 2025-3-31 00:31:46
http://reply.papertrans.cn/27/2689/268825/268825_54.png
gospel
发表于 2025-3-31 01:25:20
https://doi.org/10.1007/978-981-15-6883-1nterfaces (GUI). For this reason TADEUS is a methodology as well as a supporting environment for GUI development. An overview about the TADEUS approach is given in this paper. The TADEUS Dialogue graph, a new specification technique for GUI, and the generation of GUI based on Dialogue graphs are described.
ARENA
发表于 2025-3-31 08:36:36
http://reply.papertrans.cn/27/2689/268825/268825_56.png
Ptsd429
发表于 2025-3-31 09:42:29
http://reply.papertrans.cn/27/2689/268825/268825_57.png
habile
发表于 2025-3-31 16:23:05
http://reply.papertrans.cn/27/2689/268825/268825_58.png
bizarre
发表于 2025-3-31 20:11:15
Nicolangelo Iannella,Michel Condeminemeans of capturing formal specifications and the reasoning behind design decisions are presented as parts of a uniform framework; a formal account is given of how design options satisfy criteria and how design options can be combined to answer larger design questions.
Stress
发表于 2025-3-31 23:11:29
http://reply.papertrans.cn/27/2689/268825/268825_60.png