• Journal of Computing Science and Engineering
• /
• 제7권4호
• /
• pp.251-262
• /
• 2013

Bad smells are usually related to program source code, arising from bad design and programming practices. Refactoring activities are often motivated by the detection of bad smells. With the increasing adoption of Design-by-Contract (DBC) methodologies in formal software development, evidence of bad design practices can similarly be found in programs that combine actual production code with interface contracts. These contracts can be written in languages, such as the Java Modeling Language (JML), an extension to the Java syntax. This paper presents a catalog of bad smells that appear during DBC practice, considering JML as the language for specifying contracts. These smells are described over JML constructs, although several can appear in other DBC languages. The catalog contains 6 DBC smells. We evaluate the recurrence of DBC smells in two ways: first by describing a small study with graduate student projects, and second by counting occurrences of smells in contracts from the JML models application programming interface (API). This API contains classes with more than 1,600 lines in contracts. Along with the documented smells, suggestions are provided for minimizing the impact or even removing a bad smell. It is believed that initiatives towards the cataloging of bad smells are useful for establishing good design practices in DBC.

• Journal of Information Processing Systems
• /
• 제8권1호
• /
• pp.101-118
• /
• 2012

Embedded products are becoming richer in features. Simulation tools facilitate low-costs and the efficient development of embedded systems. SID is an open source simulation software that includes a library of components for modeling hardware and software components. SID components were originally written using C/C++ and Tcl/Tk. Tcl/Tk has mainly been used for GUI simulation in the SID system. However, Tcl/Tk components are hampered by low performance, and GUI development using Tcl/Tk also has poor flexibility. Therefore, it would be desirable to use a more advanced programming language, such as Java, to provide simulations of cutting-edge products with rich graphics. Here, we describe the development of the Java Bridge Module as a middleware that will enable the use of Java Components in SID. We also extended the low-level SID API to Java. In addition, we have added classes that contain default implementations of the API. These classes are intended to ensure the compatibility and simplicity of SID components in Java.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.475-477
• /
• 1998

객체 지향 기법의 확산으로 인하여 많은 객체 지향 표기법과 객체 지향 CASE(Computer Aided Software Engineering) 도구가 발표되고 있다. 특히 1995년 이후로 Booch, Rumbaugh 그리고 Jacobson에 의하여 정의되어 계속적인 정제 과정을 거치고 있는 UML(Unified Modeling Language)은 OMG(Object Management Group)에 의하여 객체 지향 표기법의 표준안으로 채택될 가능성이 높은 가장 우수한 표기법으로 지목되고 있다. 본 논문에서는 기존에 가지고 있었던 OMT(Object Modeling Technique) 지원 도구인 OODesigner의 개발 경험을 이용하여 새로히 설계 구현한 UML 지원 CASE 도구인 AOModeler의 개발 결과를 제시한다. 기존에 존재하는 대부분의 CASE 도구들은 플랫폼에 의존적인 구현 언어로 작성되어 있기 때문에 이식성이 매우 부족하였다. 따라서 도구 개발자는 PC용 도구와 Unix용 도구를 따로 개발할 수밖에 없었다. 이식성과 관련한 문제점을 해결하기 위해서 본 논문에서는 Java 언어로 AOModeler를 구현하였다. 더욱이 C++로 기존에 구현한 OODesiner의 설계 문서와 원시 코드를 재사용하는 방식으로 본 도구를 구현하였기 때문에 생산성 있는 도구 개발을 이룰 수 있었다.

• 센서학회지
• /
• 제16권3호
• /
• pp.220-228
• /
• 2007

For many applications particularly in navigation system, a three-dimensional representation improves the usability of information. This paper introduces 3D Graphical User Interface (GUI) of indoor location tracking system, 3D Navigation View. The application provides users a 3D visualization of the indoor environments they are exploring, synchronized with the physical world through spatial information obtained from indoor location tracking system. It adopts widely used Virtual Reality Modeling Language (VRML) to construct, represent, distribute and render 3D world of indoor environments over Internet. Java, an all-purpose programming language is integrated to comprehend spatial information received from indoor location tracking system. Both are connected through an interface called External Authoring Interface (EAI) provided by VRML. Via EAI, Java is given the authority to access and manipulate the 3D objects inside the 3D world that facilitates the indication of user's position and viewpoint in the constructed virtual indoor environments periodically.

• 정보학연구
• /
• 제4권1호
• /
• pp.97-108
• /
• 2001

본 논문은 VRML(Virtual Reality Modeling Language)을 제어 할 수 있는 EAI(External Authoring Interface) 기술을 이용하여, 가상세계에서 사용자의 분신인 아바타(Avatar)를 제어하기 위한 시스템의 설계 및 구현에 관한 것이다. VRML 언어로 기술된 사용자들의 아바타가 사용자의 요구에 따라 움직이거나, 표정을 표현한 수 있는 상호작용들을 자바로 구현하였다. 이는 앞으로 가상 공간상에서 아바타를 활용하여 사이버정치, 강연, 시연회, 경매와 같은 사회의 다양한 통합을 목적으로 한 웹 기반의 가상적인 사회를 구현하기 위한 연구로 발전될 수 있으리라 본다.

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

As the complexity of software development is increasing due to networking, multimedia, and diverse system architecture, the need for effective software development methodology is increasing. Especially, due to software standard and internalization of software market, it is necessary to accept international quality such as ISO 9000-3. In addition, object oriented development methodology is required due to rapid propagation of OO technology and standardization. Recently, UML was accepted by the OMG as standard object-oriented modeling language for distributed environment. When we UML was accepted by the OMG as standard object-oriented modeling language for distributed environment. When we develop Java and CORBA-based software, often UML is applied to Java and CORBA-based projects. However, current structural or OMT-based object-oriented methodologies. In this paper, we proposed UML-based development and concrete guidelines for each phase in order to apply UML to software development practically and effectively. Also, we define the transition guidelines and semantics between various development tasks. In addition, the analysis and design techniques of user interface and system development techniques needed in Web application development are presented.

• 한국정보통신학회논문지
• /
• 제6권5호
• /
• pp.661-666
• /
• 2002

인터넷의 대중화와 함께 데이터 통신서비스에 대한 수요로 데이터 통신망은 그 양과 종류가 급격하게 증가하고 있어서 통신망 운용에 따른 망구성 및 고장처리 체계의 정립이 필요하게 되었다. 기존의 다양한 유형의 데이터 통신망서비스 고장처리방법의 통합하면서 새로운 차세대 통신망서비스 고장처리방안까지 수용할 수 있도록 하는 통합 고장처리시스템의 개발이 필요하다. 본 논문에서는 모든 데이터 통신망서비스에 대한 고장시험, 고객정보관리, 시선정보관리에 관련된 시스템들과의 체계적인 연동을 통한 통합 고장처리 방안을 제시하고 UML(Unified Modeling Language)과 EJB(Enterprise Java Bean) 기술을 이용한 객체지향방법에 기반한 설계를 수행한다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2003년도 춘계학술대회 논문집
• /
• pp.1626-1629
• /
• 2003

The study is expressed on the web browser using virtual reality of developer manufacturing process and method or manufactured goods conviction for designer and developer with visualized model. This study purpose of basic feature with VRML file and Java and VRML with AWT to get WC code was presented. The study process is equal to the real thing modeling on using Pro/Engineer and exports on the VRML1.0. The condition converts VRML1.0 to VRML2.0 on the CROSS ROADS. And then Cosmo World is coding and manufacturing simulation is expressed on the Cosmo Player.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2001년도 The Seoul International Simulation Conference
• /
• pp.354-358
• /
• 2001

Cosim (Hardware and Software Co-Simulator) is a JavaBeans-based simulation tool fur validating systems architecture and estimating performance of web applications. Cosim has four components: Modeler, Translator, Engine and Scenario. Users start from Modeler to describe systems architecture in UML(Unified Modeling Language) deployment diagram, and then specify hardware & software performance parameters such as execution delay, network topology, and frame size. All information specified on Modeler are sent to Translator, and then automatically converted to Java programs. Scenario is responsible to run the Java program and produce results in text reports and graphs. Developers can reduce development time and cost by validating systems architecture of web applications before the actual deployment.

• 한국시뮬레이션학회논문지
• /
• 제8권1호
• /
• pp.113-138
• /
• 1999

Driven by the explosive expansion and acceptance of the Internet and its multimedia front-end, the Web, a new generation of the modeling and simulation tools have come up with the name of Web-Based Simulation (WBS). Most of WBS libraries inherit its powerful advantages from Java. However, there are cases where explicit specification of models or interface objects is more desirable than the black-box programs. This paper presents an XML-based DEVS (Discrete Event System Specification) markup language for sharing simulation models on the Web. DEVS provides a system-theoretic formalism for the language while XML supports platform-independent data access. This paper focuses on the design of such a language.