메뉴 건너뛰기




Volumn , Issue , 1990, Pages 392-402

SPARK - An annotated ada subset for safety-critical programming

Author keywords

[No Author keywords available]

Indexed keywords


EID: 84896322797     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/255471.255563     Document Type: Conference Paper
Times cited : (21)

References (15)
  • 2
    • 0004107115 scopus 로고
    • (2nd edition). Benjamin/Cummings Publishing Company Inc.
    • Booch, G.: Software Engineering with Ada (2nd edition). Benjamin/Cummings Publishing Company Inc., 1987.
    • (1987) Software Engineering with Ada
    • Booch, G.1
  • 3
    • 84896371975 scopus 로고
    • Concepts of control objectives and assurance levels in critical systems
    • Proceedings of Conference at Software Tools 87, London. Online Publications
    • Brendish, C. Concepts of control objectives and assurance levels in critical systems. Proceedings of Conference at Software Tools 87, London. Online Publications (Advanced Computing Series: 8), 67-73, 1987.
    • (1987) Advanced Computing Series , vol.8 , pp. 67-73
    • Brendish, C.1
  • 4
    • 84896375601 scopus 로고
    • A strategy for the development of safety-critical software
    • edited by B.K. Daniels, Elsevier Applied Science
    • Bromell, J.Y. and Sadler, S.J. A strategy for the development of safety-critical software. In 'Achieving Safety and Reliability with Computer Systems', edited by B.K. Daniels, Elsevier Applied Science, 1-13, 1987.
    • (1987) Achieving Safety and Reliability with Computer Systems , pp. 1-13
    • Bromell, J.Y.1    Sadler, S.J.2
  • 11
    • 0343356818 scopus 로고
    • Anna - A language for annotating Ada programs
    • Springer-Verlag
    • Luckham, D.C., von Henke, F.W., Krieg-Bruckner, B. and Owe, O.: 'Anna - a language for annotating Ada programs'. LNCS-260, Springer-Verlag, 1987.
    • (1987) LNCS , vol.260
    • Luckham, D.C.1    Von Henke, F.W.2    Krieg-Bruckner, B.3    Owe, O.4
  • 14
    • 84896329160 scopus 로고
    • Report DITC 160/90, February National Physical Laboratory, Teddington, Middlesex TW11 0LW, U.K.
    • Parkin, G.I. and O'Neill, G.: Specification of the MAA Standard in VDM. Report DITC 160/90, February 1990, National Physical Laboratory, Teddington, Middlesex TW11 0LW, U.K.
    • (1990) Specification of the MAA Standard in VDM
    • Parkin, G.I.1    O'Neill, G.2


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