SCOPUS 정보 검색 플랫폼

Volumn 43, Issue 2-3, 2002, Pages 161-192

Reasoning about real-time repetitions: Terminating and nonterminating

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAM LISTINGS; COMPUTER PROGRAMMING LANGUAGES; ITERATIVE METHODS; SEMANTICS;

REAL-TIME PROGRAMMING LANGUAGES;

REAL TIME SYSTEMS;

EID: 0036568617 PISSN: 01676423 EISSN: None Source Type: Journal
DOI: 10.1016/S0167-6423(02)00024-2 Document Type: Conference Paper

Times cited : (16)

References (20)

1
- 0032657029
- The deadline command
- April
- (1999) IEE Proceedings - Software , vol.146 , Issue.2 , pp. 104-111
- Fidge, C.J.¹ Hayes, I.J.² Watson, G.³

2
- 0002780749
- Assigning meaning to programs
- (1967) Math. Aspects of Comput. Sci. , vol.19 , pp. 19-32
- Floyd, R.W.¹

4
- 0001854586
- Separating timing and calculation in real-time refinement
- J. Grundy, M. Schwenke, T. Vickers (Eds.), Springer
- (1998) Int. Refinement Workshop and Formal Methods Pacific 1998 , pp. 1-16
- Hayes, I.J.¹

5
- 0842266421
- Real-time program refinement using auxiliary variables
- M. Joseph (Ed.), Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer
- (2000) Lecture Notes in Computer Science , vol.1926 , pp. 170-184
- Hayes, I.J.¹

6
- 84976502073
- Reasoning about non-terminating loops using deadline commands
- R. Backhouse, J.N. Oliveira (Eds.), Proc. Mathematics of Program Construction, Springer
- (2000) Lecture Notes in Computer Science , vol.1837 , pp. 60-79
- Hayes, I.J.¹

7
- 0008781777
- Technical Report 01-15, Software Verification Research Centre, The University of Queensland, Brisbane 4072, Australia, May
- (2001) A predicative seminatics for real-time refinement
- Hayes, I.J.¹

8
- 34249758925
- Using units of measurement in formal specifications
- (1995) Formal Aspects of Computing , vol.7 , Issue.3 , pp. 329-347
- Hayes, I.J.¹ Mahony, B.P.²

9
- 0008772758
- Coercing real-time refinement: A transmitter
- D.J. Duke, A.S. Evans (Eds.), Springer
- (1997) BCS-FACS Northern Formal Methods Workshop (NFMW'96)
- Hayes, I.J.¹ Utting, M.²

11
- 0035242050
- A sequential real-time refinement calculus
- (2001) Acta Informatica , vol.37 , Issue.6 , pp. 385-448
- Hayes, I.J.¹ Utting, M.²

12
- 84976484057
- Termination is timing
- J.L.A. van de Snepscheut (Ed.), Mathematics of Program Construction, Springer
- (1989) Lecture Notes in Computer Science , vol.375 , pp. 36-47
- Hehner, E.C.R.¹

14
- 84945708698
- An axiomatic approach to computer programming
- (1969) Comm. ACM , vol.12 , pp. 576-580
- Hoare, C.A.R.¹

16
- 0001870737
- Assertional specification and verification
- M. Joseph (Ed.), Prentice-Hall (chapter 5)
- (1996) Real-time Systems: Specification, Verification and Analysis , pp. 97-146
- Hooman, J.¹

17
- 0008785669
- Formal design of real-time systems in a platform-independent way
- (1998) Parallel and Distributed Computing Practices , vol.1 , Issue.2 , pp. 15-30
- Hooman, J.¹ Van Roosmalen, O.²

18
- 0008782136
- Technical Report UMCS-86-10-5, Department of Computer Science, University of Manchester
- (1986) Program specification and verification in VDM
- Jones, C.B.¹

20
- 0003287709
- A real-time refinement calculus that changes only time
- He Jifeng (Ed.), Springer, July
- (1996) Proc. 7th BCS/FACS Refinement Workshop, Electronic Workshops in Computing
- Utting, M.¹ Fidge, C.J.²

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