발간년도 : [2010]
| 논문정보 |
|
| 논문명(한글) |
[5권 5호] 단위별 행위특성을 이용한 안전한 소프트웨어 개발 |
|
| 논문투고자 |
김형순, 이은영 |
|
| 논문내용 |
소프트웨어 컴포넌트를 시스템의 일부로 사용하기 전에 검증 절차를 거치는 것은 대규모 소프트웨어 시스템을 컴포넌트를 이용하여 개발하는 과정에서는 매우 중요한 절차이다. 본 논문에서는 Secure Linking에서 사용되는 모듈의 속성을 표현하기 위한 보다 향상된 모델을 제시하고, 이 모델을 이용한 SL-JML 기법을 제안한다. SL-JML은 SLinking 프레임워크를 바탕으로 한 행위특성 명시언어이다. 또한 본 논문에서는 SL-JML이 JML이 가지는 표현력을 손상시키지 않으면서도 기존에 발표된 JML 명시언어들보다 넓은 범위에서 사용될 수 있음을 논의하였다. |
|
| 첨부논문 |
|
|
|
|
|
자료실 > 논문지 
