지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. CARDMI(Calculus of Abstract Real-Time Distribution, Mobility and Interaction)
3. 시간 속성이 추가된 CARDMI
4. 헬스케어 시스템
5. 결론
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
프로세스 대수를 위한 시각화 명세 언어
한국정보과학회 학술발표논문집
2011 .06
통신 소프트웨어의 정형적 명세 방안
한국통신학회 학술대회 및 강연회
1997 .01
다중 공유 자원을 위한 프로세스 대수
정보과학회논문지 : 시스템 및 이론
2000 .03
객체지향 설계에서 정형명세를 이용한 컴포넌트 설계로의 변환 기법
정보과학회논문지 : 소프트웨어 및 응용
2004 .07
소프트웨어 요구명세와 설계 명세간의 부합성 검사
한국정보과학회 학술발표논문집
2004 .10
대수적 명세기법을 이용한 소프트웨어 설계에 관한 연구
한국정보과학회 학술발표논문집
1987 .10
안전 필수 철도 시스템 개발을 위한 요구 사항의 정형 명세 작성
정보과학회논문지 : 소프트웨어 및 응용
2008 .12
Z 정형적 명세의 객체 지향 애니메이션
정보과학회논문지(B)
1996 .12
대수명세기법의 새로운 접근방법
한국정보과학회 학술발표논문집
1990 .04
네트워크 기반 시스템 명세 및 검증을 위한 Z 프레임워크
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2012 .02
실시간 객체 지향 모델을 지원하기 위한 정형 명세
한국정보과학회 학술발표논문집
1999 .10
구간 Algebra와 시점 Algebra간의 체계적 전환
한국정보과학회 학술발표논문집
1988 .04
컴포넌트 정형명세를 위한 Z 스키마의 확장
한국멀티미디어학회 학술발표논문집
2002 .05
추상자료형 기술을 위한 대수명세의 새로운 접근 방법
(구)정보과학회논문지
1990 .06
도시 교통관제 시스템의 정형 명세
한국정보과학회 학술발표논문집
1998 .04
RTO.k와 RTL을 이용한 실시간 시스템(무인자동차 시스템)의 정형적 명세
한국정보과학회 학술발표논문집
1995 .04
속성 명세 지원 시스템
한국정보과학회 학술발표논문집
2001 .10
VDM 모듈에서 자료흐름도로의 명세변환
한국정보과학회 학술발표논문집
1993 .10
0