Search For:

Displaying 1-3 out of 3 total
Validating Software Reliability Early through Statistical Model Checking
Found in: IEEE Software
By Youngjoo Kim,Okjoo Choi,Moonzoo Kim,Jongmoon Baik,Tai-Hyo Kim
Issue Date:May 2013
pp. 35-41
Conventional software reliability assessment validates a system's reliability only at the end of development, resulting in costly defect correction. A proposed framework employs statistical model checking (SMC) to validate reliability at an early stage. SM...
Model-Based Dynamic Cost Estimation and Tracking Method for Agile Software Development
Found in: Computer and Information Science, ACIS International Conference on
By Sungjoo Kang, Okjoo Choi, Jongmoon Baik
Issue Date:August 2010
pp. 743-748
In this paper, we present a software cost estimation model for agile development which can help estimate concrete development costs for the desired features of a product and track the project progress dynamically. In general, existing cost estimation metho...
A Meta Data Model of Context Information for Dynamic Service Adaptation on User Centric Environment
Found in: Multimedia and Ubiquitous Engineering, International Conference on
By OkJoo Choi, YongIk Yoon
Issue Date:April 2007
pp. 108-113
Human can increase the conversational bandwidth using implicit situational and environmental information. But it is dfjcult to apply implicit information to current data model in order to enhance the communication a b i l i ~ between human and computer. In...