SCOPUS 정보 검색 플랫폼

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 333-336

Model checking for an executable subset of UML

(3) Xie, Fei a Levin, Vladimir b Browne, James C a

a University of Texas at Austin (United States)

b LUCENT TECHNOLOGIES (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; SEMANTICS; SYSTEMS ANALYSIS; TRANSLATION (LANGUAGES);

AUTOMATIC TRANSLATION; EXECUTABLES; EXECUTION SEMANTICS; IS-ENABLED; MODEL CHECKER; MODEL CHECKING SOFTWARE; MODEL TRANSFORMATION; MODELS CHECKING; PROPERTY; SOFTWARE SYSTEMS DESIGNS;

MODEL CHECKING;

EID: 84958809908 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/ASE.2001.989823 Document Type: Conference Paper

Times cited : (26)

References (12)

1
- 3242690476
- Univ. of Michigan, EECS Dept. Tech. Report
- K. Compton, Y. Gurevich, J. K. Huggins, and W. Shen. An Automatic Verification Tool for Uml. Univ. of Michigan, EECS Dept. Tech. Report CSE-TR-423-00, 2000.
- (2000) An Automatic Verification Tool for Uml
- Compton, K.¹ Gurevich, Y.² Huggins, J.K.³ Shen, W.⁴

2
- 84903214632
- Cospan
- R. H. Hardin, Z. Har'El, and R. P. Kurshan. COSPAN. Proc. of 8th International Conference on Computer Aided Verification, 1996.
- (1996) Proc. Of 8th International Conference on Computer Aided Verification
- Hardin, R.H.¹ Har'El, Z.² Kurshan, R.P.³

3
- 85116933056
- Kennedy Carter. http://www.kc.com/html/xwnl.html.

4
- 84958809912
- Static partial order reduction
- R. P. Kurshan, V. Levin, M. Minea, D. Peled, and H. Yenigiin. Static Partial Order Reduction. Proc. of 4th International Conference Tools and Algorithms for the Construction and Analysis of Systems, 1998.
- (1998) Proc. Of 4th International Conference Tools and Algorithms for the Construction and Analysis of Systems
- Kurshan, R.P.¹ Levin, V.² Minea, M.³ Peled, D.⁴ Yenigiin, H.⁵

5
- 0004092099
- VuML: A tool for verifying UML models
- J. Lilius and I. Porres. vUML: a Tool for Verifying UML Models. Proc. ofthe Automatic Software Engineering Conference, 1999.
- (1999) Proc. Ofthe Automatic Software Engineering Conference
- Lilius, J.¹ Porres, I.²

6
- 4544292582
- OMG. Action Semantics for the UML. OMG, 2000.
- (2000) Action Semantics for the UML

7
- 9444225601
- Java model checking
- D. Y. W. Park, U. Stern, J. U. Sakkebak, and D. L. Dill. Java Model Checking. Proc. of the Automatic Software Engineering Conference, 2000.
- (2000) Proc. Of the Automatic Software Engineering Conference
- Park, D.Y.W.¹ Stern, U.² Sakkebak, J.U.³ Dill, D.L.⁴

8
- 0029737169
- Combining partial order reductions with on-the-fly model-checking
- D. Peled. Combining Partial Order Reductions with On-the-fly Model-Checking. Formal Methods in System Design, (8), 1996.
- (1996) Formal Methods in System Design , Issue.8
- Peled, D.¹

9
- 85116906170
- Project Tech. http://www.projtech.com/pubs/xuml.html.

10
- 85116908576
- A Formal Object-oriented Analysis for Software Reliability
- N. Sharygina, R. P. Kurshan, and J. C. Browne. A Formal Object-oriented Analysis for Software Reliability. Proc. of Fundamental Approaches to Software Engineering, 2001.
- (2001) Proc. Of Fundamental Approaches to Software Engineering
- Sharygina, N.¹ Kurshan, R.P.² Browne, J.C.³

11
- 84960853881
- Model checking programs
- W. Visser, K. Havelund, G. Brat, and S. J. Park. Model Checking Programs. Proc. of the Automatic Software Engineering Conference, 2000.
- (2000) Proc. Of the Automatic Software Engineering Conference
- Visser, W.¹ Havelund, K.² Brat, G.³ Park, S.J.⁴

12
- 85116872604
- Univ. of Texas at Austin, UTCS Tech. Report
- F. Xie, V. Levin, and J. C. Browne. Model Checking for an Executable Subset of UML. Univ. of Texas at Austin, UTCS Tech. Report TR-01-34, 2000.
- (2000) Model Checking for an Executable Subset of UML
- Xie, F.¹ Levin, V.² Browne, J.C.³

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