Centre for Language Technol., Macquarie Univ., Sydney, NSW, Australia;
机译:使用形式语言来整合Holonic MAS方法:一种用于分析问题和代理商领域的规范方法
机译:通过在无上下文语言上使用递归函数来促进形式规范的获取
机译:扩展正式的安全协议规范语言以用于新的验证技术
机译:以英语为正式规范语言
机译:通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
机译:技术辅助自控英语学习:英语语言自我效能英语享受和学习成果的关联
机译:使用RAISE规范语言创建虚拟组织的初步正式规范
机译:关于可靠实时系统规范的语言和符号,第4部分修订。要求和设计规范语言。正式定义