机译:通过自动验证其正式规格来开发可用的Web界面
Dipartimento di Matematica e Informatica, Universita degli Studi di Salerno, Via Ponte Don Melillo, 84084 - Fisciano (SA), Italy;
Dipartimento di Matematica e Informatica, Universita degli Studi di Salerno, Via Ponte Don Melillo, 84084 - Fisciano (SA), Italy;
graphical user interface; usability evalution; grammars formalism;
机译:条件承诺的正式规范和自动验证
机译:从任务模型自动生成规范属性,以进行人与自动化交互的形式验证
机译:致力于自动生成形式规范以验证和验证可靠的分布式系统:以工业案例研究为例的方法
机译:通过使用可执行的正式规范,帮助模块化设计和验证安全关键时断系统
机译:根据交易数据路径规范自动进行管道综合和形式验证。
机译:开发了一个健康教育网站以满足年轻人有关基于网络的色情内容和性显露图像(SCOPE)共享的信息需求:可用性研究
机译:哪种验证可靠和可用的Web应用程序的形式导航模型?