The CoFI Task Group on Semantics. Semantics of the Common Algebraic Specification Language Casl. Available from http://www.cofi.info/ (2003). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (Correct)
....T 2 A unit term is either a (non parametrized) unit name, or a (parametrized) unit application with an argument that fits via a signature morphism #, or an amalgamation of (non parametrized) units. The semantics of this Casl fragment can be defined following the same lines as for full Casl, see [CoFI02,SMT 01,BST02b] Let us just discuss here the semantics of specifications of parametrized units. Consider for instance the following simple architectural specification: arch spec AS units U 1 : SP 1 ; F : SP 1 2 ; result F [U 1 ] To be well formed, the specification SP 1 2 of the ....
The CoFI Task Group on Semantics. Semantics of the Common Algebraic Specification Language Casl. Available at http://www.brics.dk/ Projects/CoFI/Documents/CASL/Semantics/ (2002).
Global Development via Local Observational Construction Steps - Bidoit, Sannella, Tarlecki (2002) (1 citation) (Correct)
....which extends the parameter via a signature morphism #. Unit terms: T : U T 1 and T 2 A unit term is either a (non parametrized) unit name, or a unit application with an argument that fits via a signature morphism #, or an amalgamation of units. Following the semantics of full Casl [CoFI02] see also [SMT 01] we give the semantics of this Casl fragment in two stages: first we give its extended static semantics and then the strict model semantics. An extended static context st , #G ) in which Casl phrases are elaborated, consists of a static context for parametrized units ....
The CoFI Task Group on Semantics. Semantics of the Common Algebraic Specification Language Casl. Available at http://www.brics.dk/ Projects/CoFI/Documents/CASL/Semantics/ (2002).
Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (Correct)
No context found.
The CoFI Task Group on Semantics. Semantics of the Common Algebraic Specification Language Casl. Available from http://www.cofi.info/ (2003).
Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (2004) (Correct)
No context found.
The CoFI Task Group on Semantics. Semantics of the Common Algebraic Specification Language Casl. Available from http://www.cofi.info/ (2003).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC