原名:A Scalable Formal Method for Design and Automatic Checking of User Interfaces
作品简介:学会对话是通过模块化、通信语法来指定的 di Milano, P.zza Leonardo da Vinci, 32, 20133 Milano, Italia;电子邮件:{crespi .生成实现 GUI 逻辑行为的 Java 类。……

资源下载
包年VIP免费升级包年VIP
0
显示验证码
没有账号?注册  忘记密码?

社交账号快速登录