CASL: the Common Algebraic Specification Language

By Astesiano E.   Bidoit M.   Kirchner H.   Krieg-Bruckner B.   Mosses P.D.   Sannella D.   Tarlecki A.  

Theoretical Computer Science, Vol. 286, Iss. 2, 2002-09 ,pp. : 153-196

Elsevier

Access to resources Recommend Favorite

Tool-Assisted Specification and Verification of Typed Low-Level Languages

By Barthe Gilles   Courtieu Pierre   Dufay Guillaume   Melo de Sousa Simão  

Journal of Automated Reasoning, Vol. 35, Iss. 4, 2005-11 ,pp. : 295-354

Springer Publishing Company

Access to resources Recommend Favorite

Specification languages in algebraic compilers

By Van Wyk E.  

Theoretical Computer Science, Vol. 291, Iss. 3, 2003-01 ,pp. : 351-385

Elsevier

Access to resources Recommend Favorite

Specification of Service Level Agreements: Problems, Principles and Practices

By Trienekens Jos J.M.   Bouman Jacques J.   van der Zwan Mark  

Software Quality Journal, Vol. 12, Iss. 1, 2004-03 ,pp. : 43-57

Springer Publishing Company

Access to resources Recommend Favorite

An introduction to metric semantics: operational and denotational models for programming and specification languages

By van Breugel  

Theoretical Computer Science, Vol. 258, Iss. 1, 2001-05 ,pp. : 1-98

Elsevier

Access to resources Recommend Favorite