• The Transactions of the Korea Information Processing Society
• /
• v.6 no.12
• /
• pp.3500-3513
• /
• 1999

It is recognized that object-oriented methods and formal methods are two different main streams that will influence on the future direction of software engineering. A merging effort on these two technologies, named "a formal approach on system specifications using object-oriented methods" emerges rapidly and produces remarkable research results LOTOS is well-suited to an object-based approach. However, to provide a full object-oriented approach, we need to model generalization (i.e. inheritance and polymorphism). Most authors who have examined this topic have proposed extensions to LOTOS. As an extension of such an effort, this paper proposes a method that generates LOTOS specification from static structure diagrams in UML.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.513-515
• /
• 1999

웹은 소규모 정보에서 대규모 서비스에 이르기까지 광범위한 영역을 가지고 다양한 서버와 분산된 작업흐름 시스템에 대한 전역적인 환경으로 발전되어 오고 있다. 웹을 기반으로 하는 애플리케이션은 플랫폼에 관계 없이 접근가능한 브라우저와 표준화된 문서환경을 제공하며, 최소의 비용으로 단시간에 개발과 유지보수가 용이하다. 이러한 장점은 구조적인 변화와 웹 기반 구현기술의 발전을 가져왔지만 대부분의 웹 애플리케이션의 생성은 체계적인 프로세스없이 개발자의 지식과 경험에 의존하여 임시적으로 개발되어 왔다. 따라서, 고수준의 추상화를 제공하지 않는 저수준 기술에 기반한 애플리케이션 개발을 개선하고 웹을 기반으로한 애플리케이션 구축에 적용가능한 컴퍼넌트기반 개발 프로세스를 제안한다. 또한, 웹 애플리케이션에 적용 가능한 컴퍼넌트를 개발하기 위해서 분석, 설계 모델링 방법으로 네비게이션 다이아그램을 사용한다. 이는 모델링을 위한 고수준의 추상화 정의를 가능하게 함으로써 역으로의 개발을 통한 유지보수가 가능하며 구현기술의 재사용성을 기대할 수 있다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.47 no.10
• /
• pp.695-704
• /
• 2019

In hypersonic regime, the complicated interaction between the air and surface of aircraft results in intensive aerodynamic heating on body. Provided this phenomenon occurs on a hypersonic vehicle, the temperature of the body extremely increases. And consequently, thermal deformation is produced and material properties are degraded. Furthermore, those affect both the aerothermoelastic stability and thermal safety of structures significantly. With the background, thermal safety and dynamic stability are studied according to the altitude, flight time and Mach number. Based on the investigation, design guideline is suggested to guarantees the structural integrity of hypersonic vehicles in terms of both of thermal safety and dynamic stability.