• The Transactions of the Korea Information Processing Society
• /
• v.6 no.6
• /
• pp.1520-1531
• /
• 1999

In this paper, we present a first step for developing a method of verifying both safety and correctness of object-oriented design specification. As first, we analyze the discrepancies, which can occur between requirements specification and design specification, to make clear target faults. Then, we propose a new design verification method which aims at detecting faults in the design specification. The key idea of the proposed framework is that all elements to be verified can be extracted based on the requirements specification, safety standards, and design specification given for the target product These elements are expressed using three kinds of tables for verification, and thus, the verification steps can be greatly simplified. Here, we assume that component library, standards for safety and design specification obtained from the Booch's object-oriented design method are given. At the beginning, the designers construct a design table based on a design specification, and the verifiers construct a correctness table and a safety table from component library and standards for safety Then, by comparing the items on three tables, the verifiers verification a given design specification and detect faults in it. Finally, using an example of object-oriented design specification, we show that faults concerning safety or correctness can be detected by the new design verification method.

• IE interfaces
• /
• v.7 no.2
• /
• pp.25-30
• /
• 1994

ISO 9000 is a series of several standards(ISO 8402, 9000, 9001, 9002, 9003, 9004,...). ISO 9000 is a standard explaining fundamental concepts, defining important terms, and providing guidance for selecting among the other standards. ISO 9001, the most comprehensive standard to ensure quality in design, development, production, installation, and servicing. ISO 9002 is used to assure conformance to specification, installation and servicing. ISO 9003 has the least requirement among three standards and applies to inspection and final testing. ISO 9004 is a standard developed for internal use only and not applicabe to contractual arrangements. In this paper, quality system requirements for ISO 9000 series are also specified.

• The Journal of the Korea Contents Association
• /
• v.5 no.2
• /
• pp.213-219
• /
• 2005

The specifications which are drawn up when developing a software cannot achieve continuous automation because of individual qualities of them, and many inconsistent elements can be discovered even from software audit. In this paper, we establish the standards for the classification of inconsistent items by analysing audit related data in order to maintain the consistency among specifications drawn up in the phases of analysis and design. We propose the specification inconsistent item detection method. This can reduce the error of the specification which is drawn up from analysis and design phase with it will be able to improve the quality of the software which is a last product. It can improve the quality of the software which is a last product, by reducing the error of the specification which is drawn up from analysis and design phase.

• Journal of Fashion Business
• /
• v.18 no.5
• /
• pp.144-158
• /
• 2014

National Competency Standards(NCS) is to systemize the competency that is necessary for performing duties in industrial fields and to utilize synthetically duty, vocational education training, and qualification at the national level. The purpose of this study is to analyze the process of NCS development and verification, which systemizes competency units and competency unit elements through the analysis of duty in pattern field. It is to cultivate competent people to be able to promote the development of pattern industry ultimately through being a complementary to educational circles and industry then to give them practical knowledge that is demanded in the field. Furthermore, it is to be utilized as a fundamental data for reforming the system of duty competency evaluation so as to manage personnel career systematically and to improve their competency. Focus Group Interview(FGI) was adapted as the method of this study, which was proceeded 3 times, and validity of the drawn result is verified through expert questionnaire survey. Research result, which is competency units, is 10 as follows; Fit trend analysis, Analysis of sample garment Specification sheet, Pattern making for sample garment, Pattern making for manufacturing garment, Creation of sewing specification, Instruction of manufacturing technique, Sample garment Inspection for quality control, Grading, Calculation of the required material quantities, Quality control.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2010.05a
• /
• pp.29-31
• /
• 2010

This study investigated the typical standards of B kind of standard specification related to home and abroad forms design and compared them, and the results can be summarized as follows. In case of domestic standards, regulations on most forms design was described relatively in detail. and in case of CTEA among them, it included detailed contents of load conditions, lifting and subsidence. In case of abroad standards, the design regulations are only simply mentioned, not in detail, in ACI, CEB-FIP and BS, and JCI and JASS were similar to domestic KCI and KASS regulations. As to structural calculation in forms design regulations, most of domestic regulations included detailed matters on structural calculation, among them, CTEA shows the most detailed matters on it. On the other hand, it could be known that in case of abroad standards, most standards do not include matters on structural calculation except ACI, JCI and JASS.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.23 no.6
• /
• pp.652-660
• /
• 2017

Recently, the number of tourists using cruise ships in Korea is increasing. and an big cruise ship with an gross tonnage of 160,000 tons or more has entered the domestic ports. Therefore, the government has been making a lot of efforts to confirm the cruise infrastructure for revitalization of the domestic cruise industry. However, there are no standards for cruise ship specifications and water facilities in the domestic port and fishery design standards. Currently, construction of dedicated cruise facilities is under way in major domestic ports. However, due to lack of specifications and domestic standards for cruise ships, it is difficult to design and license special facilities. Therefore, in this study, PIANC rule and domestic harbor and designing standard of fishing port were compared and analyzed in order to present the standard specification of cruise ships. And analyzed the representative linearity of cruises currently being operated. As a result of the ship characteristics analysis, There was a difference in coastal passenger ship in specifications and ship maneuverability. Therefore, in order to design facilities dedicated to cruising, the specifications of the target ship must be included in the domestic design standard. In addition, in order to calculate the scope of the target ship, I applied the coverage rate of 75% to the average specification value of the cruise ship and presented the standards of the cruise ship and the standard of the water area facilities.

• Advances in Computational Design
• /
• v.3 no.1
• /
• pp.71-86
• /
• 2018

Thin-walled cross-sections can be optimized to enhance their resistance and progress their behaviour, leading to more competent and inexpensive structural system. The aim of this study is to afford a methodology that would facilitate progress of optimized cold formed steel (CFS) column section with maximum ultimate strength for practical applications. The proposed sections are designed to comply with the geometrical standards of pre-qualified column standards for CFS structures as well as with the number of industrialized and practical constraints. The stiffening evaluation process of CFS lipped channel columns, a five different cross section are considered. The experimental strength and behaviour of the proposed sections are verified by using the finite element analysis (FEA). A series comprehensive parametric study is carried out covering a wide range of section slenderness and overall slenderness ratio of the CFS column with and without intermediate web stiffeners. The ultimate strength of the sections is determined based on the Direct Strength Specification and other design equation available from the literature for CFS structures. A modified design method is proposed for the DSM specification. The results indicate that the CFS column with complex edge and intermediate web stiffeners provides an ultimate strength which is up to 78% higher than standard optimized shapes with the same amount of cross sectional area.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.45 no.6
• /
• pp.923-934
• /
• 2021

Most apparel products have national standards for sizing; however, for gloves, national sizing standards have not yet been established. This study aims to analyze children's hand dimensions and propose a size specification for children's gloves that shows children's hand-related size information. Among the 3D measurements of sixth Size Korea Project, the measurement data of 19 dimensions related to the hands of 1,057 boys and girls aged 7-13 years old were analyzed. The distribution and growth trend of hand measurements for boys and girls demonstrated considerable mean differences and distribution trends by gender and age as per hand dimensions, which leads to the conclusion that it is necessary to show these results in the children's glove design. Based on these results, the cross-distribution maps of children's hand length and hand circumference were drafted; furthermore, the distribution relationship with an adult hand size was identified. Based on the distribution of hand sizes, the distribution of adult hand sizes overlapped with children's hand sizes was verified, and children's glove size specifications were presented. The results can be used as useful data such as measures for setting the size range and sizing system for children's gloves.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2018.11a
• /
• pp.185-186
• /
• 2018

Leakage problems in underground spaces of domestic apartments is becoming more serious and legal disputes related to leakage problem have become more commonplace. In this regard, leakage problem is not only a problem in construction, but is also a concern from a societal aspect. In this paper, we propose the details of a below-grade waterproofing design and specification standards of specific areas and sections of residential apartment buildings, and propose that a detailed examination of positive-side waterproofing methods is required.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.33A no.3
• /
• pp.28-37
• /
• 1996

Syntax notation one (ASN.1) defined by ITU-T and ISO, is a formal abstrct specification language which has been widely used in international standards specifiation to inteconnect distributed open systems. It si necessary to have well defined encoder/decoder modules which taranslate ASN.1 datum to BER octets stream to interconnect distributed open systems. In this paper, we designed and implemented a new ASN.1-to-C compiler, called HYASNC (hanyang ASN.1-to-C), which atutomatically translates and ASN.1-to-C compiler, called HYASNC (hanyang ASN.1-to-C), which automatically translates an ASN.1 specification into C-language BER encoders and decoders with simple and neat I/F for the defined ASN.1 data types, and enhanced BER (basic encoding rules)encoding/decoding libraries, called HY(hanyang)BER library, and useful utility functions. And this paper discusses HYASNC compiler, HY BER runtime library's design and implementation principles, and also evaluates the perfomrance of HY BER library and the interoperability with other ASN.1 compilers.