Titlebook: Design, Specification and Verification of Interactive Systems ’96; Proceedings of the E Francois Bodart,Jean Vanderdonckt Conference procee

极大

书目名称Design, Specification and Verification of Interactive Systems ’96影响因子(影响力)




书目名称Design, Specification and Verification of Interactive Systems ’96影响因子(影响力)学科排名




书目名称Design, Specification and Verification of Interactive Systems ’96网络公开度




书目名称Design, Specification and Verification of Interactive Systems ’96网络公开度学科排名




书目名称Design, Specification and Verification of Interactive Systems ’96被引频次




书目名称Design, Specification and Verification of Interactive Systems ’96被引频次学科排名




书目名称Design, Specification and Verification of Interactive Systems ’96年度引用




书目名称Design, Specification and Verification of Interactive Systems ’96年度引用学科排名




书目名称Design, Specification and Verification of Interactive Systems ’96读者反馈




书目名称Design, Specification and Verification of Interactive Systems ’96读者反馈学科排名

机密

hermetic

解决

enfeeble

Freeze

Freeze

Conference proceedings 1996 of the application code is devoted to the user interface portion. In order to manage this complexity, it is important to have tools, notations, and methodologies which support the designer’s work during the refinement process from specification to implementation. Selected revised papers from the Eu

离开真充足

catagen

卵石

https://doi.org/10.1007/978-1-4842-3144-9understand its processes, as well as the phenomena of judgment and causal attribution by which it is marked. We will also analyze the question of how error is corrected within the framework of established technical systems. Finally, the predictability and, therefore, the certification of such technical systems will be questioned.