• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.1
• /
• pp.449-459
• /
• 2014

The proposed 2+1 view integrated metamodel defined formerly with a graphical class model can not be guaranteed the syntactic clarity and accuracy precisely for the metamodel due to the informal specification. This paper specifies the syntactic semantics formally for the 2+1 view integrated metamodel using Z and Object-Z and checks the accuracy of the metamodel with Z/Eves tool. The formal specification is expressed in Z and Object-Z schema separately for syntax and statics semantics of the 2+1 view integrated metamodel, which applying the converting rule between class model and Z/Object-Z. The accuracy of the Z specification for the metamodel is verified using Z/Eves tool, which can check the syntax, type, and domain of the Z specification. The transformation specification and checking of the 2+1 view integrated metamodel can help establish more accurate the syntactic semantics of its construct and check the accuracy of the metamodel.

• Journal of the Korea Furniture Society
• /
• v.26 no.4
• /
• pp.301-313
• /
• 2015

This study purposes on continuing experimental research of furniture form creation focused on the importance and necessity for a-formal concept for designers to drift away from general acknowledgement and practice routine to design more radical forms for meeting various needs of late industrialized society, which have not been satisfied with formal and universal designs. This study covers presenting new points of view on research for designers to look for different solutions to widen their consideration in the process of furniture form development and to set up academic data base with the case studies of designers in anti-construction concept to define their experimental challenges for new design form creation, on the basis of overall research on the effects and roles of a-formal approach in the furniture design form creation.

• Journal of the Korean Institute of Rural Architecture
• /
• v.8 no.1
• /
• pp.62-69
• /
• 2006

This study is based on the ecological design method related with the Building Landscape in Coastal Area, basically Building Landscape design theories are affected the visual distance and visual area. The results derived of this study are as follows. First, We established design method of Building Landscape in Coastal Area in consideration of Ecological Environment that is purposed by means of the Normative theory study analysis and contents analysis related with Landscape and Architecture planning theory. Second, We can define 'Micro Landscape', 'Urban Landscape', and 'Wide Landscape'. 'Micro Landscape' are 'Near view'. 'Urban Landscape' are related 'Middle-distance view' and 'Long-distance view'. 'Wide Landscape' are related 'High & Long-distance view'. Third, We can also define 'Ecological Mode', 'Formal Aesthetic Mode', 'Psychological Mode', and 'Semiotical Mode' by the dimensions of macro scale. finally, we define 48 detailed factors types of 3 visual Area of Building Landscape in Coastal Area by the dimensions of micro scale.

• Korean Journal of Logic
• /
• v.12 no.2
• /
• pp.171-199
• /
• 2009

This essay will consider evolutionary views that attempt to capture the continuity of theory-change from Newtonian to Einsteinian physics via the formal aspects of these theories. Although it cannot be denied that the formal aspects such as 'correspondence principles' and 'covariance principles' provide important information concerning this theory-change, these formal properties are not sufficient to capture the essential elements of any evolutionary account of the development of Einstein's special and general theories of relativity from Newtonian mechanics.

• The Mathematical Education
• /
• v.47 no.3
• /
• pp.373-386
• /
• 2008

In highschool probability education, this study analyzed conflicts between intuitive concept and formal definition which originates from the process of establishing the concept of statistical independence. In judging independence, completely different types of problems requiring their own approach was analyzed by dividing them into two types. By doing so, this study researched a way to view independence as an overall idea. That is purposed to suggest a solution to a conflicts between intuitive concept and formal definition and to help not to judge independence out of wrong intuition. This study also suggests that calculation process which leads to precise perception of sample space and event be provided when we prove independence by expressing events with assembly symbols.

• Journal for History of Mathematics
• /
• v.28 no.4
• /
• pp.191-204
• /
• 2015

The reason of the confusion of learners about the logic concepts such as implication, necessary condition and sufficient condition can be analyzed from the point of view of history of logic, discrepancy between ordinary language and formal logic, and reification which occurs in the process of cognition of discursive object and also indicates the necessity of a research. This study analysed the difficulties related to study and implication concept and attempted to the reflection of textbook and curriculum. Not that ordinary language makes the introduction of formal language easier, but that this study discussed the possibilities ordinary language intervenes the learning of formal language. This study additionally intended to understand learning difficulties of concrete subjects, abstract subjects and the gap between primary object and discursive object by understanding the process of sagging, encapsulating and reifying.

• Journal of Construction Engineering and Project Management
• /
• v.3 no.1
• /
• pp.22-27
• /
• 2013

Inter-organizational Relationships (IORs) governance is one of the emerging research areas that have been studied in different contexts (e.g. economics, strategy, organization, and management). This view, particularly, attracted rising attention from academics and practitioners in the context of construction projects, due to the complex forms of IORs in terms of inter-firm exchanges (e.g. engineering, procurement, finance, construction, and operation) in these projects. The focus of IORs governance is to control Inter-organizational relationships among two or more cooperative parties to alleviate conflict and achieve mutual gains. One of the mechanisms that have been identified in the related literature is formal governance mechanism. Although many empirical studies have been conducted using formal governance terms and indicators, there isn't yet a consensual definition of this mechanism and its components that may cause misinterpretation of research results and also impede future research. This paper makes contribution to the concept of IORs governance by clarifying the meaning of formal governance mechanism and identifying different indicators of this mechanism that have been used and identified in previous studies. This provides an innovative and useful framework to understand formal governance mechanism and its application in construction projects.

• International conference on construction engineering and project management
• /
• 2013.01a
• /
• pp.321-327
• /
• 2013

Inter-organizational Relationships (IORs) governance is one of the emerging research areas that have been studied in different contexts (e.g. economics, strategy, organization, and management). This view, particularly, attracted rising attention from academics and practitioners in the context of construction projects, due to the complex forms of IORs in terms of inter-firm exchanges (e.g. engineering, procurement, finance, construction, and operation) in these projects. The focus of IORs governance is to control Inter-organizational relationships among two or more cooperative parties to alleviate conflict and achieve mutual gains. One of the mechanisms that have been identified in the related literature is formal governance mechanism. Although many empirical studies have been conducted using formal governance terms and indicators, there isn't yet a consensual definition of this mechanism and its components that may cause misinterpretation of research results and also impede future research. This paper makes contribution to the concept of IORs governance by clarifying the meaning of formal governance mechanism and identifying different indicators of this mechanism that have been used and identified in previous studies. This provides an innovative and useful framework to understand formal governance mechanism and its application in construction projects.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1996.11a
• /
• pp.450-455
• /
• 1996

Emotional intelligence is investigated in terms of a composing machine as a modern abstract art form. Music has the longest tradition of being an art form which has an explicit formal foundation. Formal aspects of traditional and modern music theory are explained in terms of simple numerical relationship and illustrated with examples. The exploration of art in the view of intelligence, information and structure will restore the balanced sense of art and science which seeks happiness in life.

• Journal for History of Mathematics
• /
• v.21 no.2
• /
• pp.55-70
• /
• 2008

This study is about the Data which is one of Euclid's writing. It dealt with the organization of contents, formal system and mathematical meaning. First, we investigated the organization of contents of the Data. Second, on the basis of this investigation, we analyzed the formal system of the Data. It contains the analysis of described method of definition, proposition, proof and the meaning of 'given'. Third, we explored the mathematical meaning of the Data which can be classified as algebraic point of view, geometric point of view and the opposite point of view to 'The Elements'.