LOTOS기술 동향 연구 분석 ( A STUDY ON THE STARE OF ART IN LOTOS )

이명직 ,  홍만표 ,  김동규

한국통신학회 학술대회논문집

1987 .01

A Model Based Specification Environment for LOTOS

Eun Seok Lee ,  No ,  io Shi 외 2명

대한전자공학회 세미나

1991 .01

LOTOS 코드 생성기의 개발

천윤식 ,  김철홍 ,  박원규 외 2명

한국정보과학회 학술발표논문집

1997 .04

아키텍처 진화를 고려한 아키텍처 설계 방법

최유희 ,  최희석 ,  김재명

한국정보과학회 학술발표논문집

2008 .10

객체지향 LOTOS의 기본 설계

천윤식 ,  조수선

한국정보과학회 학술발표논문집

1996 .10

Composition of LOTOS Specifications Based on Temporal Logic

Toshihiko Ando ,  Yasushi Kato ,  Kao 외 2명

JC-CNSS : Joint Conference on Communications, Networks and Switching Systems

1993 .01

LOTOS를 사용한 LLC Type 4의 형식 명세 분석 및 설계 ( Analysis & Design of LLC Type 4 Formal Specification in LOTOS )

양태연 ,  한선영

대한전자공학회 학술대회

1992 .11

LOTOS를 사용한 LLC type 4의 형식 명세 기술 ( LLC Type 4 Formal Specification Description in LOTOS )

양태연 ,  한선영

한국통신학회 학술대회논문집

1992 .01

LOTOS를 사용한 LLC type 4의 형식 명세 기술

양태연 ,  한선영

한국통신학회 학술대회논문집

1992 .11

LOTOS에서의 모듈 구조 설계에 관한 연구

안영덕 ,  서동수 ,  송주석

한국정보과학회 학술발표논문집

1990 .10

LOTOS를 이용한 다출력 고속 전광 demultiplexer ( A Multiple-output high-speed all-optical demultiplexer made with LOTOS )

최우영 ,  Ryo Takahashi ,  Yuichi Kawamu 외 3명

대한전자공학회 기타 간행물

1995 .01

LOTOS를 이용한 다출력 고속 전광 demultiplexer ( A Multiple-output high-speed all-optical demultiplexer made with LOTOS )

최우영

한국통신학회 기타 간행물

1995 .01

LOTOS를 이용한 소프트웨어 아키텍쳐의 설계

김영익 ,  이성은 ,  류성열

한국정보과학회 학술발표논문집

1998 .10

품질 속성 기반의 소프트웨어 아키텍처 평가 프로세스에 관한 연구

손이경 ,  김행곤 ,  김명수

한국정보시스템학회 춘계 학술발표논문집

2004 .01

소프트웨어 아키텍처 평가 프로세스에 관한 연구

손이경 ,  김행곤

한국정보과학회 학술발표논문집

2004 .04

Formal Specification and Verification of ISDN Services in LOTOS

Keiichi ,  ou Yamano ,  Dusan Jokanovic 외 4명

대한전자공학회 세미나

1991 .01

아키텍처 기반 소프트웨어 개발에서 소프트웨어 아키텍처 변형을 지원하기 위한 방법

최희석 ,  염근혁

정보과학회논문지 : 소프트웨어 및 응용

2005 .01

LOTOS 테스트 툴 구축에 관한 연구

한규정 ,  권기현 ,  정연대 외 1명

한국정보과학회 학술발표논문집

1997 .10

내장형 실시간 시스템의 소프트웨어 아키텍처 리엔지니어링 사례연구

천석호 ,  배두환

한국정보과학회 학술발표논문집

2011 .11