面向对象的形式化规约语言GOOZ

摘要

在总结和评价现有Z语言面向对象扩充的基础上,设计了一种新的扩充语言GOOz,该语言克服了z++、Object Z等语言的一些缺点,其书写规约具有简洁、明确、接口定义清晰、模块完整、结构良好、易于验证的特点.