Searching for "Laws of Data Refinement." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Refining Database Systems
- … it means to "implement" by introducing data refinement. In Section 4, some laws are given: these concern…
- Cited by 4 (0 self) – Add To MetaCart
-
A Refinement Algebra for Object-Oriented Programming
- … propose a law for data refinement that generalises the technique from traditional modules to class…
- Cited by 16 (3 self) – Add To MetaCart
-
Two-Categories and Program Structure
- …(3):403--419, 1988. [Mor89] Joseph M. Morris. Laws of data refinement. Acta Informatica, 26:287--308, 1989. [MSS91…
- Add To MetaCart
-
A practical approach to software engineering using Z and the refinement calculus
- …, however, we can immediately use the laws of the refinement calculus---those for data refinement as well…
- Cited by 3 (0 self) – Add To MetaCart
-
Families of Formal Requirements in Telephone Switching
- …. (Multiple) inheritance of classes is available. Numerous algebraic laws for data refinement have been…
- Cited by 14 (5 self) – Add To MetaCart
-
Acta Informatica 26, 287-308 (1989)
- …$FWD,QIRUPDWLFD Laws of Data Refinement Joseph M. Morris 'HSDUWPHQW RI &RPSXWLQJ 6FLHQFH 8QLYHUVLW…
- Add To MetaCart
Showing 1 through 6.
