Algebraic Specification Techniques and Tools for Software Development: The Act Approach

AMAST Series in Computing Pub Date : 1993-11-01 DOI:10.1142/1877

I. Claßen, H. Ehrig, D. Wolz

引用次数: 27

Abstract

Algebraic specfication as formal method for software development ACT one - a language for parameterized specification ACT two - a language for module specification the ACT environment. Appendix: algebraic concepts and operational semantics.

查看原文本刊更多论文

软件开发的代数规范技术和工具:Act方法

代数规范作为软件开发的形式化方法，一是用于参数化规范的语言，二是用于模块规范的语言。附录:代数概念和运算语义。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

AMAST Series in Computing

自引率

0.00%

发文量