지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- 대한전자공학회 ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications ITC-CSCC : 2002 Proceedings
- 발행연도
- 2002.7
- 수록면
- 921 - 924 (4page)
이용수
초록· 키워드
오류제보하기
등록된 정보가 없습니다.
목차
Abstract
1. Introduction
2. Preliminaries
3. Class Diagrams with Constraints(CDWC)
4. Translation from CDWC into CafeOBJ
5. Validation
6. Related Works
7. Conclusion
References
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
On Constructing an Explicit Algebraic Stress Model Without Wall-Damping Function
Journal of Mechanical Science and Technology
2002 .11
-
Parameter Learning of Algebraic Systems
제어로봇시스템학회 국내학술대회 논문집
1991 .10
-
Parameter Learning of Algebraic Systems
대한전자공학회 학술대회
1991 .01
-
NUMERICAL METHOD OF A TWO POINT BOUNDARY ALGEBRAIC MATRIX EQUATION
대한전자공학회 학술대회
1978 .01
-
An Algebraic Approach to Collision Detection of Ellipses in Plane
한국CDE학회 국제학술발표 논문집
2005 .08
-
AN ALGEBRAIC METHOD FOR THE MINIMIZATION OF SWITCHING FUNCTIONS
ICVC : International Conference on VLSI and CAD
1989 .01
-
An Automatic Construction for Class Diagram from Problem Statement using Natural Language Processing
멀티미디어학회논문지
2019 .03
-
Algebraic Test of Material Conservation in Self-Consistent Field Theory
한국고분자학회 학술대회 연구논문 초록집
2016 .04
-
Visualization of Piecewise Algebraic Surfaces
한국CDE학회 국제학술발표 논문집
2005 .08
-
A Modified Decoding of Algebraic Geometric Codes
Asia-Pacific Conference on Communications
1993 .01
-
A Modular Formulation for Flexible Multibody Systems Including Nonlinear Finite Elements
Journal of Mechanical Science and Technology
2005 .01
-
응용문제에서 보로노이 다이어그램과 파워 다이어그램의 사용성 비교
산업경영시스템학회지
2012 .01
-
UML을 이용한 PDA용 메신저 프로그램 설계 및 구현
한국산업정보학회논문지
2010 .12
-
근ㆍ현대건축에 나타나는 다이어그램의 연속성에 관한 연구
대한건축학회 논문집 - 계획계
2011 .07
-
프로그램과 다이어그램의 적용을 통한 건축 형태 생성 연구
대한건축학회 논문집 - 계획계
2010 .02
-
A Constraint-Based Inference System for Satisfying Design Constraints
KSME International Journal
2000 .06
-
On the Extended Solution of Algebraic Riccati Equation
대한전자공학회 학술대회
1983 .11
-
Development of UML Tool using WPF Framework and Forced-Directionality Graph Algorithm
멀티미디어학회논문지
2019 .06
-
Solvability of Fiver : linear algebraic approach
대한산업공학회 추계학술대회 논문집
2006 .11
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-569-001314119