H. Ehrig and H.-J. Kreowski. Refinement and implementation. In: Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
An Approach to Algebraic Semantics of Object-Oriented Languages - Fronk (2002) (Correct)
....of classes is understood as parametric polymorphism. With polymorphism characterized by substitution (see Sect. 3.3) generic classes may be used in different situations 26 uniformly by actualizing their formal parameter. In correspondence with horizontal and vertical implementation [19], substitution may be called vertical in the context of inheritance, and horizontal in the context of parametrization. Parametrical polymorphism allows for parallel development of generic classes and their parameters, and is thus orthogonal to inheritance. A detailed discussion can be found, for ....
H. Ehrig and H.-J. Kreowski. Refinement and implementation. In E. Astesiano, H.-J. Kreowski, and B. Krieg-Brckner, editors, Algebraic Foundations of Systems Specification, IFIP State-of-the-Art Reports, pages 201 -- 242. Springer, 1999.
Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (Correct)
.... AGILE project IST 2001 32747 (AT) CNRS PAS Research Cooperation Programme (MB, AT) and British Polish Research Partnership Programme (DS, AT) stepwise refinement, including [EKMP82,Gan83,GM82,Sch87,Sch90,ST88b,ST89] the general ideas go back at least to [Hoa72] For a recent survey, see [EK99] There are many issues that make this a di#cult problem, and some of them are rather subtle, one example being the relationship between specification structure and software structure. An overview that covers most of our own contributions is [ST97] with some more recent work addressing the ....
H. Ehrig and H.-J. Kreowski. Refinement and implementation. In:
Global Development via Local Observational Construction Steps - Bidoit, Sannella, Tarlecki (2002) (1 citation) (Correct)
....architectural specifications. 1 Introduction There has been a great deal of work in the algebraic specification tradition on formalizing the rather intuitive and appealing idea of program development by stepwise refinement, including [EKMP82,Gan83,GM82,Sch87,ST88b] for a recent survey, see [EK99] There are many issues that make this a di#cult problem, and some of them are rather subtle, one example being the relationship between specification structure and program structure. There are di#cult interactions and tradeo#s, an obvious one being between the expressive power of a ....
H. Ehrig and H.-J. Kreowski. Refinement and implementation. In:
Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (Correct)
No context found.
H. Ehrig and H.-J. Kreowski. Refinement and implementation. In:
Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (2004) (Correct)
No context found.
H. Ehrig and H.-J. Kreowski. Refinement and implementation. In:
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