earticle

SETL을 이용한 소프트웨어의 컴포넌트 기반 융복합 개발 방법 KCI 등재

유홍준, 양해술

한국디지털정책학회 디지털융복합연구 제13권 제6호 2015.06 pp.165-175

A Method for Inferring Development Progress in a Waterfall Model-based Software Development Environment

Seong-Hoon Lee, Dong-Woo Lee

국제인공지능학회(구 한국인터넷방송통신학회) The International Journal of Advanced Smart Convergence Volume 12 Number 2 2023.06 pp.187-192

A Robustness Analysis of Imputation Method for Software Development Project Data : Missing Value Treatment for Software Quality Prediction SCOPUS

Takayuki Morita, Mitsuhiro Kimura

보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.9 No.2 2015.02 pp.211-218

A Study on Test-Driven Development Method with the Aid of Generative AI in Software Engineering

Woochang Shin

국제인공지능학회(구 한국인터넷방송통신학회) International Journal of Internet, Broadcasting and Communication Vol.16 No.4 2024.12 pp.194-202

Test Framework Development for Software Reliability Test using Formal Method SCOPUS

Jeong-In Park, Jin-Tak Choi

보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.10 No.8 2016.08 pp.151-158

Development of ISO 26262 based Requirements Analysis and Verification Method for Efficient Development of Vehicle Software

Kyoung Lak Choi, Min Joong Kim, Young Min Kim

국제인공지능학회(구 한국인터넷방송통신학회) International Journal of Internet, Broadcasting and Communication Vol.15 No.3 2023.08 pp.219-230

Development of Operational Quality Measurement Attributes of Application Software Using KJ Method SCOPUS

Seung-Hee Kim, Woo-Je Kim

보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.8 No.3 2014.03 pp.171-188

Micro-ISV Survival Pattern on the Software Product Development SCOPUS

Ridi Ferdiana, Randi Eka Yonida

보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.10 No.10 2016.10 pp.63-68

객체지향 소프트웨어 개발 방법론의 객체지향 모델링 : OMOS(Object-oriented software development Method for Object-oriented software System)

최성운

[Kisti 연계] 한국정보처리학회 정보처리학회논문지 D Vol.d8 No.4 2001 pp.401-408

NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs

Kim, Eui-Sub, Lee, Dong-Ah, Jung, Sejin, Yoo, Junbeom, Choi, Jong-Gyun, Lee, Jang-Soo

[Kisti 연계] 한국정보과학회 Journal of computing science and engineering Vol.11 No.1 2017 pp.9-23

Development of Software Safety Analysis Method for Nuclear Power Plant I&C Systems in Requirement Specification Based on Statechart and SCR

Lee, Jung-Hwan, Koo, Seo-Ryong, Son, Han-Seong, Seong, Poong-Hyun

[Kisti 연계] 한국원자력학회 한국원자력학회 학술대회논문집 2001 p.102

Development of Software For Machinery Diagnostics by Adaptive Noise Cancelling Method (1St: Cepstrum Analysis)

Lee, Jung-Chul, Oh, Jae-Eung, Yum, Sung-Ha

[Kisti 연계] 제어로봇시스템학회 제어로봇시스템학회 학술대회논문집 1987 pp.836-841

형식 언어 기반 임베디드 소프트웨어 개발 기법의 효율성 연구

설진호, 남영호, 박재흥

[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2005 pp.511-513

디지털 원자로보호계통 고 신뢰도 소프트웨어 개발방법 연구

신현국, 남상구, 손세도, 장훈선, 유준, 신정훈, 윤석영, 손한성

[Kisti 연계] 한국원자력학회 한국원자력학회 학술대회논문집 2001 p.101

비기능적 요구사항을 강제하는 컴포넌트 개발 방법

윤석진, 신규상

[Kisti 연계] 한국IT서비스학회 한국IT서비스학회 학술대회논문집 2008 pp.281-284

소프트웨어 성능공학과 소프트웨어 개발도구 및 방법과의 관계

변진식

[Kisti 연계] 한국컴퓨터정보학회 Journal of the Korea society of computer and information Vol.3 No.4 1998 pp.70-77

"소프트웨어" 개발관리를 위한 효율적 방법 연구

조민원

[Kisti 연계] 한국산업경영시스템학회 Journal of the Society of Korea Industrial and Systems Engineering Vol.9 No.14 1986 pp.59-70

확장 Shiner-Mellow 방법 기반의 임베디드 소프트웨어 아키텍처 프레임워크 개발 방법 연구

오광근, 김종배, 문전일, 박수용

[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2004 pp.382-384

서비스지향 아키텍처와 멀티소프트웨어 프로덕트라인을 결합한 웹 시스템 개발 방법

정일권

[Kisti 연계] 한국전자거래학회 한국전자거래학회지 Vol.24 No.3 2019 pp.53-71

웹 서비스 컴포넌트를 이용한 소프트웨어 개발에서의 명세 확장 방법과 그 효과 분석

서광익, 이동근, 최은만

[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2006 pp.199-201