• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.14 no.1
• /
• pp.194-198
• /
• 2013

A total of 193 children between three and six years of age were given tests by using the PRES, REVT, KOSECT, and APAC. A specificity between referred and non-referred cases was not high. In the current study, the sensitivity of formal tests was insufficient. But combining of parental report with formal language tests could provide good criteria for identifying language impairment. The CCC-2 may provide an effective means to identify language difficulties using a standardized approach.

• KIPS Transactions on Computer and Communication Systems
• /
• v.10 no.6
• /
• pp.163-172
• /
• 2021

To specify a formal semantics for a programming language is to do a significant part for design, standardization and translation of it. The Python is popular and powerful, it is necessary to do research for a formal semantics to specify a static and dynamic semantics for Python clearly in order to design a similar language and do an efficient translation. This paper presents the Action Equation 2.0 that specifies a formal semantics for Python to change and update Action Equation. To measure the execution time for Python programs, we implemented the semantic structure specified in Action Equation 2.0 in Java, and prove through simulation that Action Equation 2.0 is a real semantic structure that can be implemented. The specified Action Equation 2.0 is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation 2.0 is superior to other formal semantics.

• English Language & Literature Teaching
• /
• no.5
• /
• pp.49-62
• /
• 1999

Education systems throughout the world encourage their students to learn languages other than their native one. In Australia, our Education Boards provide students with the opportunity to learn European and Asian languages. French, German, Chinese and Japanese are the most popular languages studied in elementary and high schools. This choice is a reflection of Australias European heritage and its geographical position near Asia. In most non-English speaking countries, English is the foreign language most readily available to students. In Korea, the English language is actively promoted by the Education Department and, in less official ways, by companies and the public. It is impossible to be anywhere in Korea without seeing the English language alongside or intermingled with Korean. When I ask students why they are learning English, I receive answers that include the word globalization and the importance of English throughout the world. When I press further and ask why they personally are learning English, the students mention passing exams, usually high school tests or TOEIC, and the necessity of passing the latter to obtain a good job. Seldom do I ever hear anything about communication: about the desire to talk with other people in English, to read novels or poetry in English, to understand movies or pop-songs in English, to chat on the Internet in English, to search for information on the Internet in English, or to email pen-pals in English. Yet isnt communication the only valid reason for learning a language? We learn our native language to communicate with those around us. Shouldnt we set the same goal for learning a foreign language? In my opinion communication, whether it is reading and writing or speaking and listening, must be central to language learning. Learning a language to pass examinations is meaningless unless those examinations are a reliable indicator of the ability of the student to communicate. In previous eras, most communication in a foreign language was through reading novels or formal letters. This required a thorough knowledge of grammar and a large vocabulary. Todays communication is much less formal. Telephone conversations, tele-conferences, faxes and emails allow people to communicate regularly and informally. Reading materials are also less formal as popular novels and newspapers are available world-wide. Movies and popular songs have added to the range of informal communication available. Finally travel has ensured that people from different cultures will meet easily and regularly. This informal communication requires less emphasis on grammar and vocabulary and more emphasis on comprehension and confidence to speak. Placing communication central to language learning has important implications for the Education system and for teachers.

• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.677-696
• /
• 2004

Component-based software engineering (CBSE) composes reusable components and develops applications with the components. CBSE is admitted to be a new paradigm that reduces the costs and times to develop software systems. The high quality of component designs can be assured if the consistency and correctness among the elements of a component are verified with formal specifications. Current formal languages for components include only some parts of contracts between interfaces, structural aspects and behavioral aspects of component, component-based system, component composition and variability. Therefore, it is not adequate to use current formal languages in all steps of a component design process. In this paper, we suggest a formal language to specify component designs Component-Z. Component-Z extends Object-Z, adds new notations to specify components. It can be possible to specify interfaces, the inner structure of a component, inner workflows, and workflows among interfaces with Component-Z. In addition, Component-Z provides the notations and semantics to specify variability with variation points, variants and required interfaces. The relation between interfaces and components is defined with mapping schemas. Parallel operator is used to specify component composition. It can be possible to describe deployed components with the specifications of component-based systems. Therefore, the formal specification language proposed in this paper can represent all elements to design components. In the case study, we specify an account management system in a bank so that we show that Component-Z can be used in all steps of component design.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2002.02a
• /
• pp.237-248
• /
• 2002

This paper investigates the internal structure of finite small clauses (FSC). I will propose that a FSC is base-generated at Spec-CP and a null operator is involved to check the formal features of the embedded T and turn a sentence into a predicate.

• Journal of Computing Science and Engineering
• /
• v.3 no.3
• /
• pp.143-164
• /
• 2009

This article surveys recent research in the area of language modeling (sometimes called statistical language modeling) approaches to information retrieval. Language modeling is a formal probabilistic retrieval framework with roots in speech recognition and natural language processing. The underlying assumption of language modeling is that human language generation is a random process; the goal is to model that process via a generative statistical model. In this article, we discuss current research in the application of language modeling to information retrieval, the role of semantics in the language modeling framework, cluster-based language models, use of language modeling for XML retrieval and future trends.

• Journal of KIISE
• /
• v.42 no.7
• /
• pp.823-833
• /
• 2015

Hybrid system is a dynamic system that is composed of both a continuous and discrete system, suitable for automobile, avionic and defense systems. Various modeling languages and their supporting tools have been proposed and used in the hybrid system. The languages and tools have specific characteristics for their purpose. Electronics and Telecommunications Research Institute (ETRI) proposed a hybrid system modeling language, ECML (ETRI CPS Modeling Language). ECML extends DEV&DESS (Differential Event and Differential Equation Specified System) formalism with consideration of CPS (Cyber-Physical System), which supports modeling and simulation. In this paper, we introduce ECML and suggest a formal definition. The case study specifies a simple vehicle model using the suggested formal definition.

• Research in Mathematical Education
• /
• v.14 no.3
• /
• pp.233-247
• /
• 2010

The article deals with the perceptions of Mathematics as a language of pre-service teachers of Mathematics in a College of Education in Israel. The formal language of studying in the College of Education is Hebrew. The goals of the study were to examine the perceptions of pre-service teachers on the following issues: the language components involved in learning Mathematics, the basic cognitive skills required for learning Mathematics, and the perception of Mathematics as a language (PML). Findings indicated that due to new attitudes in mathematical training, pre-service teachers of Mathematics perceived Mathematics as a language regarding all language components.

• Journal of English Language & Literature
• /
• v.54 no.1
• /
• pp.3-29
• /
• 2008

Ian Watt, author of The Rise of the Novel, maintained that the novel originated in modern England, came from prose discourses such as the news, political essays and journalistic writing which propagated the Enlightenment, and the novels represent formal realism. The main point of this paper is to examine Watt's theory of the rise of the novel on the basis of the criticism of antinomy of the Enlightenment and "the public sphere" in Habermas' terms. At first, I will criticize formal realism, which is not a new literary species, but a formally renovated realistic form that represented capitalism and protestantism. And, then, I will show that formal realism is a kind of antinomy because it turned away from the voices and reality of the low-class and women though the novel concentrated on common people, not the aristocrats. Secondly, I will inquire into the antinomy of the Enlightenment in the aspects of reason, freedom, individualism and women. In my view, as soon as the high-middle class acquired their political rights, these values were no more encouraged and the result revealed antinomy of the Enlightenment more explicitly. Thirdly, I'd argue that "the public sphere" had positive meanings to everyone when the bourgeosie were fighting against the Absolutism and the aristocracy. I'll also insist that the high-middle class and the intellectuals were in "the public sphere" in which Habermas argues that rationality and equality were thought to have been realized, while the low-middle class and most women were de-enlightened and disciplined by reading the novel privately. In conclusion, formal realism is not the rise of the novel, but the opening of the novel peculiar to bourgeosie parliamentarism from the middle-eighteenth century to the middle-twentieth century.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.358-362
• /
• 2004

Verification and testing are complementary techniques that are used to increase the level of confidence in the correct functioning of communication systems as prescribed by their specifications. This paper presents an experience of model checking for a formal railway signaling protocol specified in LTS (Labeled Transition System). This formal approach checks deadlock, livelock and reachability for the state and action to verify whether properties expressed in modal logic are true on specifications. We also propose a formal method for semi-automated test case generation for a railway signaling protocol described in I/O FSM (Input/Output Finite State Machine). This enables the generation of more complete and consistent test sequence for conformance testing. The above functions are implemented by C++ language and included within RSPVTE (Railway Signaling Protocol Verification and Testing Environment).