지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
Abstract
Ⅰ. Introduction
Ⅱ. Related Work
Ⅲ. Live Sequence Charts (LSC)
Ⅳ. LSC Concepts
Ⅴ. Formal Semantics of LSC Language
Ⅵ. Conclusion
References
저자소개
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
State-machine Construction for LSC Specification
한국정보기술학회논문지
2010 .05
LSC를 이용한 스캔데이터 변환 및 3차원 모델 생성에 관한 연구
한국생산제조학회 학술발표대회 논문집
2001 .04
LSC를 이용한 전알파 분석법 연구
지하수토양환경
2014 .01
시나리오 기반 명세 모델로부터 반응형 시스템 개발
한국정보과학회 학술발표논문집
2011 .06
MSC로 작성된 통신 프로토콜 명세의 의미론 연구
한국정보과학회 학술발표논문집
2000 .04
통신 소프트웨어 개발 환경의 설계 및 명세 작성기의 구현
한국정보과학회 학술발표논문집
1999 .04
Environmental Water and Urine Sample Tc Analysis Methodology by LSC
한국방사성폐기물학회 학술대회
2015 .01
[特輯]소프트웨어 요구 정의 및 명세를 위한 언어
정보과학회지
1984 .06
요구명세언어 및 요구분석 지원시스템 개발 ( Development of Software Specification Language and Software Requirements Analysis System )
특정연구 결과 발표회 논문집
1990 .01
LSC를 이용한 $^3H$ 방사능측정 비교숙련도 시험
한국방사성폐기물학회 학술대회
2007 .01
A Retrieval Technique for Telecommunications Software Specifications Based on Sequence Charts
대한전자공학회 세미나
1991 .01
소프트웨어 요구명세와 설계 명세간의 부합성 검사
한국정보과학회 학술발표논문집
2004 .10
네트워크 시스템 명세를 위한 Z 기반 프레임워크
한국정보과학회 학술발표논문집
2011 .06
계층형 명세 언어의 정의 및 검사
프로그래밍언어논문지
2002 .06
MSC로 기술된 통신 소프트웨어 명세의 검증을 위한 전체 상태 전이 그래프 생성
정보과학회논문지(B)
1999 .12
0