DSpace at KOASAS
Browsing DSpace

Browse by Subject software engineering

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 9 of 9

1
A User eXperience Evaluation Framework for Mobile Usability

Lee, Hee Jin; Lee, Joon-Sang; Jee, Eunkyoung; Bae, Doo-Hwan, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.27, no.2, pp.235 - 279, 2017-03

2
(An) approach to defining value-based software development process = 가치기반 소프트웨어 개발 프로세스의 정의 방법link

Murtazaev, Atabek; Murtazaev, A.; et al, 한국과학기술원, 2010

3
Formal analysis framework for lossy interface adapter chaining = 손실이 있는 인터페이스 어댑터 체인의 수학적 분석link

Chung, Yoo- Chul; 정유철; et al, 한국과학기술원, 2010

4
Specification-Based Program Slicing and Its Application

w. k. lee; i. s. chung; g. s. yoon; Kwon, Yong Rae, JOURNAL OF SYSTEMS ARCHITECTURE, v.47, no.5, pp.427 - 443, 2001-05

5
Systematic evaluation of fault trees using real-time model checker UPPAAL

Cha, S; Son, H; Yoo, J; Jee, E; Seong, Poong-Hyun, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.82, no.1, pp.11 - 20, 2003-10

6
가상화 기법으로 난독화된 실행 파일의 동적 분석 방법 = A dynamic analysis of virtualization-obfuscated binary executableslink

전준수; Jeon, Joon-Soo; et al, 한국과학기술원, 2012

7
내장형 S/W 개발 시 명령어패턴을 이용한 모델 기반의 에너지 소모 예측 기법 = Model-based energy consumption prediction in embedded S/W development using instruction patternlink

임형인; Ihm, Hyoung-In; et al, 한국과학기술원, 2009

8
실시간 모델 체커를 이용한 폴트 트리의 체계적 검증

지은경; 차성덕; 손한성; 유준범; 구서룡; 성풍현, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.12, pp.860 - 872, 2002-12

9
프로그래머의 동작 순서 정보를 이용하는 N-그램 모델 기반의 변경 추천 시스템 = N-gram model based change recommendation system that utilizes information of programmers' interaction orderlink

김태현; 강성원; et al, 한국과학기술원, 2017

Discover

rss_1.0 rss_2.0 atom_1.0