Department of Computer Science and Engineering University of Minnesota, Minneapolis, Minnesota 55455;
机译:通过模型检查自动进行视觉建模语言的形式验证
机译:弥合行为形式描述技术和用户界面描述语言之间的鸿沟:通过图形用户界面标记语言增强ICO
机译:在无上下文语言中定义的函数的实用类型检查
机译:正式定义用于监视和检查对象交互的图形语言
机译:面向模型检查和性能评估的统一的正式语言。
机译:语言映射和监控的科隆图片命名试验(CONAT):一个开放式100个黑白对象图纸
机译:图形对象查询语言(GOAL)的用户视图(UV)的正式定义\ ud \ ud
机译:一种定义计算机语言语法和语义的形式系统