Efficient implementation of an algebraic specification language

2005 ◽  
pp. 69-90 ◽  
Author(s):  
H. Klaeren ◽  
K. Indermark
Keyword(s):  
Specification Language ◽  
Efficient Implementation ◽  
Algebraic Specification

Casl — the Common Algebraic Specification Language

2007 ◽  
pp. 241-298 ◽  
Author(s):  
Till Mossakowski ◽  
Anne E. Haxthausen ◽  
Donald Sannella ◽  
Andrezj Tarlecki
Keyword(s):  
Specification Language ◽  
Algebraic Specification ◽  
The Common

The algebraic specification language LOTOS: an industrial experience

1990 ◽  
Vol 15 (4) ◽  
pp. 59-66 ◽  
Author(s):  
Luigi Logrippo ◽  
Tim Melanchuk ◽  
Robert J. Du Wors
Keyword(s):  
Specification Language ◽  
Algebraic Specification ◽  
Industrial Experience

scholarly journals CASL: the Common Algebraic Specification Language

2002 ◽  
Vol 286 (2) ◽  
pp. 153-196 ◽  
Author(s):  
Egidio Astesiano ◽  
Michel Bidoit ◽  
Hélène Kirchner ◽  
Bernd Krieg-Brückner ◽  
Peter D. Mosses ◽  
...  
Keyword(s):  
Specification Language ◽  
Algebraic Specification ◽  
The Common
Sign in / Sign up

Export Citation Format

Share Document