메뉴 건너뛰기




Volumn , Issue TOOL, 2001, Pages 24-34

Simple support for design by contract in C++

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; C (PROGRAMMING LANGUAGE); COMPUTER PROGRAMMING; INVARIANCE; MACROS; PROGRAM PROCESSORS;

EID: 0034866729     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (10)

References (15)
  • 3
    • 0033718558 scopus 로고    scopus 로고
    • Another Mediocre Assertion Mechanism for C++
    • IEEE
    • (2000) TOOLS , vol.33 , pp. 226-237
    • Guerreiro, P.1
  • 12
    • 0003962465 scopus 로고    scopus 로고
    • Tool support for design by contract
    • IEEE
    • (1998) TOOLS , vol.26 , pp. 282-294
    • Plösch, R.1


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