The Common Framework Initiative
BibTeX
@MISC{Specification_thecommon,
author = {For Algebraic Specification and D. Mosses},
title = {The Common Framework Initiative},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111 5.1 Normal Grammar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112 5.1.1 Basic Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112 5.1.2 Basic Specifications with Subsorts . . . . . . . . . . . . . . . . . . . 114 5.1.3 Structured Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . 114 5.1.4 Architectural Specifications . . . . . . . . . . . . . . . . . . . . . . . . . 115 5.1.5 Specification Libraries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116 5.2 Abbreviated Grammar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 5.2.1 Basic Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 5.2.2 Basic Specifications with Subsorts . . . . . . . . . . . . . . . . . . . 119 5.2.3 Structured Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . 119 5.2.4 Architectural Specifications . . . . . . . . . . . . . . . . . . . . . . . . . 120 5.2.5 Specification Libraries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121 Page: XII *** FIRST PUBLIC DRAFT *** 17-Jul-2003/9:57 Contents XIII Part III Semantics 1
Citations
| 134 | Toward formal development of programs from algebraic specification revisited - Sanella, Tarlecki - 1988 |
| 35 | The meaning of negative premises in transition system specifications II - Glabbeek - 1995 |
| 25 | HasCasl: Towards integrated specification and development of functional programs - Schroder, Mossakowski - 2002 |
| 8 | Semantics of architectural specifications in Casl - Schröder, Mossakowski, et al. - 2001 |
| 5 | Specification of abstract data types using conditional axioms - Thatcher, Wagner, et al. - 1981 |
| 1 | Semantics of architectural specifications in Casl - Klin - 2001 |
| 1 | Sannella and Andrzej Tarlecki. On observational equivalence and algebraic specification - Donald - 1987 |
| 1 | On the category of Casl signatures. Presentation at WADT’99 - Wagner - 1999 |
