SCOPUS 정보 검색 플랫폼

Volumn 26, Issue 4, 1989, Pages 287-308

Laws of data refinement

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY;

DATA REFINEMENT; PROCEDURAL REFINEMENT; SPECIFICATION LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0024611505 PISSN: 00015903 EISSN: 14320525 Source Type: Journal
DOI: 10.1007/BF00276019 Document Type: Article

Times cited : (44)

References (11)

1
- 0003231413
- Correctness preserving program refinements: Proof theory and applications
- Mathematisch Centrum, Amsterdam
- (1980) Mathematical Center Tracts 131
- Back, R.J.R.¹

2
- 0004253669
- Prentice-Hall, Englewood Cliffs, N.J.
- (1976) A discipline of programming
- Dijkstra, E.W.¹

3
- 0022085285
- A new notion of encapsulation. Proc. Symp. Language Issues in Programming Environments
- (1985) Sigplan , vol.20 , pp. 131-139
- Gries, D.¹ Prins, J.A.²

4
- 0004099678
- I., Hayes, Prentice-Hall, Englewood Cliffs, N.J.
- (1987) Specification case studies
- Hayes, I.¹

5
- 0015482118
- Proofs of correctness of data representations
- (1972) Acta Informatica , vol.1 , pp. 271-281
- Hoare, C.A.R.¹

6
- 0023646415
- Prespecification in data refinement
- (1987) Inf. Process. Lett. , vol.25 , pp. 71-76
- Hoare, C.A.R.¹ He, J.F.² Sanders, J.W.³

7
- 0004176640
- Prentice-Hall, Englewood Cliffs, N.J.
- (1986) Systematic software development using VDM
- Jones, C.B.¹

8
- 0023829012
- Data refinement by miracles
- (1988) Inf. Process. Lett. , vol.26 , pp. 243-246
- Morgan, C.¹

9
- 0023558869
- A theoretical basis for stepwise refinement and the programming calculus
- (1987) Sci. Comput. Program. , vol.9 , pp. 287-306
- Morris, J.M.¹

10
- 84935116288
- Morris, J.M.: Piecewise data refinement. Report CSC/87/R12, Dept. of Computing Sci. Univ. of Glasgow 1987

11
- 84972541021
- A lattice theoretical fixpoint theorem and its applications
- (1955) Pacific Journal of Mathematics , vol.5 , pp. 285-309
- Tarski, A.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.