• 디지털융복합연구
• /
• 제10권1호
• /
• pp.277-291
• /
• 2012

스마트폰/스마트패드와 클라우드 컴퓨팅이 빠르게 성장하면서 N-스크린 서비스가 관심받기 시작했다. 하지만 다양한 OS/플랫폼으로 인하여 콘텐츠 개발시간과 비용이 증가하면서 N-스크린 서비스 활성화에 걸림돌이 되고 있다. 이러한 문제를 해결하기 위하여 본 연구에서는 최근 차세대 웹표준으로 예측되고 있는 HTML5 기반의 N-스크린 서비스 플랫폼 표준규격을 수립하였다. 본 연구로 수립된 표준규격은 서비스 제공자 측면에서 서비스 인프라 및 단말기에 무관하게 효율적이고 용이하게 N-스크린 서비스를 개발/제공하기 위한 표준규격을 수립하였다. 그리고, 본 연구로 수립된 표준규격은 N-스크린 서비스 시나리오 적용을 통하여 표준규격의 적정성을 검토하였다.

• 정보처리학회논문지D
• /
• 제9D권4호
• /
• pp.639-650
• /
• 2002

소프트웨어의 성공적인 개발을 위해서는 체계적이고 명확한 요구분석이 이루어져야 한다. UML에서는 유스케이스 모델링을 통해 사용자 또는 고객의 요구사항을 파악하고 업무 시스템의 범위를 결정하는 방법을 제공하고 있다. 본 논문에서는 효율적이며 정확한 유스케이스 모델링을 위한 연구의 일환으로, 요구사항 기술서로부터 정형화된 규칙을 적용해 가면서 단계적으로 유스케이스 다이어그램을 추출하는 기법을 제시하였다. 요구사항 기술서 관련규칙( $R_{A}$; Rules for Requirements Specification)을 적용하여 요구사항 기술서를 변경하고, 변경된 요구사항 기술서에 액터 추출 규칙( $R_{A}$ ; Rules for Actors), 유스케이스 추출 규칙( $R_{U}$ ; Rules for Use Cases), 관계 추출 규칙( $R_{R}$ ; Rules for Relationships)을 각각 적용하여 액터, 유스케이스, 관계를 추출하여 최종적으로 유스케이스 다이어그램(Use Case diagram)을 작성하게 된다. 본 논문에서 제시한 규칙을 인사관리 요구사항 기술서에 적용해 본 결과, 정형화된 규칙이 없이 서술적인 몇몇 조언을 바탕으로 유스케이스 다이어그램을 추출해야하는 기존의 어려움을 줄일 수 있는 효과를 확인하였다.확인하였다.

• 한국전자거래학회지
• /
• 제7권3호
• /
• pp.21-48
• /
• 2002

ebXML is the international technical framework specification that enables Internet-based B2B electronic business using XML, It was standardized by UN/CEFACT and OASIS on May 2001. Registry and Repository is the core of ebXML. It supports registry services which is composed of object management service and object query management service. The object management service manages the object's life cycle and the object query management service provides a mechanism to approach metadata of stored objects. Up to now, implementations of ebXML Registry object query management system don't support full functions of the specification completely. We implemented all the functions of ebXML Registry Service Specification vl.0. This system supports Browse ＆ Drilldown Query, Filter Query, SQL Query, and Object Retrieval Query services. And it also supports Content-based Query service which is not specified in the ebXML RS specification. The Content-based Query service is a repository service which makes it possible In pose content based queries of repository items and which will be specified on the RS specification v2.0.

• 정보교육학회논문지
• /
• 제8권4호
• /
• pp.555-562
• /
• 2004

소프트웨어 명세는 비정형, 반 정형, 정형 기법이 존재한다. 이 중 정형 기법은 수학적인 이론을 바탕으로 명세의 모호성, 애매성, 불완전성을 제거하는데 효율적으로 사용되어 왔다. 본 논문에서는 Z 정형명세로부터 EJB의 자바 소스코드 까지의 구현 단계를 제안하였다. 또한, 사례 연구로 Stack을 명세하고 EJB 컴포넌트를 구현하는 단계를 제시하였다. 결론적으로 Z의 명세는 스키마의 분류, 인터페이스의 정의, Post-condition과 Pre-condition의 정의 단계를 거치고 정제를 통해서 EBJ의 인터페이스, 예외 클래스, 메소드 구현에 사용할 수 있음을 보였다.

• 한국지능시스템학회논문지
• /
• 제23권1호
• /
• pp.18-23
• /
• 2013

In this paper we propose an image enhancement technique based on histogram specification method over local overlapping regions referred as Local Histogram Specification. First, both reference and original images are splitted into local regions that each overlaps half of its adjacent regions and general histogram specification method is used between corresponding local regions of reference and original image. However it produces noticeable boundary effects. Linear weighted image blending method is used to reduce this effect in order to make seamless image and we also proposed new technique dealing with over-enhanced contrast areas. We satisfied with our experimental results that showed better enhancement accuracy and less noise amplifications compared to other well-known image enhancement methods. We conclude that the proposed method is well suited for motion detection systems as a responsible part to overcome sudden illumination changes.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2011년도 추계 학술논문 발표대회
• /
• pp.177-179
• /
• 2011

The difference the guide specifications of between housing and land development has been caused many problems, since Korea Land Corporation and Korea Housing Corporation were merged into LH (Land and Housing Corporation) in 2009. Those are that specification criteria to establishing lower level specifications are disordered; duplicated investment on sites; management systems are conflicted site to site, which are based on different operation system from old land and housing corporations, etc. Thus, this paper aims to suggest a direction of integrated guide specification system of LH including improved and advanced classification hierarchy and specification.

• Asia pacific journal of information systems
• /
• 제14권1호
• /
• pp.79-100
• /
• 2004

As a part of ebXML(Electronic Business using eXtensible Markup Language) framework, 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 BPS,' 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 fails to specify formal semantic constraints completely. In this study, we propose a constraint classification scheme for the BPSS specification and describe how to formally represent those semantic constraints using OCL(Object Constraint Language). As a way to validate p Business Process Specification(BPS) with the formal semantic constraints, we suggest a rule-based approach to represent the formal constraints and demonstrate its detailed mechanism for applying the rule-based constraints to the BPS with a prototype implementation.

• 대한전자공학회논문지TE
• /
• 제37권5호
• /
• pp.56-61
• /
• 2000

반도체 공정 기술의 발달은 기하 급수적인 집적도의 증가를 가져오고, 이는 한 칩에 시스템을 모두 집적시키는 시스템 온 칩(SoC : System on Chip) 설계가 가능해지고, 이에 따른 설계 방법의 변화를 요구하고 있다. Soc 설계는 시스템에서 설계 사양(Specification)의 정의가 중요한 요소가 되고 있다. 본 논문에서는 MPEG 오디오 복호기에서 사용되는 IMDCT를 시스템 수준의 실행 가능한 설계 사양(Executable Specification)에 의해 설계하였다.

• 한국컴퓨터정보학회논문지
• /
• 제8권4호
• /
• pp.21-27
• /
• 2003

본 논문에서는 정확한 분석 모델을 제시하기 위해서 객체 모델을 정의하고, 이 모델을 정형화와 표준화에 필요한 형식명세로 변환하는 방법을 제안한다. VDM 형식으로 변환된 모델은 정확성, 일관성, 완전성을 제공할 수 있다. 증명의 대상인 VDM 명세에서 오류가 발생한다면 초기 객체 모델 단계에 적용하여 객체 모델의 검증이 가능하다. 검증된 객체 모델을 설계 단계의 기반 명세로 사용하므로 추후 개발 단계의 비용과 노력을 최소화하고 객체 모델 선택의 정확성을 높일 수 있다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.1000-1007
• /
• 2007

Recently, 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 error of overlooked requirement specification can be detected using 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 the comparison of other formal specification methods, we choose the Z formal language for applying to the train control system. Using Z is able to realize higher correctness in the requirement specification, and we propose the Statemate of the best solution in formal verification tools for the system modeling and verification. The Statemate makes it possible to prove thoroughly the system execution from the simple graphical modeling of the complicated train control system. Then we can expect that the model-based formal method combining Z with Statemate will be utilized widely for the railway systems due to various strong points.