Srinivas, Y., Algebraic Specification: Syntax, Semantics, Structure, Technical Report UCI-ICS-90-15, ICS Dept., University of Calif., Irvine, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
An Assessment of Reuse Technology after Ten Years - Neighbors (1994) (1 citation) (Correct)
....is not well defined because there are many approaches to using domain specific knowledge. Some system specification techniques using domain knowledge are given below. Domain languages [19] constrain system descriptions to legal statements in an ad hoc source form language. Domain algebra [28] constrain system descriptions to legal statements in a high level formal algebra. Domain specific software architectures [15] constrain system descriptions to a single architecture template to be elaborated with detail. Domain specific kits [13] provide components, frameworks, glue ....
Srinivas, Y., Algebraic Specification: Syntax, Semantics, Structure, Technical Report UCI-ICS-90-15, ICS Dept., University of Calif., Irvine, 1990.
DTRE - A Semi-Automatic Transformation System - Blaine, Goldberg (1991) (26 citations) (Correct)
....to efficient code. Users can change implementations by simply changing annotations. Among other things this provides a smooth transition between prototyping, producing a production quality system, and maintaining the system. Dtre itself is implemented in Refine[18] and has been 9 See [16] for a recent survey of the semantics of Algebraic Specifications. integrated with the kids system[4] for algorithm design and refinement. We first give a simple example of what the system does and then give brief descriptions of some parts of the system. In the example, the user has not ....
....morphism, etc. were introduced into the Computer Science community along with the use of theories for specifications. See, for example, 24, 25, 26, 19] Also, much of this work has been generalized to institutions and given a category theoretic formulation. See [27, 28, 24, 29, 11] Also, see [16] for a recent survey of Algebraic Specifications. Much of the current work on refinement is done in the context of the Dijkstra Gries formalism using predicate transformers as the semantic basis [30, 31, 32, 33] Prins Thesis [9] describes the design of a data refinement system based on weakest ....
Yellamraju V. Srinivas. Algebraic Specification: Syntax, Semantics, Structure. Technical Report 90-15, University of California, Irvine, June 1990.
Diagrams for Software Synthesis - Jüllig, Srinivas (1993) (11 citations) Self-citation (Srinivas) (Correct)
....and specification morphism. Out of these we construct specification diagrams to express the structure of a system, specialization hierarchies, parameterization, instantiation, implementation, etc. We will briefly explain these notions below; for a survey of algebraic specification, see [22, 17]; for a gentle introduction, with connections to software engineering, see [18] A specification is a collection of sorts (or types) and operations on these sorts, together with axioms which constrain their meaning. The axioms used in this paper are written in first order logic. We will use the ....
Srinivas, Y. V. Algebraic specification: Syntax, semantics, structure. Tech. Rep. 90-15, Dept. of ICS, University of California, Irvine, June 1990.
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