지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
Abstract
1. 서론
2. 객체 지향 소프트웨어 명세서 언어 및 방법
3. 객체 지향 기능적 모델의 정형적 명세화
4. OOASS의 구현 및 유용성
5. 결론
참고문헌
저자소개
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
객체지향 설계에서 정형명세를 이용한 컴포넌트 설계로의 변환 기법
정보과학회논문지 : 소프트웨어 및 응용
2004 .07
Z 정형적 명세의 객체 지향 애니메이션
정보과학회논문지(B)
1996 .12
Petri net와 그의 변형
(구)정보과학회논문지
1983 .05
Petri net의 확장에 관한 연구 ( A Study on the extension of Petri Net )
한국통신학회지(정보와통신)
1982 .01
페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석
정보과학회논문지 : 소프트웨어 및 응용
2000 .03
Fuzzy Petri Net을 이용한 Communication Protocol의 Data control과 Modeling
한국정보과학회 학술발표논문집
1991 .04
유연공정계획 표현을 위한 객체지향형 패트리네트 모델
대한산업공학회 춘계공동학술대회 논문집
1997 .04
Petri Net을 이용한 시간논리 구조의 표현
대한전기학회 학술대회 논문집
2000 .11
Petri net-based Verification Methods on MSC Specifications
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1997 .01
객체지향 페트리 넷을 이용한 계층적인 요구사항의 명세 및 검증
정보과학회논문지 : 소프트웨어 및 응용
2000 .02
Petri Net Analysis Methods and Fuzzy-Timing High-Level Petri Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1996 .01
Transition Function Petri Net Model for Multimedia Synchronization Specification
Journal of Electrical Engineering and information Science
1996 .12
Time Petri Nets에서의 스케쥴 문제분석 ( Scheduling Problems Analysis For Time Petri Net Reduction )
대한전자공학회 학술대회
1996 .01
시스템 분석을 위한 Petri net 축조 연구 ( A Relation Reduction of Petri nets for System Analysis )
한국통신학회 학술대회논문집
1990 .01
시스템 분석을 위한 Petri net의 축조 연구
한국통신학회 학술대회논문집
1990 .11
컴퓨터 시스템 분석을 위한 Petri net언어의 생성 ( Petri Net Language generation for analysis of computer system )
대한전자공학회 학술대회
1986 .01
컴퓨터 시스템 분석을 위한 Petri net언어의 생성
대한전자공학회 학술대회
1986 .12
통신 소프트웨어의 정형적 명세 방안
한국통신학회 학술대회 및 강연회
1997 .01
Distributed Control of Industrial Robot Systems using Petri Net Based Multitask Processing
제어로봇시스템학회 국제학술대회 논문집
2009 .08
Large Scale Manufacturing Systems Modeling Tools Based on Object-oriented Petri Nets
한국산업정보학회 학술대회논문집
1999 .12
0