Автор: Peter D. Mosses

CASL, the Common Algebraic Specification Language, was designed by the members of Co FI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language …

CASL, the Common Algebraic Specification Language, was designed by the members of Co FI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language …

In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Technical Committee on foundations of computer science, TC1. The aim of IFIP TC1 is to support the developme …