지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. 모델 검사와 함수 프로그램
3. 함수를 위한 Promela 프로세스
4. 결론
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
모델 속성 정보와 그래프 비교 알고리즘을 이용한 그래프 변환 기반 의미 정확성 검증 메커니즘
한국정보기술학회논문지
2012 .04
소프트웨어 모델변환에서의 모델 속성 정보를 이용한 그래프 변환 기반 의미 정확성 검증 메카니즘 연구
Proceedings of KIIT Conference
2011 .05
온톨로지 기반 Feature 모델에서 Class 모델로의 변환 기법
한국컴퓨터정보학회논문지
2008 .09
모델 변환 기법을 활용한 윈도우즈 모바일 어플리케이션 개발
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2010 .11
Transformation
대한전자공학회 단기강좌
1987 .01
공간정보의 측지기준체계 변환 방법 연구
한국측량학회 학술대회자료집
2020 .07
최적 좌표변환파라미터 결정을 위한 좌표변환 모델의 비교
대한토목학회논문집 D
2004 .05
함수형 프로그램들이 사용된 예
프로그래밍언어연구회지
1998 .06
직교함수 벡터열을 이용한 이산 시간 선형시스템의 모델변환
한국통신학회 학술대회논문집
1992 .11
직교함수 벡터열을 이용한 이산시간 선형시스템의 모델변환 ( The Model Transformation of a Discrete Time Linear System Using Orthogonal Vector Function )
한국통신학회 학술대회논문집
1992 .01
함수형 프로그래밍 기술을 이용한 프로그램 합성 방법
정보과학회지
2003 .01
최적 분류 변환을 이용한 음성 개성 변환
한국음향학회지
2004 .01
카메라 모델에 의한 변환 영역에서의 보간
한국방송미디어공학회 학술발표대회 논문집
1998 .12
테스트 모델 패턴화를 위한 모델 변환 규칙
한국정보과학회 학술발표논문집
2014 .12
반사변환 ( Reflection Transformation )
대한기계학회 춘추학술대회
1991 .01
함수형 반응적 프로그램 병렬화 기법
한국정보과학회 학술발표논문집
2015 .06
곡률 함수와 거리 변환법을 이용한 부분 형상 인식 ( Partial Shape Recognition Using Curvature Function and Distance Transformation )
대한전자공학회 학술대회
1991 .11
구문트리 비교를 통한 프로그램 유형 복제 검사
정보과학회논문지 : 소프트웨어 및 응용
2003 .08
Design Rule Check Program의 개발 ( Development of Design Rule Check Program )
대한전자공학회 학술대회
1984 .01
펴기/접기 변환에 의한 비선형적 순환 프로그램의 중복계산 제거방법
정보과학회논문지(B)
1997 .03
0