形式化规约语言相关论文
针对面向对象系统，定义了一种基于时序逻辑的形式化规约语言。它不仅支持对面向对象思想中重要概念，如类、对象、继承等的描述，而且支......
在总结和评价现有Z语言面向对象扩充的基础上,设计了一种新的扩充语言GOOz,该语言克服了z++、Object Z等语言的一些缺点,其书写规......
