• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2004년도 e-Biz World Conference
• /
• pp.318-326
• /
• 2004

The ebXML (Electronic Business using eXtensible Markup Language) Specification Schema is to provide nominal set of specification elements necessary to specify a collaboration between business partners based on XML. As a part of ebXML Specification Schema, BPSS (Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPSS is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification is insufficient to specify formal semantic constraints of modeling elements completely. In this study, we propose a classification schema for the BPSS semantic constraints and describe how to represent those semantic constraints formally using OCL (Object Constraint Language). As a way to verify a Business Process Specification (BPS) with the formal semantic constraint modeling, we suggest a rule-based approach to represent the formal constraints and to use the rule-based constraints specification to verify BPSs in a CLIPS prototype implementation.

• 한국측량학회지
• /
• 제22권4호
• /
• pp.375-381
• /
• 2004

본 연구는 기존의 지도 도식을 분석하여 편리한 지도제작과 쉬운 지도 특성 인식, 자동지도제작율 향상 등을 위해 연구하였다. 이를 위해 수치지도 Ver 2.0(1/5,000)을 가지고 수행하였으며, 지도제작에 필요한 정보를 수치지도 및 지형도에서 획득하고, 지도 도식은 현재의 지형도 도식규정에서 표현하는 정보를 비교 $.$분석하여 지도제작 자동화에 유리하면서 기존 지형도와 유사한 형태, 단순 $.$명료한 형태의 도식이 되도록 고안하였다. 본 연구의 지도제작 자동화처리 결과 약 7%의 자동화율이 향상되었으며, 대상물 특성에 가까운 도식을 고안하여 지도특성을 쉽게 파악할 수 있도록 하였다.

• 한국정보처리학회논문지
• /
• 제6권6호
• /
• pp.1520-1531
• /
• 1999

본 논문에서는, 객체 지향 설계 명세서를 대상으로, 안전성 검증 방법을 제안하였다. 먼저 검증의 대상으로 하는 폴트를 명확히 하기 위해, 요구 명세서와 설계 명세서사이에 발생 가능한 불일치를 분석한다. 다음, 설계audtptjdp 포함된 폴트를 발견하기 위한 새로운 설계 레뷰 방법을 제안한다. 제안한 검증 방법의 특징은 검증될 모든 요소가 대상 프로덕트의 요구 명세서, 안전성 기준, 그리고 설계 명세서에 기반을 두고 추출될 수 있다는 것이다. 이러한 정보가 표의 형식으로 작성되기 때문에, 검증 단계를 단순화 할 수 있다. 여기에서, 컴포넌트 라이브러리, 안전성 기준, 그리고 Booch의 설계 방법에 의해 작성된 설계 명세서가 주어졌다고 가정한다. 먼저, 설계 레뷰를 하는 검증자가 정확성 검증표와 안전성 검증표를 작성한다. 한편 설계자는 설계 검증표를 작성한다. 이렇게 작성된 3개의 검증표를 이용하여, 설계 단계에 포함되어 있는 폴트를 검출한다. 마지막으로 Case study를 통하여 제안한 검증방법의 유효성을 평가하였다.

• 한국콘텐츠학회논문지
• /
• 제5권5호
• /
• pp.51-58
• /
• 2005

소프트웨어 개발방법이 컴포넌트기반 개발방법으로 진화하고 최근 들어 형상관리 시스템의 도입이 대두되고 있다. 본 논문은 컴포넌트기반 개발방법론에서 발전한 컴포넌트 형상관리를 다루고 컴포넌트 명세는 정규화된 문서인 XML을 기반으로 하고 있다. 컴포넌트 버전관리와 의존관리는 컴포넌트 이름으로 수행하였다. 컴포넌트 의존정보는 컴포넌트 명세가 합성될 때 합성에 사용된 컴포넌트 이름을 사용하여 이를 반영하고 의존정보로 사용하여 명세서를 통한 버전관리와 의존관리의 가능을 확인하였다.

• 한국군사과학기술학회지
• /
• 제19권5호
• /
• pp.662-668
• /
• 2016

Defense specification suitability review task means to examine whether to need enactment, amendment or abolition of defense specification, and realistic and efficient review environment are urgently needed by improving system. For the promotion of efficient tasks, the cycle of defense specification suitability review needs to be changed to 5 years for active specifications and 10 years for inactive specifications. To simplify the standards of defense specification suitability review, the distinction between prior management items and general management items should be abolished and the number of review items need to be reduced from ten to three. Also, in order to promote substantial defense specification suitability review, a system improvement is needed to utilize retired professionals from defense acquisition related agencies.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2013년도 춘계 학술논문 발표대회
• /
• pp.292-294
• /
• 2013

When the number of skyscrapers are increased in the domestic, it has increased the need of the outer wall cleaning robot. However, it does not exist the construction specification of the outer wall cleaning robot in the domestic. it is difficult to apply in the domestic that the outer wall cleaning robot. For this reason, it raised the need of the construction specification. And it is urgent that the construction specification of the outer wall cleaning robot is needed to develop in the domestic. Therefore, this study aims to propose the construction specification framework of the outer wall cleaning robot. In the future, this study will be based on the development of the construction specification on the outer wall cleaning robot.

• Journal of Electrical Engineering and Technology
• /
• 제4권1호
• /
• pp.87-92
• /
• 2009

Many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier errors of overlooked requirement specification can be detected using the formal specification method. Also, the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we proposed an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM', formal method tools using Statechart. Also we applied the proposed method to train control systems for the formal requirement specification and analyzed the specification results.

• International Journal of Quality Innovation
• /
• 제7권1호
• /
• pp.35-47
• /
• 2006

Client-supplier collaboration has been an imperative approach to new product development (NPD), in which a good product specification management system and practice is crucial to the assurance of product quality. This study investigates product specification management in client-supplier collaborative NPD. Based on the interviews and survey study, 12 problems and 13 good practices of product specification management are identified. It also compares the importance and degree of the implementation of the product specification practices in Hong Kong electronics industry. The results suggest that more intensive practices should be implemented for better product specification management.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 하계종합학술대회 논문집(2)
• /
• pp.173-176
• /
• 2000

Silicon semiconductor technology agree that the number of transistors on a chip will keep growing exponentially, and it is pushing technology toward the System-On-Chip. In SoC Design, Specification at system level is key of success. Executable Specification reduce verification time. This Paper describe the design of IMDCT for MPEG Audio Decoder employing system-level design methodology and Executable Specification Methodology in the VHDL simulator with FLI environment.

• 충청수학회지
• /
• 제28권1호
• /
• pp.103-108
• /
• 2015

In this paper we prove that $C^1$-generically, if a diffeomorphism f on a closed $C^{\infty}$ manifold M satisfies weak specification on a locally maximal set ${\Lambda}{\subset}M$ then ${\Lambda}$ is hyperbolic for f. As a corollary we obtain that $C^1$-generically, every diffeomorphism with weak specification is Anosov.