메뉴 건너뛰기




Volumn 2937, Issue , 2004, Pages 297-308

Applying jlint to space exploration software

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; JAVA PROGRAMMING LANGUAGE; PROBLEM ORIENTED LANGUAGES; SPACE RESEARCH;

EID: 84944247951     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24622-0_24     Document Type: Conference Paper
Times cited : (8)

References (24)
  • 2
    • 84949224755 scopus 로고    scopus 로고
    • Applying Static Analysis to Large-Scale, Multi-threaded Java Programs
    • D. Grant, editor, IEEE CS Press
    • C. Artho and A. Biere. Applying Static Analysis to Large-Scale, Multi-threaded Java Programs. In D. Grant, editor, Proceedings of the 13th ASWEC, pages 68–75. IEEE CS Press, 2001.
    • (2001) Proceedings of the 13Th ASWEC , pp. 68-75
    • Artho, C.1    Biere, A.2
  • 12
    • 84947286828 scopus 로고    scopus 로고
    • Runtime Checking of Multithreaded Applications with Visual Threads
    • Springer
    • J. Harrow. Runtime Checking of Multithreaded Applications with Visual Threads. In 7th SPIN Workshop, volume 1885 of LNCS, pages 331–342. Springer, 2000.
    • (2000) 7Th SPIN Workshop, Volume 1885 of LNCS , pp. 331-342
    • Harrow, J.1
  • 13
    • 84947232527 scopus 로고    scopus 로고
    • Using Runtime Analysis to Guide Model Checking of Java Programs
    • Springer
    • K. Havelund. Using Runtime Analysis to Guide Model Checking of Java Programs. In 7th SPIN Workshop, volume 1885 of LNCS, pages 245–264. Springer, 2000.
    • (2000) 7Th SPIN Workshop, Volume 1885 of LNCS , pp. 245-264
    • Havelund, K.1
  • 20
    • 84944220460 scopus 로고    scopus 로고
    • Connected, limited device configuration
    • may
    • Sun Microsystems. Connected, limited device configuration. specification version 1.0a, may 2000. http://java.sun.com/j2me/docs/.
    • (2000) Specification Version 1.0A
  • 21
    • 84944204145 scopus 로고    scopus 로고
    • Sun Microsystems. Java 2 documentation. http://java.sun.com/j2se/1.4/docs/.
    • Java 2 Documentation
  • 23
    • 84947247929 scopus 로고    scopus 로고
    • Model-Checking Multi-threaded Distributed Java Programs
    • Springer
    • S. D. Stoller. Model-Checking Multi-threaded Distributed Java Programs. In 7th SPIN Workshop, volume 1885 of LNCS, pages 224–244. Springer, 2000.
    • (2000) 7Th SPIN Workshop, Volume 1885 of LNCS , pp. 224-244
    • Stoller, S.D.1


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