CS Store Search
Displaying 1-3 out of 3 total
Validating Software Reliability Early through Statistical Model Checking
By Youngjoo Kim,Okjoo Choi,Moonzoo Kim,Jongmoon Baik,Tai-Hyo Kim
Issue Date:May 2013
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
Computer and Information Science, ACIS International Conference on
By Sungjoo Kang, Okjoo Choi, Jongmoon Baik
Issue Date:August 2010
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
Multimedia and Ubiquitous Engineering, International Conference on
By OkJoo Choi, YongIk Yoon
Issue Date:April 2007
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...
Original Search Engine
Need a Web Account?
Become a Member
This site and all contents (unless otherwise noted) are Copyright ©2008, IEEE, Inc. All rights reserved.