Вы здесь

Главная

casl

Связанные издания:

CASL User Manual
Development of Parsing Tools for CASL Using Generic Language Technology
Extending Casl by Late Binding
Specifications in an Arbitrary Institution with Symbols
Specifying Real Numbers in CASL
Subsorted Partial Higher-Order Logic as an Extension of CASL
Towards an Evolutionary Formal Software-Development Using CASL
Using CASL to Specify the Requirements and the Design: A Problen Specific Approach