SCOPUS 정보 검색 플랫폼

Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC

Volumn , Issue , 2001, Pages 355-362

Compilation of specifications

(1) Fidge, C J a

a UNIVERSITY OF QUEENSLAND (Australia)

Author keywords

Formal methods; Programming tools; Software engineering

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER SOFTWARE SELECTION AND EVALUATION; PROGRAM COMPILERS; PROGRAM DIAGNOSTICS; SEMANTICS; SOFTWARE ENGINEERING;

FORMAL METHODS; PROGRAMMING TOOLS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0035690231 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (3)

References (16)

1
- 0003824628
- Addison-Wesley
- (1997) High Integrity Ada: The Spark Approach
- Barnes, J.¹

2
- 0031122107
- Formal methods in practice: Case studies in the application of the B method
- Apr.
- (1997) IEE Proceedings-Software Engineering , vol.144 , Issue.2 , pp. 119-133
- Bicarregui, J.C.¹

3
- 0007921827
- Refining real valued specifications to floating point programs: A case study
- Feb.
- (1996) Australian Computer Science Communications , vol.18 , Issue.1 , pp. 35-44
- Bloesch, A.¹ Kazmierczak, E.²

4
- 0007920759
- The refinement calculator: Proof support for program refinement
- In L. Groves and S. Reeves, editors; Springer
- (1997) Formal Methods Pacific '97 , pp. 40-61
- Butler, M.¹ Grundy, J.² Långbacka, T.³ Rukšenas, R.⁴ Von Wright, J.⁵

5
- 0003853538
- Benjamin/Cummings
- (1988) Crafting a Compiler
- Fischer, C.N.¹ LeBlanc Jr., R.J.²

6
- 84955570314
- Combining VDM-SL specifications with C++ code
- In M.-C. Gaudel and J. Woodcock, editors; Springer-Verlag
- (1996) Industrial Benefit and Advances in Formal Methods, Volume 1051 of Lecture Notes in Computer Science , pp. 179-194
- Fröhlich, B.¹ Larsen, P.G.²

7
- 0007876552
- From formal specifications to Ada programs
- In J. Edwards, editor; Springer
- (1999) Computer Science: Proc. of the 22nd Australasian Computer Science Conference (ACSC'99) , pp. 193-204
- Kearney, P.¹ Wildman, L.²

8
- 0031361678
- Using CARE to construct verified software
- In M. G. Hinchey and S. Liu, editors; IEEE Computer Society
- (1997) Proceedings of the 1st International Conference on Formal Engineering Methods (ICFEM'97) , pp. 122-131
- Lindsay, P.¹ Hemer, D.²

9
- 0026905722
- Fundamentals of deductive program synthesis
- Aug.
- (1992) IEEE Transactions on Software Engineering , vol.18 , Issue.8 , pp. 674-704
- Manna, Z.¹ Waldinger, R.²

10
- 0003648103
- Prentice-Hall, second edition
- (1994) Programming from Specifications
- Morgan, C.¹

11
- 18744392463
- Piecewise data refinement
- In E. Dijkstra, editor; chapter 10; Addison-Wesley
- (1990) Formal Development of Programs and Proofs , pp. 117-137
- Morris, J.M.¹

12
- 84947912089
- Toward a classification approach to design
- In M. Wirsing and M. Nivat, editors; Springer-Verlag
- (1996) Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology (AMAST'96), Volume 1101 of Lecture Notes in Computer Science , pp. 62-84
- Smith, D.R.¹

13
- 0007875861
- Toward practical applications of software synthesis
- Jan.
- (1996) Proceedings of FMSP'96, the First Workshop on Formal Methods in Software Practice , pp. 31-39
- Smith, D.R.¹ Green, C.²

14
- 0029725751
- Formal methods and safety critical systems in practice
- (1996) High Integrity Systems , vol.1 , Issue.5 , pp. 423-445
- Stavridou, V.¹ Boothroyd, A.² Bradley, P.³ Dutertre, B.⁴ Shackleton, L.⁵ Smith, R.⁶

15
- 0029276566
- CADiZ: An architecture for Z tools and its implementation
- Mar.
- (1995) Software-Practice & Experience , vol.25 , Issue.3 , pp. 305-330
- Toyn, I.¹ McDermid, J.A.²

16
- 0007878854
- Computer-aided development of a real-time program
- Aug.
- (2000) Software-Concepts & Tools , vol.19 , Issue.4 , pp. 190-202
- Wildman, L.¹ Fidge, C.J.² Carrington, D.A.³

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