메뉴 건너뛰기




Volumn 89, Issue 2, 2003, Pages 2-21

Runtime conformance checking of objects using alloy

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER SIMULATION; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SYNCHRONIZATION;

EID: 11344289298     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)81040-5     Document Type: Conference Paper
Times cited : (7)

References (22)
  • 1
    • 0037813472 scopus 로고    scopus 로고
    • A run-time assertion checker for Java using JML
    • Department of Computer Science, Iowa State University
    • Bhorkar A., A run-time assertion checker for Java using JML, Technical report, Department of Computer Science, Iowa State University (2000).
    • (2000) Technical Report
    • Bhorkar, A.1
  • 2
    • 18944377177 scopus 로고
    • Implementing software architectures in Standard ML
    • Biagioni E., R. Harper and P. Lee, Implementing software architectures in Standard ML, Position Paper (1994).
    • (1994) Position Paper
    • Biagioni, E.1    Harper, R.2    Lee, P.3
  • 4
    • 0000289556 scopus 로고    scopus 로고
    • Formal methods: State of the art and future directions
    • Clarke E.M., Wing J.M. Formal methods: State of the art and future directions. ACM Computing Surveys. 28:1996;626-643
    • (1996) ACM Computing Surveys , vol.28 , pp. 626-643
    • Clarke, E.M.1    Wing, J.M.2
  • 5
    • 18944390718 scopus 로고    scopus 로고
    • Embee performance results
    • School of Computing, Queen's University
    • Crane, M. L. and J. Dingel, Embee performance results, Technical Report 2003-465, School of Computing, Queen's University (2003). URL http://www.cs.queensu.ca/TechReports/Reports/2003-465.pdf
    • (2003) Technical Report , vol.2003 , Issue.465
    • Crane, M.L.1    Dingel, J.2
  • 8
    • 23044520134 scopus 로고    scopus 로고
    • Enforcing design constraints with object logic
    • Jackson D., Enforcing design constraints with object logic, in: Static Analysis Symposium, 2000, pp. 1-21.
    • (2000) Static Analysis Symposium , pp. 1-21
    • Jackson, D.1
  • 10
    • 18744382646 scopus 로고    scopus 로고
    • Micromodels of software: Lightweight modelling and analysis with alloy
    • Software Design Group, MIT Lab for Computer Science
    • Jackson D., Micromodels of software: Lightweight modelling and analysis with Alloy, Technical report, Software Design Group, MIT Lab for Computer Science (2002).
    • (2002) Technical Report
    • Jackson, D.1
  • 14
    • 84885236249 scopus 로고    scopus 로고
    • JML: Notations and tools supporting detailed design in Java
    • Minnesota: Minneapolis
    • Leavens G., Leino K., Poll E., Ruby C., Jacobs B. JML: Notations and tools supporting detailed design in Java. OOPSLA 2000 Companion. 2000;105-106 Minneapolis, Minnesota
    • (2000) OOPSLA 2000 Companion , pp. 105-106
    • Leavens, G.1    Leino, K.2    Poll, E.3    Ruby, C.4    Jacobs, B.5
  • 21
    • 0031274275 scopus 로고    scopus 로고
    • Software reliability via run-time result-checking
    • Wasserman H., Blum M. Software reliability via run-time result-checking. Journal of the ACM. 44:1997;826-849
    • (1997) Journal of the ACM , vol.44 , pp. 826-849
    • Wasserman, H.1    Blum, M.2


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