지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 1986년도 가을 학술발표논문집 제13권 제2호(상)
- 발행연도
- 1986.10
- 수록면
- 329 - 334 (6page)
이용수
초록· 키워드
오류제보하기
We are coming to realize that the importance of type abstraction and program correctness is the most fundamental property of reliable software. Algebraic specification is now an established way of formally defining abstract data types. In this paper, the role of algebraic specification in proofs of program correctness is explained. This paper suggests direct implementation of algebraic specification of abstract data types and a semi-automatic method of data type verification.
목차
Abstract
Ⅰ. 서론
Ⅱ. 본론
Ⅲ. 결론
Ⅳ. 참고문헌
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
추상자료형 기술을 위한 대수명세의 새로운 접근 방법
(구)정보과학회논문지
1990 .06
-
대수명세의 단계적 구현과 증분식 테스팅
(구)정보과학회논문지
1991 .02
-
Towards Better Specifications
TENCON 87 - Computers and Communications Technology Toward 2000
1997 .01
-
Parameter Learning of Algebraic Systems
대한전자공학회 학술대회
1991 .01
-
Parameter Learning of Algebraic Systems
제어로봇시스템학회 국내학술대회 논문집
1991 .10
-
Open Shortest Path First Protocol을 위한 대수적 형식 명세 및 분석
한국통신학회 학술대회 및 강연회
2003 .04
-
대수적 명세기법을 이용한 소프트웨어 설계에 관한 연구
한국정보과학회 학술발표논문집
1987 .10
-
On Constructing an Explicit Algebraic Stress Model Without Wall-Damping Function
Journal of Mechanical Science and Technology
2002 .11
-
NUMERICAL METHOD OF A TWO POINT BOUNDARY ALGEBRAIC MATRIX EQUATION
대한전자공학회 학술대회
1978 .01
-
AN ALGEBRAIC METHOD FOR THE MINIMIZATION OF SWITCHING FUNCTIONS
ICVC : International Conference on VLSI and CAD
1989 .01
-
한글 문자의 인식을 위한 대수적 구조 ( Algebraic Structure for the Recognition of Korean Characters )
전자공학회지
1975 .04
-
Algebraic Test of Material Conservation in Self-Consistent Field Theory
한국고분자학회 학술대회 연구논문 초록집
2016 .04
-
대수명세기법의 새로운 접근방법
한국정보과학회 학술발표논문집
1990 .04
-
Visualization of Piecewise Algebraic Surfaces
한국CDE학회 국제학술발표 논문집
2005 .08
-
A Modified Decoding of Algebraic Geometric Codes
Asia-Pacific Conference on Communications
1993 .01
-
An Approach to Providing a Proof Tool for Z Specifications
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2003 .07
-
텀 개서 시스템을 이용한 ACT ONE 대수적 명세의 검증
한국정보과학회 학술발표논문집
1997 .10
-
An Algebraic Approach to Validation of Class Diagram with Constraints
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2002 .07
-
기계설비분야 시방서의 국내 기준과 해외 기준 비교
대한설비공학회 학술발표대회논문집
2015 .06
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017909205