• Journal of Internet Computing and Services
• /
• v.5 no.6
• /
• pp.67-77
• /
• 2004

In this paper, we implement the multimedia dynamic authoring system based on causality model. we define two specifications which support user to specify intuitively and naturally what he/she wants, The temporal specification describes causal-based temporal relationships between presentation objects, and the spatial specification describes relative layout structure among objects on the screen. Using the specifications, the system processes for multimedia documentation are one-dimensional string list, relational trees, such as temporal. spatial, and annotated composition tree generation phases.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2013.05a
• /
• pp.1123-1124
• /
• 2013

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.31 no.2
• /
• pp.103-107
• /
• 2003

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.04a
• /
• pp.503-503
• /
• 1995

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• autumn
• /
• pp.511-514
• /
• 2002

Nowadays, domestic construction companies make an effort to share knowledge and experience accumulated while conducting a project. One way of improving knowledge sharing is to develop specifications which are linked to the expert's knowledge and experience based on the specification classification. Therefore, the purpose of this paper is to review the current domestic specification system and develop the specification linked to the construction lessons learned database. It is expected that the proposed specification system will support the decision making process by effectively providing the knowledge and solution.

• Journal of KIISE:Software and Applications
• /
• v.34 no.9
• /
• pp.773-784
• /
• 2007

Aspect-Oriented Programming (AOP) has focused on improving the modularity of the crosscutting concerns. The existing AOP methodology has been mainly focused on the implementation method of programs and thus developer-oriented concern extraction and development were performed. Recently, many studies for applying AOP to the entire software development processes ranging from requirement analysis to design and implementation are being conducted. But specification methods having consistency from the initial phase of concern extraction to implementation phase are not sufficient. In this paper, we have presented the specification of crosscutting concerns so as to solve these problems. The specification of crosscutting concerns provides guidelines and specification from the requirement analysis phase to the process of converting extracted crosscutting concerns to codes. This method reduces the gap to the process of mapping extracted crosscutting concerns into a single class and thus enhances program development and understandability. In addition, it raises program reusability, maintenance and extensibility by enhancing traceability.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.1
• /
• pp.123-136
• /
• 2013

The Feature model can not be guaranteed the syntactic accuracy of its model and be difficult the validation using automatic tool for its syntax, because this model is expressed by a graphical and informal structure in itself. Therefore, there is a need to formalize and check for the feature model, to precisely define syntax for construct of the model. This paper presents a Z formal specification and a model checking mechanism of the feature model to guarantee the correctness of the model. It first defines the translation rules between feature model and Z, and then converts the syntax of the feature model into the Z schema specification by applying these rules. Finally, the Z schema specification is checked syntax, type, and domain errors using the Z/Eves validation tool to assure the correctness of its specification, With the use of the proposed method, we may express more precisely the construct of the feature model. Moreover the domain analyst are able to usefully verify the errors of the generated feature model.

• Korean Journal of Construction Engineering and Management
• /
• v.20 no.3
• /
• pp.12-21
• /
• 2019

Specification is an important document for securing safe construction and improving quality as well as the contract document. Currently, the specifications used in modular buildings in Korea are only the construction specification, and most of the contents are used by borrowing the standard specifications of the building, so the contents of the modular buildings can not be reflected and it is contents are similar to the guideline book. The current status of domestic specification for modular buildings is affecting the quality of modular buildings. Therefore, we analyze activity through monitoring the modular process of modular buildings and analyze systematically relationship by applying IDEF modeling with analyzed activity. As result this paper proposes a structure of special specification specialized in modular building through generalization. The major classifications were divided into three stages : factory construction, transportation, and on-site installation. The specification structure was divided into 32 types of construction items from the floor slab assembly of the factory production to the joint finish of the on site installation in accordance with the opinion of experts.

• Proceedings of the Korean Society of Tribologists and Lubrication Engineers Conference
• /
• 1999.06a
• /
• pp.359-365
• /
• 1999

We have evaluated the performance and some physical properties of 25 automotive engine oils (21 domestic and 5 imported products) which are purchased on the market to verify the API(American Petroleum Institute) or ILSAC(International Lubricant Standardization and Approval Committee) certification marks attached on the products and to determine the necessity of the quality control of the engine oils on the market. 12 test items are chosen according to API engine oil specification, which are flash point, pour point, cold cranking simulator apparent viscosity, pumping viscosity, gelation index, HTHS(High Temperature High Shear viscosity), foam, high temperature foam, filterability, volatility, high temperature deposit(TEOST), phosphorus content. We have found one product which did not meet the API specification on gelation index, one on HTHS, four on foam, and one on volatility, which implies that the quality control system is in need to check the fidelity of the certification marks attached on the engine oils being marketed. In addition, this works raises the necessity of the upgrade of the present Korean engine oil specification.

• Journal of the Korean Society of Safety
• /
• v.30 no.6
• /
• pp.102-109
• /
• 2015

In this study, on the basis of the results of the field survey and the theoretical consideration for Korean Standard Specification for concrete durability and maintenance, the following conclusions are derived. From the survey, the prediction equation of carbonation depth for the southwest region in Korea is experimentally proposed, $y_p=5.865{\sqrt{t}}$, which predicts about 60mm of the carbonation depth for the concrete structures of 100 years, a 1st class of target endurance period, under a combined deterioration environment like a marine environment. Considering that the marginal value for a carbonation depth limitation under very severely marine environment is 25mm, in accordance with the Specification, it is found that the predicting carbonation depth for the concrete cover depths, 100mm and 60mm are 63mm and 29.4mm, respectively. In conclusion, according to the equation and the Specification, it is strongly required that the reinforced concrete structures with the cover depth under 100mm have to make a protection from combined deterioration factors by any methods like a surface coating, an increment of cover depth or an application of a special concrete.