• Title/Summary/Keyword: Software Studies

Search Result 2,375, Processing Time 0.028 seconds

Software Development Effort Estimation Using Neural Network Model (신경망 시스템 기반의 소프트웨어 개발노력 추정모델 구축에 관한 연구)

  • Baek, Seung-Ik;Kim, Byung-Gwan
    • Journal of Information Technology Services
    • /
    • v.5 no.1
    • /
    • pp.97-109
    • /
    • 2006
  • As software becomes more complex and its scope dramatically increases, the importance of research on developing methods for estimating software development efforts has been increased. Such accurate estimation has a prominent impact on the development projects. To develop accurate effort estimation models, many studies have been conducted among the academia and the practitioners. Out of the numerous methods, Constructive Cost Model (COCOMO) based on Line of Code (LOC), Regression Model based on Function Point (FP) were the most popular models in the past. As today's development environments are dynamically changing, these traditional methods do not work anymore. There is an impending need to develop an accurate estimation model which accommodates itself to the new environments. As a possible solution, this research proposes and evaluates an software development estimation model based on function points and neural networks.

The Status Quo and Future of Software Regression Bug Discovery via Fuzz Testing (퍼즈 테스팅을 통한 소프트웨어 회귀 버그 탐색 기법의 동향과 전망)

  • Lee, Gwangmu;Lee, Byoungyoung
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.31 no.5
    • /
    • pp.911-917
    • /
    • 2021
  • As software gets an increasing amount of patches, lots of software bugs are increasingly caused by such software patches, collectively known as regression bugs. To proactively detect the regressions bugs, both industry and academia are actively searching for a way to augment fuzz testing, one of the most popular automatic bug detection techniques. In this paper, we investigate the status quo of the studies on augmenting fuzz testing for regression bug detection and, based on the limitations of current proposals, provide an outlook of the relevant research.

Proposition of Information Processing and Analysis Technology Education in the Era of Hyperconnection, Hyperintelligence, and Hyperconvergence

  • Seung-Woo, LEE;Sangwon, LEE
    • International Journal of Advanced Culture Technology
    • /
    • v.10 no.4
    • /
    • pp.94-101
    • /
    • 2022
  • For the purpose of this study, in order to adapt to the era of intelligent informatization in the 4th Industrial Revolution, we propose an information processing and analysis technology education plan that can solve problems through information search and collection. To this end, first, we explored the necessity and content of information processing and analysis technology in hyperconnection, hyperintelligence, and hyperconvergence under the theme of various majors in IT, focusing on understanding information technology in the software and hardware curriculum. Second, the curriculum improvement plan was proposed based on information literacy, computing thinking skills, and cooperative problem-solving skills for efficient software and hardware-linked curriculum operation based on information processing and analysis technology. Third, I would like to emphasize that it is essential to secure connectivity between other studies for future innovation in new technologies related to computer technology, machine technology, and infrastructure technology through hyperconnection, hyperintelligence, and hyperconvergence in the software and hardware curriculum. Through this, we intend to cultivate creative convergence talent required by the future society.

Absolute-Fair Maximal Balanced Cliques Detection in Signed Attributed Social Network (서명된 속성 소셜 네트워크에서의 Absolute-Fair Maximal Balanced Cliques 탐색)

  • Yang, Yixuan;Peng, Sony;Park, Doo-Soon;Lee, HyeJung
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2022.05a
    • /
    • pp.9-11
    • /
    • 2022
  • Community detection is a hot topic in social network analysis, and many existing studies use graph theory analysis methods to detect communities. This paper focuses on detecting absolute fair maximal balanced cliques in signed attributed social networks, which can satisfy ensuring the fairness of complex networks and break the bottleneck of the "information cocoon".

Effects of Two Chemotherapy Regimens, Anthracycline-based and CMF, on Breast Cancer Disease Free Survival in the Eastern Mediterranean Region and Asia: A Meta-Analysis Approach for Survival Curves

  • Zare, Najaf;Ghanbari, Saeed;Salehi, Alireza
    • Asian Pacific Journal of Cancer Prevention
    • /
    • v.14 no.3
    • /
    • pp.2013-2017
    • /
    • 2013
  • Background: To compare the effects of two adjuvant chemotherapy regimens, anthracycline-based and cyclophosphamide, methotrexate, fluorourical (CMF) on disease free survival for breast cancer patients in the Eastern Mediterranean region and Asia. Methods: In a systematic review with a multivariate mixed model meta-analysis, the reported survival proportion at multiple time points in different studies were combined. Our data sources were studies linking the two chemotherapy regimens on an adjuvant basis with disease free survival published in English and Persian in the Eastern Mediterranean region and Asia. All survival curves were generated with Graphdigitizer software. Results: 14 retrospective cohort studies were located from electronic databases. We analyzed data for 1,086 patients who received anthracycline-based treatment and 1,109 given CMF treatment. For determination of survival proportions and time we usesb the transformation Ln (-Ln(S)) and Ln (time) to make precise estimations and then fit the model. All analyses were carried out with STATA software. Conclusions: Our findings showed a significant efficacy of anthracycline-based adjuvant therapy regarding disease free survival of breast cancer. As a limitation in this meta-analysis we used studies with different types of anthracycline-based regimens.

Selection Method of Software Metrics and Metric Tools using Model-Based Selection Criteria (모델 기반 선택 기준을 이용한 소프트웨어 메트릭 및 도구 선택 방법)

  • Song, Dong Hun;Seo, Yongjin;Kim, Hyeon Soo
    • KIISE Transactions on Computing Practices
    • /
    • v.24 no.1
    • /
    • pp.46-52
    • /
    • 2018
  • Software metrics as a way to evaluate software play a significant role in reducing software development costs and improving quality. However, the emergence of various software metrics creates the problem that the user must select the correct metric. Various strategies have been studied to solve this problem. However, existing studies still have difficulties in selecting metrics by requiring high user interventions. Therefore, in this paper, we propose a method that helps to select the right metric and the metric tools by using their various characteristics as selection criteria, instead of using weighted expressions to minimize user intervention.

Formalism-Based Defense Safety/Security-Critical Software Development & Certification Criteria - Application of Formal Methods to Safety/Security-Critical Software Certification Process Activities - (정형성 기반 국방 안전/보안필수 소프트웨어 개발 및 인증 기준 - 안전/보안필수 소프트웨어 인증 프로세스에 대한 정형기법 적용 방안 연구 -)

  • Kim, Chang-Jin;Choi, Jin-Young
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.10 no.1
    • /
    • pp.55-69
    • /
    • 2007
  • The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

The Understanding the Necessity Proof and Using Dynamic Geometry Software (증명의 필요성 이해와 탐구형 기하 소프트웨어 활용)

  • 류희찬;조완영
    • Journal of Educational Research in Mathematics
    • /
    • v.9 no.2
    • /
    • pp.419-438
    • /
    • 1999
  • This paper explored the impact of dynamic geometry software such as CabriII, GSP on student's understanding deductive justification, on the assumption that proof in school mathematics should be used in the broader, psychological sense of justification rather than in the narrow sense of deductive, formal proof. The following results have been drawn: Dynamic geometry provided positive impact on interacting between empirical justification and deductive justification, especially on understanding the necessity of deductive justification. And teacher in the computer environment played crucial role in reducing on difficulties in connecting empirical justification to deductive justification. At the beginning of the research, however, it was not the case. However, once students got intocul-de-sac in empirical justification and understood the need of deductive justification, they tried to justify deductively. Compared with current paper-and-pencil environment that many students fail to learn the basic knowledge on proof, dynamic geometry software will give more positive ffect for learning. Dynamic geometry software may promote interaction between empirical justification and edeductive justification and give a feedback to students about results of their own actions. At present, there is some very helpful computer software. However the presence of good dynamic geometry software can not be the solution in itself. Since learning on proof is a function of various factors such as curriculum organization, evaluation method, the role of teacher and student. Most of all, the meaning of proof need to be reconceptualized in the future research.

  • PDF

Development of an Interactive Educational Software for Fault Analysis in Power Systems (전력계통의 고장해석을 위한 대화식 교육용 소프트웨어 개발)

  • Cho, Ki-Seon;Yang, Kwang-Min;Park, Woo-Jin;Cho, Young-Hun;Park, Jong-Bae;Shin, Joong-Rin
    • Proceedings of the KIEE Conference
    • /
    • 2001.11b
    • /
    • pp.293-295
    • /
    • 2001
  • This paper describes an interactive educational software developed at Konkuk University. This software provides an educational opportunity for electrical engineering students at the junior level to expand their knowledge about fault analysis in power systems. The developed educational software has three main modules: 1) Z-building, 2) setting the type and location of the fault, 3) displaying the calculated fault currents, according to the given simulation options. The main features of this tool are the diversification of acquisition network data, the function of learning about the z-building procedures, and the dynamic display function of state vectors-all voltage/current phasor. To verity the effectiveness of the developed educational software, some case studies are performed.

  • PDF

Modeling Traceability Between Software Product Line Requirements and Architecture (소프트웨어 제품 라인의 요구사항과 아키텍처 간 추적성 모델링)

  • Eom, Seokhwan;Kang, Sungwon;Kim, Jingyu;Lee, Seonah
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.4 no.11
    • /
    • pp.487-498
    • /
    • 2015
  • Traceability enables software developers to trace up the changes occurring in software artifacts. In software product line, traceability is more complex than traceability in a single product as commonality and variability should be considered. Modeling traceability between features and requirements has been proposed in the past. However, traceability between requirements and architecture has more factors to consider, including many-to-many mappings and hierarchical structure of architectures. This paper proposes a method of systematically constructing platform traceability between platform requirements and platform architecture. This paper also shows the efficacy of the proposed mechanism through case studies.