• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.250-252
• /
• 2012

안전, 보안 필수 시스템들과 같이 정확성(Correctness)와 고 무결성(High-Integrity)이 필수인 시스템 개발을 위해 오류의 근원인 결점들을 초기에 제거하고 예방하는 Correctness by Construction 개발방법론이 제시되었다. 하지만 Correctness by Construction 방법론에서 제어정보를 표현하는 액티비티가 존재 하지 않아 반응형 시스템과 같이 제어부분이 중요한 시스템에 적용하기가 쉽지 않다. 본 논문에서는 Correctness by Construction프로세스에 제어 정보을 명세, 개발하는 프로세스를 추가한 Correctness by Construction 프로세스를 제안한다. 또한 철도제어 시스템 중 거리제어모듈 개발에 적용을 하여 사례 연구를 수행한다.

• Phonetics and Speech Sciences
• /
• v.3 no.3
• /
• pp.63-68
• /
• 2011

This study investigates how Korean students employ acoustic-phonetic cues in perceiving word boundaries of near-homophonous English phrases. For this study, 60 Korean college students participated in the experiment of discriminating word boundaries for 42 pairs of stimuli comprising the allophonic cues of aspiration and glottal stop. Results were analysed in terms of the correctness of responses and the correlation between correctness and confidence. Results showed that stimuli pairs of the glottal stop cue give a higher correctness but those of aspiration a relatively lower correctness. Comparison of the results of this study with those of the previous studies of English and Japanese speakers showed that Korean and Japanese speakers of English give a substantially lower correctness than native speakers of English, while Korean learners of English as a foreign language provide a lower correctness than Japanese speakers of English as a second language.

• Management & Information Systems Review
• /
• v.4
• /
• pp.573-593
• /
• 2000

The purpose of this study is to investigate the level of correctness accounting information with the two alternative forms of presenting information outputs. Specifically two different methods of presenting accounting information, the table form and the graphical form were employed to test the level of correctness of the accounting information user's decision making. Using college students as a surrogate decision maker, this research have found that there is no statistically significant difference in the correctness of decision making between the two groups, one group using the table form of accounting information and another group using the graphical form of accounting information.

• MALSORI
• /
• no.61
• /
• pp.1-14
• /
• 2007

The purpose of this study was to analyze the relationship between segmental correctness and speech intelligibility in adults with hearing impairment. Segmental correctness was measured by percentage of correct vowels(PCV) and percentage of correct consonants(PCC). The results were shown as follows: First, PCV and PCC could predict speech intelligibility with statistical significance. Second, in consonant classes divided by place and manner of articulation, the PCC of plosives and alveolar sounds were significant predicting variables in each group ($R^{2}=50%;\;59%$). According to this study, the importance of segmental correctness on speech intelligibility of adults with hearing impairment was confirmed. Also correctness of plosive sounds in manner and alveolar sounds in place were significant factors to speech intelligibility.

• Korean Journal of Agricultural and Forest Meteorology
• /
• v.3 no.3
• /
• pp.163-170
• /
• 2001

The objective of this study was to evaluate land cover classification of PyeongTaeg area by Landsat Thematic Mapper Data June, 1997. This study was also to make more correct reference data using DGPS, aerophoto, and topographical chart etc.. The result of the area of paddy and upland were estimated 4,949 $\textrm{km}^2$ and 16,157 $\textrm{km}^2$, respectively. Correctness of estimation by using DGPS, aerophoto, topographical chart were shown over 90% correct in case of rice paddy field, water, and sea, while upland, vinyl house, forest, grassland, village were shown low correctness. Total average accuracy was shown to be 85.8%. Correctness of paddy field showed high value of 92%, showing that use of remote sensing data was proved to be effective methods to estimate spatial distribution and cultivation status of paddy field. Classification result of sea, water area, downtown had higher correctness, while upland, vinyl-house, grassland were proved to be relatively low correctness because of it's small area and mixed distribution.

• Journal of Information Technology Applications and Management
• /
• v.17 no.1
• /
• pp.83-105
• /
• 2010

The competence of enterprise for managing information is evaluated not by the amount of information but by the quality of information such as response time, data consistency, and data correctness. The degradation of data quality is usually caused by the inappropriate process of managing the structure and value of stored data. According to the recent survey on the actual condition of data quality management, the correctness and consistency of data appeared to be the most problematic area among the six criteria of data quality management such as correctness, consistency, availability, timeliness, accessibility, and security. Moreover, the problem was more serious in case of small and medium-sized companies than large enterprises. In this paper, therefore, we attempt to propose a new data quality control methodology for small and medium-sized companies that can improve the correctness and consistency of data without consuming too much time and cost. To adopt the proposed methodology to real application immediately, we provided some scripts for as-is analysis and devised automation tools for managing naming rules of vocabulary, terminology, and data code. Additionally, we performed case study on the distribution service of a small-sized company to estimate the applicability of our tool and methodology.

• Asia pacific journal of information systems
• /
• v.23 no.3
• /
• pp.105-129
• /
• 2013

This study draws important factors in electronic Word-of-Mouth (eWOM) and examines how these influence the building of customer loyalty. eWOM is viewed as social communication between customers and sellers, and thus the communicative action theory is applied. With the theory, we identify reviewer and seller as influential players on customers, and derive important factors such as correctness and veracity of reviews from the reviewers' action, and information compactness and adequacy from the seller's action. We propose these constructs as antecedents of customer loyalty and further hypothesize their curvilinear impacts as follows: the marginal impacts of veracity and correctness will decrease as veracity and correctness increase, and the marginal impacts of compactness and adequacy will increase as compactness and adequacy increase. The result indicates that only the seller's action has a curvilinear impact, whereas the reviewer has proportional positive impact on customer loyalty. This study indentifies important factors in eWOM from a critical social theory perspective and validates them using the positivistic approach. For practitioners, it discusses the important factors in eWOM with the identification of the individuals who are responsible for these factors.

• The KIPS Transactions:PartD
• /
• v.10D no.6
• /
• pp.971-982
• /
• 2003

The consistency of UML diagrams is a nature for checking whether diagrams are coherently designed with only one requirements and the correctness of UML Diagrams, especially it uses OCL(Object Constraint Language) which is standard constraint language in UML. Firstly we devise metamodels that are described with conponent and relationships, then we derive verification rules from each matamodels for verifying correctness and consistency, and then we formally specify the rules with OCL for automatic verification. Finally we verify the rules with USE TOOL.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.04a
• /
• pp.599-602
• /
• 2014

본 논문은 FBDtoVerilog 변환기의 correctness 검증을 지원하는 시나리오 생성기에 대해 소개한다. 현재 원자력 발전소의 제어기는 PLC 를 이용하여 개발되고 있지만, 최근 FPGA 를 이용한 제어기 개발의 필요성이 증가하고 있다. 우리는 이를 지원하기 위해 PLC 개발에 사용되는 언어인 FBD를 FPGA 에 사용되는 언어인 Verilog 로 자동 변환하는 변환기 FBDtoVerilog 를 개발 하였다. 하지만 원자력 발전소와 같은 안전 필수 시스템은 철저하고 엄격한 검증 과정이 필수 이기 때문에, 우리는 FBDtoVerilog 를 검증할 수 있는 Co-Simulation 환경을 구축하여 검증할 계획을 가지고 있다. Co-Simulation 환경을 위한 첫 번째 단계로 자동화된 시나리오 생성기를 개발 하였다. 개발된 시나리오 생성기는 도메인 특징을 반영한 시나리오를 생성할 수 있고, 무한한 개수의 시나리오를 자동으로 생성할 수 있는 장점을 가지고 있다.

• International Journal of Computer Science & Network Security
• /
• v.23 no.6
• /
• pp.13-16
• /
• 2023

This study aims to explore the status of e-learning in the public sector institutes of the Sukkur region in Pakistan. A survey was conducted to collect data from students and teachers regarding their awareness, access, and use of e-learning resources. The results showed that although there is a widespread use of the internet and mobile devices for accessing information, there is a lack of awareness and access to e-learning resources. Barriers to accessing e-learning content and a lack of familiarity with e-learning content development technologies were also identified. The study concludes that there is a need for improved e-learning facilities and curriculum in the public sector institutes of the Sukkur region in Pakistan. Recommendations are provided for developing a correctness-centered e-learning based curriculum that is tailored to the specific needs of the students in the region. It is hoped that the findings of this study will inform efforts to improve the teaching and learning process in the region and provide students with greater flexibility and access to study materials.