CS-Journal Papers(저널논문)

Recent Items

Collection's Items (Sorted by Submit Date in Descending order): 3501 to 3520 of 4062

3501
Specification and Validation of Dynamic Systems Using Temporal Logic

Cho, Seung Mo; Kim, Hyung Ho; Cha, Sung Deok; Bae, Doo Hwan, IEE Proceedings - Software, Vol.148, No.4, pp.135-140, 2001-08

3502
High-level Petri net for incremental analysis of object-oriented system requirements

Hong J.-E.; Bae, Doo-Hwan, IEE PROCEEDINGS: SOFTWARE, v.148, no.1, pp.11 - 18, 2001-02

3503
객체지향 시스템의 클래스에 대한 응집도

채흥석; 권용래; 배두환, 정보과학회논문지:소프트웨어 및 응용, v.26, no.9, pp.1095 - 1104, 1999

3504
UML 객체지향 분석모델의 완전성 및 일관성 진단을 위한 시나리오기반 검증기법

조진형; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.28, no.3, pp.211 - 223, 2001-03

3505
An enhanced role model for alleviating the role-binding anomaly

Lee, JS; Bae, Doo-Hwan, SOFTWARE-PRACTICE EXPERIENCE, v.32, no.14, pp.1317 - 1344, 2002-11

3506
객체지향 재공학을 위한 객체 모델 정제 기법

박외진; 민상윤; 배두환; 마평수, 정보과학회논문지(B), v.25, no.10, pp.1506 - 1517, 1998

3507
Managing complexity in object-oriented analysis

Ine, SR; Youn, C; Misbah, UM; Lee, KI; Cha, SH; Byoun, BG; Bae, Doo-Hwan, ETRI JOURNAL, v.20, no.2, pp.192 - 213, 1998-06

3508
소프트웨어 재사용 기술 도입을 위한 모델 기반의 프레임워크

홍장의; 민상윤; 배두환, 정보과학회논문지(B), v.25, no.8, pp.1218 - 1228, 1998

3509
객체지향 페트리 넷을 이용한 계층적인 요구사항의 명세 및 검증

홍장의; 윤일철; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.2, pp.157 - 167, 2000

3510
의존 인스턴스 변수를 고려한 클래스 응집도 척도의 개선

채흥석; 권용래; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.31, no.9, pp.1131 - 1141, 2004-09

3511
객체지향 개발방법의 체계적 구성

김형호; 김영곤; 배두환; 김민경; 유병규, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.5, pp.488 - 498, 2000-05

3512
Ranking documents in thesaurus-based boolean retrieval systems

LEE, JOON HO; Kim, Myoung Ho; LEE, YOON JOON, Information Processing & Management, Vol.30, No.1, pp.79-91, 1994-02

3513
Indexing of continuously moving objects on road networks

Bok, Kyoung Soo; Yoon, Ho Won; Seo, Dong Min; Kim, Myoung Ho; Yoo, Jae Soo, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E91D, pp.2061 - 2064, 2008-07

3514
EXTENDING SEMANTICS OF RELATIONAL OPERATORS FOR VAGUE QUERIES

Lee, Doheon; Kim, Myoung Ho, MICROPROCESSING AND MICROPROGRAMMING, v.39, no.2-5, pp.165 - 168, 1993-12

3515
A feedback based framework for semi-automic composition of web services

Han, Dongsoo; Lee, S; Ko, In-Young, FRONTIERS OF WWW RESEARCH AND DEVELOPMENT - APWEB 2006, PROCEEDINGS BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.3841, pp.414 - 424, 2006

3516
Design and experiment of a communication-aware parallel quicksort with weighted partition of processors

Moh, S; Yu, C; Han, Dongsoo, COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 4 BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.3046, pp.97 - 105, 2004

3517
웹 서비스 기반 e-비즈니스 응용 프로그램 통합 프레임워크

한동수; 이성독, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.11, no.6, pp.514 - 530, 2005-12

3518
Set-Based Access Conflicts Analysis of Concurrent Workflow Definition

Lee, Minkyu; Han, Dongsoo; Shim, Jaeyong, Third International Symposium on Cooperative Database Systems for Advanced Applications, pp.172-176, 2001

3519
A domain combination based probabilistic framework for protein-protein interaction prediction.

Han, Dongsoo; Kim, H.S.; Seo, J.; Jang, W., GENOME INFORMATICS SERIES : PROCEEDINGS OF THE . WORKSHOP ON GENOME INFORMATICS. WORKSHOP ON GENOME INFORMATICS, v.14, no.0, pp.250 - 259, 2003

3520
Set-based access conflict analysis of concurrent workflow definition

Lee, M; Han, Dongsoo; Shim, J, INFORMATION PROCESSING LETTERS, v.80, no.4, pp.189 - 194, 2001-11

Discover

Type

Open Access

Date issued

. next

rss_1.0 rss_2.0 atom_1.0