자료유형
발행기관
- 인문사회과학기술융합학회(23)
- 한국탄소학회(12)
- 한국식물병리학회(11)
- 한국습지학회(8)
- 한국시스템엔지니어링학회(6)
- 대한생리학회-대한약리학회(5)
- 대한수의학회(4)
- 한국철도학회(4)
- 대한전기학회(3)
- 한국군사과학기술학회(3)
- 한국성인교육학회(3)
- 한국정보과학회(3)
- 한국정보처리학회(3)
- 경인교육대학교 교육연구원(2)
- 대한신경계작업치료학회(2)
- 한국교육학회(2)
- 한국기업교육학회(2)
- 한국시각장애교육재활학회(2)
- 한국시스템엔지니어링협회(2)
- 한국열환경공학회(2)
- 한국컴퓨터정보학회(2)
- 대한산업공학회(1)
- 대한안전경영과학회(1)
- 대한조선학회(1)
- 대한치과이식임플란트학회(1)
- 이화여자대학교 교과교육연구소(1)
- 제어로봇시스템학회(1)
- 한국감성과학회(1)
- 한국건설관리학회(1)
- 한국경영과학회(1)
- 한국경호경비학회(1)
- 한국교육정치학회(1)
- 한국멀티미디어학회(1)
- 한국박물관학회(1)
- 한국부모교육학회(1)
- 한국원자력학회(1)
- 한국음악교육학회(1)
- 한국인터넷정보학회(1)
- 한국정밀공학회(1)
- 한국중국문화학회(1)
- 한국창의력교육학회(1)
- 환태평양유아교육연구학회(1)
간행물
- 예술인문사회융합멀티미디어논문지(23)
- CARBON LETTERS(12)
- THE PLANT PATHOLOGY JOURNAL (9)
- 한국습지학회지(8)
- 시스템엔지니어링학술지(6)
- THE KOREAN JOURNAL OF PHYSIOLOGY & PHARMACOLOGY(5)
- 한국철도학회 논문집(4)
- JOURNAL OF VETERINARY SCIENCE(3)
- 정보과학회논문지. JOURNAL OF KIISE. 소프트웨어 및 응용(3)
- 한국군사과학기술학회지(3)
- JOURNAL OF ELECTRICAL ENGINEERING & TECHNOLOGY(2)
- 시각장애연구(2)
- 시스템엔지니어링워크숍 : 한국시스템엔지니어링협회 시스템엔지니어링워크숍(2)
- 식물병연구(2)
- 열환경공학(2)
- 재활치료과학(2)
- 정보처리학회논문지. THE KIPS TRANSACTIONS. PART D. PART D(2)
- 한국성인교육학회 학술대회지(2)
- 한국컴퓨터정보학회논문지(2)
- ANDRAGOGY TODAY(1)
- ASIA-PACIFIC JOURNAL OF RESEARCH IN EARLY CHILDHOOD EDUCATION(1)
- INDUSTRIAL ENGINEERING & MANAGEMENT SYSTEMS : AN INTERNATIONAL JOURNAL(1)
- INTERNATIONAL JOURNAL OF THE KOREAN SOCIETY OF PRECISION ENGINEERING(1)
- JOURNAL OF DENTAL IMPLANT RESEARCH(1)
- JOURNAL OF INTERNATIONAL COUNCIL ON ELECTRICAL ENGINEERING(1)
- KOREAN JOURNAL OF VETERINARY RESEARCH(구 대한수의학회지)(1)
- NUCLEAR ENGINEERING AND TECHNOLOGY : AN INTERNATIONAL JOURNAL OF THE KOREAN NUCLEAR SOCIETY(1)
- THE JOURNAL OF EDUCATION(1)
- 감성과학(1)
- 교과교육학연구(1)
- 교육논총(1)
- 교육학연구(1)
- 기업교육과 인재연구(1)
- 대한안전경영과학회지(1)
- 대한조선학회 논문집(1)
- 멀티미디어학회논문지(1)
- 박물관학보(1)
- 부모교육연구(1)
- 시큐리티연구(1)
- 음악교육연구(1)
- 인터넷정보학회논문지(1)
- 정보처리논문지(1)
- 제어-자동화-시스템공학 논문지(1)
- 중국학논총(1)
- 창의력교육연구(1)
- 한국건설관리학회논문집(1)
- 한국경영과학회지(1)
- 한국교육정치학회 학술대회지(1)
- 한국교육학회 학술대회논문집(1)
- 한국기업교육학회 학술대회(1)
전체 선택해제
총 125건 검색
본문검색 결과만 보기
-
유스케이스 모델링을 위한 요구사항 중복 및 불일치 분석
최진재, 황선영 한국정보과학회 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 14 Pages
한국정보과학회 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 2004, Vol.31 No.7 869-882 (14 pages)
본 논문에서는 정형방법론의 일관성 검사방법을 유스케이스 모델링에 적용함으로써 논리적으로 일관되고 구조화된 요구사항 모델을 생성할 수 있는 방안을 제안하였다. 제안된 방안을 통해 서로 중복되거나 충돌할 수 있는 다중 사용자관점의 부분적인 요구사항들을 구조화된 요구사항 모델로 통합할 수 있다. 요구사항 모델의 구조는 문맥목표와 관심영역의 중복구조를 통하여 분석되며, 요구사항의 모델의 일관성은 요구사항 통합의 수단으로 요구사항 명세의 중복관계에 기반한 일관성 검사방법을 사용함으로써 획득된다. 제시된... -
실시간 모델 체커를 이용한 풀트 트리의 체계적 검증
지은경, 차성덕, 손한성, 유준범, 구서룡, 성풍현 한국정보과학회 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 13 Pages
한국정보과학회 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 2002, Vol.29 No.12 860-872 (13 pages)
폴트 트리 분석(Fault Tree Analysis)은 산업계에서 가장 널리 사용되는 안전성 분석 기법 중의 하나이다. 하지만, 이 기법은 보통 수작업으로 이루어지며, 분석 결과를 체계적이고 자동적으로 검증할 수 있는 방법이 없다는 약점을 지닌다. 본 논문에서는 실시간 모델 체커인 UPPAAL을 이용하여 안전성이 중요한 소프트웨어의 요구 사항들을 정형 명세하고, 수작업으로 찬성된 폴트 트리의 정확성을 검증하는 방법을 제안하고 있다. 제안된 방법을 유용성을 확인하기 위해서 월성 원자력 발전소의 비상 정지 소프트웨어(Wolsung... -
전산지원 시스템 엔지니어링 도구를 이용한 합동능력 통합 및 개발 환경 구축 사례
김진일, 박종선, Kim. Jin Ill, Park. Jong Seon 한국시스템엔지니어링학회 시스템엔지니어링학술지 14 Pages
한국시스템엔지니어링학회 시스템엔지니어링학술지 2013, Vol.9 No.2 69-82 (14 pages)
-
FA-50 개발요구도의 효율적 관리를 위한 추적성 구현
김도현, 김성준, 안상석, 이강훈, 장민영, Kim. Do Hyun, Kim. Seong Jun, Ahn. Sang Seok, Lee. Kang Hoon, Jang. Min Young 한국시스템엔지니어링학회 시스템엔지니어링학술지 8 Pages
한국시스템엔지니어링학회 시스템엔지니어링학술지 2010, Vol.6 No.2 7-14 (8 pages)
-
무기체계 연구개발 요구사항 검증에 관한 연구
권용수, 김경진, 이경행, Kwon. Yong Soo, Kim. Kyoung Jin, Lee. Kyoung Haing 한국시스템엔지니어링학회 시스템엔지니어링학술지 8 Pages
한국시스템엔지니어링학회 시스템엔지니어링학술지 2007, Vol.3 No.1 33-40 (8 pages)
-
효과적인 시스템엔지니어링 추진을 위한 정보통합시스템(WISEMAN) 개발 및 적용사례
박삼준, 오형근, 김형준, 한상철, 김종복, Park. Sam Joon, Oh. Hyung Geun, Kim. Hyung Joon, Han. Sang Chul, Kim. Jong Bok 한국시스템엔지니어링학회 시스템엔지니어링학술지 10 Pages
한국시스템엔지니어링학회 시스템엔지니어링학술지 2006, Vol.2 No.2 11-20 (10 pages)
-
수출용 KT-1 요구사항 아키텍처 모델 구축
강민성, 이진균, 김진석, 손환익, 강영호, 이중윤, 최민신, 이영선, Kang. Min-Seong, Lee. Jin-Kyun, Kim. Jin-Suk, Shon. Hwan-Ick, Kang. Young-Ho, Lee. Joong-Yoon, Choi. M 한국군사과학기술학회 韓國軍事科學技術學會誌 9 Pages
한국군사과학기술학회 韓國軍事科學技術學會誌 2006, Vol.9 No.1 135-143 (9 pages)
-
체계공학 접근방법을 통한 제어시스템 설계에 관한 연구
안장근 한국군사과학기술학회 韓國軍事科學技術學會誌 11 Pages
한국군사과학기술학회 韓國軍事科學技術學會誌 2004, Vol.7 No.1 13-23 (11 pages)
-
Scenario-based Goal-oriented Approach for Use Case Modeling
Kim. Jeong-Wook, Park. Sooyong, Nam. Ki-Chan 한국경영과학회 韓國經營科學會誌 13 Pages
한국경영과학회 韓國經營科學會誌 2003, Vol.28 No.2 91-103 (13 pages)
-
요구공학을 적용한 센서기반 스마트 의류 디자인 프로세스 연구
조하경, 이주현, Cho. Hakyung, Lee. Joo Hyeon 한국감성과학회 감성과학 12 Pages
한국감성과학회 감성과학 2013, Vol.16 No.3 397-408 (12 pages)
최근 건강에 대한 관심의 증가와 고령화 사회의 진입으로 인해 센서 기반 스마트 의류는 다양한 어플리케이션과 타입으로 개발되고 있다. 센서기반 스마트 의류는 인체로부터 생체 신호를 측정, 모니터링을 주 목적으로하는 기능성 의류의 한 분야로 신호의 정확성, 기기의 착용성, 센서의 인체 적합성 등의 인체-기기-의류간의 상호작용을 고려하여 디자인되어야 한다는 점에서 기존의 스마트 의류와 다른 특성을 지닌다. 센서기반 스마트 의류의 이러한 특성은 의복의 제작 단계에 있어 요구공학의 단계를 기반으로 개발 목적에 대한...