IEICE Technical Report

Print edition: ISSN 0913-5685      Online edition: ISSN 2432-6380

Volume 110, Number 458

Software Science

Workshop Date : 2011-03-07 - 2011-03-08 / Issue Date : 2011-02-28

[PREV] [NEXT]

[TOP] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


Table of contents

SS2010-53
A Study of Detecting Chain Reaction between Sensor Driven Services
Takuya Inada, Kousuke Ikegami, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.), Hiroshi Igaki (TUT)
pp. 1 - 6

SS2010-54
Application Framework for Developing Personal Remote Controllers in Home Network System
Keisuke Tokuda, Takuya Inada, Shinsuke Matsumoto, Masahide Nakamura (Koube Univ.)
pp. 7 - 12

SS2010-55
A Device Model for Devices with Various Network Protocols
Satoshi Noguchi, Kenji Suzuki (Mitsubishi Electric)
pp. 13 - 18

SS2010-56
A Distributed Real-Time Operating System with Location-Transparent System Calls for Embedded Control Systems
Takahiro Chiba (TCU), Yuichi Itami (Hitachi JTE Co., Ltd.), Myungryun Yoo, Takanori Yokoyama (TCU)
pp. 19 - 24

SS2010-57
An Aspect-oriented Customization Method for Embedded Operating Systems
Kazuki Abe, Takanori Yokoyama, Myungryun Yoo (TCU)
pp. 25 - 30

SS2010-58
Propose of Real-time Scheduling Algorithm based on Utilization
Akira Okazaki, Myungryun Yoo, Takanori Yokoyama (Tokyo City Univ.)
pp. 31 - 36

SS2010-59
A Real-Time Scheduling Algorithm with Decreasing Preemption for Multiprocessor Based on RM
Kouhei Nishigaki, Myungryun Yoo, Takanori Yokoyama (Tokyo City Univ.)
pp. 37 - 42

SS2010-60
A Simulink to UML Model Transformation Tool with a Function to Generate Behavioral Models
Masayoshi Tamura, Tatsuya Kamiyama, Takahiro Soeda, Myungryun Yoo, Takanori Yokoyama (TCU)
pp. 43 - 48

SS2010-61
Reusability Evaluation of Past Bug Fixes in Open Source Repositories
Masaru Shiozuka (KIT), Naoyasu Ubayashi (Kyushu Univ.)
pp. 49 - 54

SS2010-62
Towards Objective Estimations of Software Implementation Progress
Camargo Cruz Ana Erika, Koichiro Ochimizu (JAIST)
pp. 55 - 60

SS2010-63
Tree Automata with Constraints and their Closure-Properties
Katsuhisa Kurahashi, Masahiko Sakai, Naoki Nishida, Futoshi Nomura, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.)
pp. 61 - 66

SS2010-64
A supporting method of scenario retrieval using differential scenarios
Yusaku Yoshida, Atsushi Ohnishi (Ritsumeikan U.)
pp. 67 - 72

SS2010-65
Supporting Class Responsibility Assignment with Responsibility Description
Motohiro Akiyama, Shinpei Hayashi (Tokyo Tech.), Takashi Kobayashi (Nagoya Univ.), Motoshi Saeki (Tokyo Tech.)
pp. 73 - 78

SS2010-66
Analysis and evaluation of open source project evolution based on the automatic classification of SCM data
Kago Tai, Kenji Kaijiri, Haruhiko Kaiya (Sinsyu Univ.)
pp. 79 - 84

SS2010-67
Feature analysis of development style based on noncompliance measurement of coding conventions
Hitoshi Teraoka, Kenji Kaijiri, Haruhiko Kaiya (Shinshu Univ.)
pp. 85 - 90

SS2010-68
Modular Verification using Bounded Model Checking technique with Test Case Generation
Yuusuke Hashimoto (Sokendai), Shin Nakajima (NII)
pp. 91 - 96

SS2010-69
Towards Verifying Pointer-Manipulating Program using Program Transformation -- A Case Study with Morris' Binary Tree Traversal Algorithm --
Takuo Watanabe, Sosuke Moriguchi, Kazuhiro Yamada, Shin-ya Nishizaki (Tokyo Tech)
pp. 97 - 102

SS2010-70
A Process Algebra Compiler with Negative Premises
Jun Ban, Shoji Yuen (Nagoya Univ.)
pp. 103 - 108

SS2010-71
Division and verification of Sequential Game Program on GameFrameWork Cerium
Yusuke Kobayashi, Shinji Kono, Kaito Tagano, Yutaka Kinjo (Ryukyu Univ.)
pp. 109 - 113

SS2010-72
Class Enhancement of our OCL to JML translation tool and Its Application to a Curriculum Management System
Kiyoyuki Miyazawa, Kentaro Hanada, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
pp. 115 - 120

SS2010-73
An Environment for PBL Type Software Engineering Education based on Real-time Visualization of Repositories -- for Holding PBL Class Continuously --
Naoki Fukuyasu (Wakayama Univ.), Sachio Saiki (Kochi Univ. of Tech.), Yasuharu Mizutani (OIT)
pp. 121 - 126

SS2010-74
Progress Management System for Programming Education by Real-time Access Analysis of HTML-based Learning Material
Makoto Yamada (TUT), Satoshi Horiguchi (Keio Univ), Hiroshi Igaki, Akifumi Inoue, Tohru Hoshi (TUT)
pp. 127 - 132

SS2010-75
Software Restructuring Method Based on the Object-Oriented Design Principles
Yusuke Ichikawa, Shin Aida, Sadahiro Isoda (Toyohashi Tech.)
pp. 133 - 138

SS2010-76
A New Code Coverage that Focuses on Edge Pairs in a Control Flow Graph
Satoru Nishimoto, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.)
pp. 139 - 144

SS2010-77
Interaction Histories Mining for Software Change Guide
Nozomu Kato, Takashi Kobayashi, Kiyoshi Agusa (Nagoya Univ.)
pp. 145 - 150

SS2010-78
Improvement Case of Development Process with SysML in Airship Auto Navigation System
Tetsushi Fukuda, Fumichika Sueyasu, Katsuya Niwaki, Kenji Morita, Kenji Hisazumi, Tsunenori Mine, Naoyasu Ubayashi (Kyushu Univ.), Masayuki Hirayama (IPA/Toshiba), Naoki Hamada (IPA), Takao Futagami (TOYO)
pp. 151 - 156

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan