SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Software: Practice and Experience

Volumn 25, Issue 3, 1995, Pages 305-330

CADi: An architecture for Z tools and its implementation

(2) Toyn, Ian a McDermid, John A a

a UNIVERSITY OF YORK (United Kingdom)

Author keywords

Cadiz; formal specification; reuse; tool integration; Z

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SYSTEMS; DIFFERENTIATION (CALCULUS); FORMAL LANGUAGES; SET THEORY; STANDARDS;

CADIZ; FORMAL SPECIFICATION; REUSE; TOOL INTEGRATION;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0029276566 PISSN: 00380644 EISSN: 1097024X Source Type: Journal
DOI: 10.1002/spe.4380250306 Document Type: Article

Times cited : (31)

References (33)

1
- 84987217158
- Interim Defence Standard 00–55: Requirements For The Procurement of Safety Critical Software
- (1991)

2
- 0346820009
- Oxford University Computing Laboratory, November
- (1992) Z Base Standard: Version 1.0
- Brien, S.M.¹ Nicholls, J.E.²

3
- 84987166468
- ‘An international survey of industrial applications of formal methods’, 7th Z User Meeting, December
- (1990)
- Craigen, D.¹

4
- 84987230132
- Unix Research System Papers, Tenth Edition Volume II, ISBN 0–03–047529–5
- (1990)

5
- 0038985337
- Addison‐Wesley
- (1986) EX User's Guide and Reference Manual
- Lamport, L.¹

6
- 0022791292
- Equal opportunity interactive systems
- (1986) International Journal of Man‐Machine Studies , vol.25 , Issue.4 , pp. 439-451
- Runciman, C.¹ Thimbleby, H.²

7
- 84987248204
- York Software Engineering, University of York
- (1991) The CADiZ Tutorial

8
- 0346521421
- CADiZ—computer aided design in Z
- J. E. Nicholls, Springer‐Verlag
- (1991) Workshops in Computing: Z User Workshop, Oxford 1990 , pp. 93-104
- Jordan, D.T.¹ McDermid, J.A.² Toyn, I.³

9
- 84987185479
- ‘Exploratory environments for functional programming’, D. Phil. Thesis YCST 87/02, Department of Computer Science, University of York, April
- (1987)
- Toyn, I.¹

10
- 84987164828
- Notes for a Z Handbook Draft 2.2, Programming Research Group, Oxford University Computing Laboratory, August
- (1985)
- Sufrin, B.¹ Morgan, C.² Sørensen, I.H.³ Hayes, I.⁴

11
- 0004099678
- Prentice‐Hall
- (1987) Specification Case Studies
- Hayes, I.¹

12
- 84947734963
- Z: grammar and concrete and abstract syntaxes
- Oxford University Computing Laboratory, July
- (1988) PRG‐68
- King, S.¹ Sørensen, I.H.² Woodcock, J.³

13
- 84987164888
- ‘Review of type checking and scope rules of the specification language Z’, 87017, RSRE (now DRA Malvern), November
- (1987)
- Sennett, C.T.¹

14
- 0003634551
- Cambridge University Press
- (1988) Understanding Z: A Specification Language and its Formal Semantics
- Spivey, J.M.¹

15
- 0003566434
- Prentice‐Hall
- (1989) The Z Notation: A Reference Manual
- Spivey, J.M.¹

16
- 0003792407
- Yace—yet another compiler‐compiler
- Bell Laboratories, Murray Hill, New Jersey, July
- (1975) CSTR 32
- Johnson, S.C.¹

17
- 0018105622
- A theory of type polymorphism in programming
- (1978) J. Computer and System Sciences , vol.17 , Issue.3 , pp. 348-375
- Milner, R.¹

18
- 84976800803
- Prettyprinting
- (1980) ACM Transactions on Programming Languages and Systems , vol.2 , Issue.4 , pp. 465-483
- Oppen, D.C.¹

19
- 0014599677
- A LISP garbage‐collector for virtual‐memory computer systems
- (1969) Communications of the ACM , vol.12 , Issue.11 , pp. 611-612
- Fenichel, R.R.¹ Yochelson, J.C.²

20
- 0348080838
- Department of Computer Science, University of York, September
- (1994) Compost—The BIO Heap
- Toyn, I.¹

21
- 0028544390
- Efficient binary transfer of pointer structures
- (1994) Software—Practice and Experience , vol.24 , pp. 1001-1023
- Toyn, I.¹ Dix, A.J.²

22
- 0009770552
- CSR‐62–80, Department of Computer Science, University of Edinburgh, February
- (1981) HOPE: an experimental applicative language
- Burstall, R.M.¹ Macqueen, D.B.² Sanella, D.T.³

23
- 0347450653
- Department of Computer Science, University of York, October
- (1994) Peat—A Program to Elaborate Algebraic Types
- Toyn, I.¹

24
- 84987170221
- Department of Computer Science, University of York, July
- (1994) Tools for Functional Programming in C
- Cattrall, D.M.¹ McDermid, J.A.² Toyn, I.³

25
- 84987170214
- Demonstrating the Compliance of Ada Programs with Z Specifications, DRA Malvern
- (1991)
- Sennett, C.T.¹

26
- 0003648103
- Prentice Hall
- (1990) Programming from Specifications
- Morgan, C.¹

27
- 0021425467
- Literate programming
- (1984) Computer Journal , vol.27 , Issue.2 , pp. 97-111
- Knuth, D.E.¹

28
- 0347450647
- Literate formal development of Ada from Z for safety critical applications
- Instrument Society of America
- (1994) SAFECOMP Conference
- Jordan, D.T.¹ Locke, C.J.² McDermid, J.A.³ Parker, C.E.⁴ Sharp, B.A.P.⁵ Toyn, I.⁶

29
- 0003449770
- Oxford University Press
- (1994) Principles of CASE Tool Integration
- Brown, A.W.¹ Carney, D.J.² Morris, E.J.³ Smith, D.B.⁴ Zarrella, P.F.⁵

30
- 0021564917
- Rationale for Stoneman
- D. R. Barstow, H. E. Shrobe, E. Sandewall, (eds), McGraw‐Hill
- (1984) Interactive Programming Environments , pp. 535-545
- Buxton, J.N.¹ Druffel, L.E.²

31
- 84939763314
- The UNIX programming environment
- (1981) Computer , vol.14 , Issue.4 , pp. 12-24
- Kernighan, B.W.¹ Mashey, J.R.²

32
- 0019558325
- The Interlisp programming environment
- (1981) IEEE Computer , vol.14 , Issue.4 , pp. 25-33
- Teitelman, W.¹ Masinter, L.²

33
- 0010730371
- McGraw‐Hill International
- (1992) Software Engineering Environments: Automated Support for Software Engineering
- Brown, A.W.¹ Earl, A.N.² McDermid, J.A.³

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