논문윤리하기 논문투고규정
  • 오늘 가입자수 0
  • 오늘 방문자수 507
  • 어제 방문자수 1260
  • 총 방문자수 1260
2024-03-29 08:36am
논문지
HOME 자료실 > 논문지

발간년도 : [2010]

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