Algebraic specification techniques and tools for software development: the ACT approach

Authors:
Ingo Classen;Hartmut Ehrig;Dietmar Wolz
Affiliations:
Technical Univ. of Berlin, Berlin, Germany;Technical Univ. of Berlin, Berlin, Germany;Technical Univ. of Berlin, Berlin, Germany
Venue:
Algebraic specification techniques and tools for software development: the ACT approach
Year:
1993

Citing 0
Cited 3

CASL: the common algebraic specification language

Theoretical Computer Science
Relating CASL with other specification languages: the institution level

Theoretical Computer Science
Algebraic specification of network security risk management

Proceedings of the 2003 ACM workshop on Formal methods in security engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract