Department of Information Science University of Otago PO Box 56, Dunedin, New Zealand;
languages; design; experimentation;
机译:智能软件代理的基于逻辑的规范语言
机译:使用过程代数体系结构描述语言处理通信:建模,验证和实现
机译:使用基于模式的规范实现视觉语言
机译:直接从UML规范实施代理通信语言
机译:使用认知主体规范语言(CASL)指定和验证多主体系统。
机译:家长的压力似乎与孩子的表达语言能力相关联并且不会受到母公司实现的通信干预
机译:直接从UML规范实施代理通信语言
机译:DaRpa代理标记语言(DamL)统一建模语言(UmL) - 基于本体工具集(UBOT)