Contract-based specifications using OCL or JML are employed widely to describe the
behaviors of systems. However, complex behaviors might not be understood using these …

Context State machines are widely used to describe the dynamic behavior of objects,
components, and systems. As a communication tool between various stakeholders, it is …

상태 기계는 시스템이나 컴포넌트, 객체의 행위를 표현하는 동적 행위 모델로서, 정형 검증,
테스트, 코드 자동 생성 등 다양한 분야에서 활용된다. 상태 기계는 시스템의 모든 실행 가능한 …

This work focuses on the field of interaction design in the context of software development.
The research question focuses on assessing whether concept mapping is an adequate …

The architectural advancements in desktop computing have made embedded devices in
real time applications to adopt multi core architectures. Constrained power availability but …

The Software defect management has become a critical issue with its increasing importance
in sensor networks area. In this paper, it focuses on black box approach. Software defects …