Showing results 176 to 235 of 286
Mam nets: A Petri-net based Approach to Software Process Modeling, Analysis, and Management Min, Sang-Yoon; Bae, Doo-Hwan, International Conference of Software Engineering and Knowledge Engineering, pp.78 - 86, 1997 |
Management of Workflow over the Web Supporting Distributed Process Evolution Min, Sang-Yoon; Bae, Doo-Hwan; Cho, Sung-Chan; Nam, Young-Kwang, LNCS1749: ICSC'99, v.1749, pp.367 - 372, Springer Verlag (Germany), 1999-12 |
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 |
Measuring behavioral dependency for improving change-proneness prediction in UML-based design models Han, Ah-Rim; Jeon, Sang-Uk; Bae, Doo-Hwan; Hong, Jang-Eui, JOURNAL OF SYSTEMS AND SOFTWARE, v.83, pp.222 - 234, 2010-02 |
Message sequence charts와 statecharts간의 일관성 검사 = Consistency checking between Message sequence charts and statechartslink 김태효; Kim, Tai-Hyo; 차성덕; 배두환; et al, 한국과학기술원, 2000 |
Metamorphic testing for reliability in system of systems = 시스템 오브 시스템즈의 신뢰성을 위한 메타모픽 테스팅link Kiat Kian, Anthony Chua; Bae, Doo-Hwan; et al, 한국과학기술원, 2021 |
Metamorphic Testing for Reliability in System of Systems Chua, Kiat Kian Anthony; Bae, Doo-Hwan; Jee, Eunkyoung, 2021 28th Asia-Pacific Software Engineering Conference (APSEC), pp.390 - 400, IEEE, 2021-12 |
Model-based project process analysis using project tracking data Yoon, KA; Min, SY; Bae, Doo-Hwan, SOFTWARE ENGINEERING RESEARCH AND APPLICATIONS BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.3026, pp.148 - 167, 2004 |
Model-Based Project Process Analysis Using Project Tracking Data Yoon, Kyung-A; Min, Sang-Yoon; Bae, Doo-Hwan, Lecture Notes in Computer Science, Vol.3026, pp.148-167, 2003-06 |
Model-based system of systems verification considering selfishness = 이기성을 고려한 모델 기반 시스템 오브 시스템즈 검증 연구link Kim, Junho; Bae, Doo-Hwan; et al, 한국과학기술원, 2017 |
Modeling and performance evaluation of UML-based platform independent models for MPSoC embedded software = MPSoC 내장형 소프트웨어의 UML 기반 플랫폼 독립적 모델링 및 성능 분석 기법link Jeon, Sang-Uk; 전상욱; et al, 한국과학기술원, 2010 |
Modeling and verification for different types of system of systems using PRISM Seo, Dongwon; Shin, Donghwan; Baek, Young-Min; Song, Jiyoung; Yun, Wonkyung; Kim, Junho; Jee, Eunkyoung; et al, 4th International Workshop on Software Engineering for Systems-of-Systems, SESoS 2016, pp.12 - 18, Association for Computing Machinery, Inc, 2016-05-16 |
Modeling the Unexpected behaviors of Embedded Software using UML Sequence Diagrams Lee, Hee-Jin; Song, In-Gwon; Jeon, Sang-Uk; Hong, Jang-Eui; Bae, Doo-Hwan, International Conference on Softwre and Data Technology, 2006 |
Modelling the unexpected behaviours of embedded software using UML sequence diagrams Lee, Hee-Jin; Song, In-Gwon; Jeon, Sang-Uk; Bae, Doo-Hwan; Hong, Jang-Eui, 1st International Conference on Software and Data Technologies, ICSOFT 2006, pp.257 - 262, ICSOFT, 2006-09-11 |
MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software Liu, Lingjun; Jee, Eunkyoung; Bae, Doo-Hwan, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.32, no.8, 2022-12 |
Mutation analysis for system of systems policy = 시스템 오브 시스템즈 정책을 위한 뮤테이션 분석 기법link Yun, Wonkyung; Bae, Doo-Hwan; et al, 한국과학기술원, 2017 |
Mutation Analysis for System of Systems Policy Testing Yun, Wonkyung; Shin, Donghwan; Bae, Doo-Hwan, 5th IEEE/ACM Joint International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems, JSOS 2017, pp.16 - 22, Institute of Electrical and Electronics Engineers Inc., 2017-05-23 |
OBJECT-ORIENTED AND FUNCTIONAL SOFTWARE-DESIGN FOR DISTRIBUTED REAL-TIME SYSTEMS YAU, SS; Bae, Doo-Hwan, COMPUTER COMMUNICATIONS, v.17, no.10, pp.691 - 888, 1994-10 |
Object-oriented concept analysis for software imodularisation Kim, HH; Bae, Doo-Hwan, IET SOFTWARE, v.2, no.2, pp.134 - 148, 2008-04 |
OBJECT-ORIENTED DEVELOPMENT OF ARCHITECTURE TRANSPARENT SOFTWARE FOR DISTRIBUTED PARALLEL SYSTEMS YAU, SS; Bae, Doo-Hwan; CHIDAMBARAM, M, COMPUTER COMMUNICATIONS, v.16, no.5, pp.317 - 327, 1993-05 |
Object-oriented methodology based on a high-level meta-object protocol (diMOP) for developing distributed software systems = 분산 소프트웨어 시스템 개발을 위한 메타오브젝트 프로토콜 기반 객체지향 기법link Lee, Joon-Sang; 이준상; et al, 한국과학기술원, 1999 |
Object-oriented model refinement technique in software reengineering = 소프트웨어 재공학에서의 객체 모델 정제 기법link Park, Wei-Jin; 박외진; et al, 한국과학기술원, 1998 |
Object-oriented model refinement technique in software reengineering Park, Wei-Jin; Min, Sang-Yoon; Bae, Doo-Hwan; Mah Pyeong-Soo, 1998 IEEE 22nd Annual International Computer Software & Applications Conference, pp.32 - 38, IEEE, 1998-08-19 |
On the value of outlier elimination on software effort estimation research Seo, Yeong-Seok; Bae, Doo-Hwan, EMPIRICAL SOFTWARE ENGINEERING, v.18, no.4, pp.659 - 698, 2013-08 |
PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems Shin, Yong-Jun; Cho, Eunho; Bae, Doo-Hwan, 24th International Conference on Fundamental Approaches to Software Engineering, pp.292 - 312, Springer International Publishing, 2021-03-29 |
Pattern-based Analysis of Interaction Failures in Systems-of-Systems: a Case Study on Platooning Hyun, Sangwon; Song, Jiyoung; Shin, Seungchyul; Baek, Young-Min; Bae, Doo-Hwan, 27th Asia-Pacific Software Engineering Conference (APSEC), pp.326 - 335, IEEE COMPUTER SOC, 2020-12 |
PC Worm Detection System Based on the Correlation between User Interactions and Comprehensive Network Behaviors Seo, Jeong-Seok; Cha, Sung-Deok; Zhu, Bin; Bae, Doo-Hwan, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E96D, no.8, pp.1716 - 1726, 2013-08 |
Personalized primary port: Analysis of user view for the smart environment Park, Wei-Jin; Kim, Junhwan; Bae, Doo-Hwan, 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, pp.989 - 997, ICAT'06, 2006-11-29 |
Platooning LEGOs: An Open Physical Exemplar for Engineering Self-Adaptive Cyber-Physical Systems-of-Systems Shin, Yong Jun; Liu, Lingjun; Hyun, Sangwon; Bae, Doo-Hwan, 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2021, pp.231 - 237, Institute of Electrical and Electronics Engineers Inc., 2021-05 |
Practical Human Resource Allocation in Software Projects Using Genetic Algorithm Park, Jihun; Seo, Dongwon; Hong, Gwangui; Shin, Donghwan; Hwa, Jimin; Bae, Doo-Hwan, 26th International Conference on Software Engineering and Knowledge Engineering, pp.688 - 694, International Conference on Software Engineering and Knowledge Engineering, 2014-07 |
Process instance management facilities based on the meta process models Park, Seunghun; Min, Sangyoon; Bae, Doo-Hwan, 2011 International Conference on Computational Science and Its Applications, ICCSA 2011, pp.326 - 341, 2011 International Conference on Computational Science and Its Applications, ICCSA 2011, 2011-06-20 |
Program chairs' message Bae, Doo-Hwan; Chu, William C., 11th Asia-Pacific Software Engineering Conference, APSEC 2004, 2004-11-30 |
PROOF - A PARALLEL OBJECT-ORIENTED FUNCTIONAL COMPUTATION MODEL YAU, SS; JIA, XO; Bae, Doo-Hwan, JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, v.12, no.3, pp.202 - 212, 1991-07 |
Quality based software project staffing and scheduling with budget and deadline Seo, Dongwon; Shin, Donghwan; Bae, Doo-Hwan, 3rd Joint International Workshop on Quantitative Approaches to Software Quality, QuASoQ 2015, the Workshop on Alternate Workforces for Software Engineering, WAWSE 2015 and the 1st International Workshop on Case Method for Computing Education, CMCE 2015, CEUR-WS, 2015-12-01 |
Quality Based Software Project Staffing and Scheduling with Cost Bound Seo, Dongwon; Shin, Donghwan; Bae, Doo-Hwan, Software Engineering Conference (APSEC), 2015 Asia-Pacific, Institute of Electrical and Electronics Engineers Inc., 2015-12-02 |
Quality based software project staffing and scheduling with time bound = 소프트웨어 품질과 제한 시간을 고려한 프로젝트 계획 생성 방법link Seo, Dong-Won; 서동원; et al, 한국과학기술원, 2014 |
Refactoring for scalability in server components = 서버 컴포넌트의 확장성을 위한 재구성 기법link Kwon, Jae-Eun; 권재은; et al, 한국과학기술원, 2001 |
Reliable transaction design using MTS Yoon, Il-Chul; Kim, Hyung-Ho; Youn, Cheong; Bae, Doo-Hwan, 2000 IEEE 24th Annual International Computer Software and Applications Conference (COMPSAC 2000), pp.357 - 362, IEEE, 2000-10-25 |
Response to Comments on: A cohesion measure ford object-oriented classes Chae, HS; Kwon, Yong Rae; Bae, Doo-Hwan, SOFTWARE-PRACTICE EXPERIENCE, v.31, no.14, pp.1389 - 1392, 2001-11 |
Response to More comments on: A cohesion measure for object-oriented classes Chae, HS; Kwon, Yong Rae; Bae, Doo-Hwan, SOFTWARE-PRACTICE & EXPERIENCE, v.33, no.6, pp.589 - 594, 2003-05 |
Safety Verification of Ada95 Programs Using Software Fault Trees Min, Sang-Yoon; Jang, Yoon-Kyu; Cha, Sungdeok; Kwon, Yong-Rae; Bae, Doo-Hwan, SAFECOMP 99, pp.226 - 238, Springer Verlag (Germany), 1999 |
Scalable Mobile Agents Supporting Dynamic Composition of Functionality Kim, In-Gyu; Hong, Jang-Eui; Bae, Doo-Hwan; Han, Ik-Joo; Youn, Cheong, The Fourth Iternational Conference on Autonomous Agents, Workshop Infrastructure for Scalable Multi-Agents Systems, pp.199 - 213, Springer Verlag (Germany), 2001 |
Search-Based Approaches for Software Module Clustering Based on Multiple Relationship Factors Hwa, Jimin; Yoo, Shin; Seo, Yeong-Seok; Bae, Doo-Hwan, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.27, no.7, pp.1033 - 1062, 2017-09 |
Selecting candidate component best matching specification from a component library = 컴포넌트 라이브러리로부터 명세에 가장 근접한 후보 컴포넌트 추출 기법link Tegegne, Marew; 마로; et al, 한국과학기술원, 2003 |
SimpleLock(+): Fast and Accurate Hybrid Data Race Detection Yu, Misun; Bae, Doo-Hwan, COMPUTER JOURNAL, v.59, no.6, pp.793 - 809, 2016-06 |
SimpleLock: Fast and Accurate Hybrid Data Race Detector Yu, Misun; Yoo, Sang-Kyung; Bae, Doo-Hwan, 14'th International Conference on Parallel and Distributed Computing, Applications and Technologies, IEEE(Computer Society), 2013-12-16 |
Simulation-based integration testing for multiple PLCs in reactor protection system = 원자로 보호계통의 다중 PLC를 위한 시뮬레이션 기반 통합 테스팅link Eun, Hyeongseok; Bae, Doo-Hwan; et al, 한국과학기술원, 2023 |
Simulation-based Recommendation Generation for Heterogeneous Systems Participating in a Collaborative Work Mihret, Zelalem; Jee, Eunkyoung; Bae, Doo-Hwan, 2022 17th Annual System of Systems Engineering Conference (SOSE), pp.333 - 338, Institute of Electrical and Electronics Engineers Inc., 2022-06-09 |
SIMVA-SoS: Simulation-based Verification and Analysis for System-of-Systems Park, Sumin; Shin, Yong-jun; Hyun, SangWon; Bae, Doo-Hwan, 15th IEEE International Conference of System of Systems Engineering, SOSE 2020, pp.575 - 580, Institute of Electrical and Electronics Engineers Inc., 2020-06-03 |
Slicing Executable System-of-Systems Models for Efficient Statistical Verification Song, Jiyoung; Torring, Jacob O.; Hyun, Sangwon; Jee, Eunkyoung; Bae, Doo-Hwan, ICSE Joint Conference on IEEE/ACM 7th International Workshop on Software Engineering for Systems-of-Systems / 13th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (SESoS-WDES), pp.18 - 25, ASSOC COMPUTING MACHINERY, 2019-05 |
SoftPM: a software process management system reconciling formalism with easiness Min, SY; Lee, HD; Bae, Doo-Hwan, INFORMATION AND SOFTWARE TECHNOLOGY, v.42, no.1, pp.1 - 16, 2000-01 |
Software fault prediction models for Web applications Giang, Le Truong; Kang, Dongwon; Bae, Doo-Hwan, 34th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2010, pp.51 - 56, IEEE, 2010-07-19 |
Software fault predictors for web applications = 웹 어플리케이션을 위한 소프트웨어 결함 예측 지표에 대한 연구link Le, Truong Giang; 레, 트롱 장; et al, 한국과학기술원, 2010 |
Software modeling and analysis using a hierarchical object-oriented Petri net Hong, JE; Bae, Doo-Hwan, INFORMATION SCIENCES, v.130, no.1-4, pp.133 - 164, 2000-12 |
SOFTWARE-DESIGN METHODS FOR DISTRIBUTED COMPUTING SYSTEMS YAU, SS; JIA, XP; Bae, Doo-Hwan, COMPUTER COMMUNICATIONS, v.15, no.4, pp.213 - 224, 1992-05 |
SOOA: A Stepwise Object-Oriented Analysis Method 윤, 청; 인, 소란; 이, 권일; 차, 승훈; 배, 두환; 변, 보균; Misbah, Mirza; et al, 한국정보과학회논문지, Vol.25, No.1, pp.99-110, 1998 |
SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS Song, Jiyoung; Baek, Young-Min; Jin, Mingyu; Jee, Eunkyoung; Bae, Doo-Hwan, 24th Asia-Pacific Software Engineering Conference, APSEC 2017, pp.546 - 551, IEEE Computer Society, 2017-12 |
Special issue: Computer Software & Applications Bae, Doo-Hwan, JOURNAL OF SYSTEMS AND SOFTWARE, v.76, no.1, pp.1 - 2, 2005-04 |
Specification and validation of dynamic systems using temporal logic Cho S.M.; Kim H.H.; Cha S.D.; Bae, Doo-Hwan, IEE PROCEEDINGS: SOFTWARE, v.148, no.4, pp.135 - 140, 2001-08 |
Specification Seeding Method(SSM): Automatic Component Software Generation Using Spontaneous Composition Between Components Park, WJ; Joo, BG; Bae, Doo-Hwan, Software Engineering, Artificial Intelligence, Networking & Paralle/Distributed Computing, pp.817 - 824, 2001 |
Discover