| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Software Science (SS) (Searched in: 2007)
Search Results: Keywords 'from:2008-03-03 to:2008-03-03'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SS | 2008-03-03 10:10 |
Nagasaki | Nagasaki Univ. | A Parametric Execution Time Analysis Method for Reuse of Real-time Software Toshihiro Kawai, Akio Nakata (Hiroshima City Univ.)  SS2007-57 |
[more] | SS2007-57 pp.1-6 |
| SS | 2008-03-03 10:35 |
Nagasaki | Nagasaki Univ. | A Method for Feature-Oriented Unit Test for Software Product Lines Masataka Fukuda, Tsuneo Nakanishi (Kyushu Univ.), Teruaki Kitasuka (Kumamoto Univ.), Shigeaki Tagashira, Akira Fukuda (Kyushu Univ.) SS2007-58 |
[more] | SS2007-58 pp.7-12 |
| SS | 2008-03-03 11:00 |
Nagasaki | Nagasaki Univ. | Error Detection with Soft Typing for Dynamically Typed Languages Akihisa Yamada, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.) SS2007-59 |
We propose a rich extension of soft typing for dynamically-typed languages like LISP, and prove its soundness. This e... [more] |
SS2007-59 pp.13-18 |
| SS | 2008-03-03 11:25 |
Nagasaki | Nagasaki Univ. | Formal verification of multiple UML diagrams using bounded model checking Hisashi Miyazaki, Tomoyuki Yokogawa, Sadahito Sato, Yoichiro Sato, Michiyoshi Hayase (Okayama Prefectural Univ.) SS2007-60 |
In previous work, we have proposed a framework for verifying system designs by multiple UML diagrams using symbolic mode... [more] | SS2007-60 pp.19-24 |
| SS | 2008-03-03 13:05 |
Nagasaki | Nagasaki Univ. | Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques Keiichirou Kusakari, Masahiko Sakai (Nagoya Univ.) SS2007-61 |
We proposed a static dependency pair method, which can effectively prove termination of functional programs. Since the... [more] |
SS2007-61 pp.25-30 |
| SS | 2008-03-03 13:30 |
Nagasaki | Nagasaki Univ. | A Sufficient Condition for Termination of Transformations from Equations to Rewrite Rules Kiyotaka Mizuno, Naoki Nishida, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari (Nagoya Univ.) SS2007-62 |
Several procedures which transform pairs of term rewriting systems (TRSs, for short) and sets of equations into equivale... [more] | SS2007-62 pp.31-36 |
| SS | 2008-03-03 13:55 |
Nagasaki | Nagasaki Univ. | On Information Flow Analysis for Recursive Programs Based on Self-Composition Nobuhiro Itoh, Hiroyuki Seki (NAIST) SS2007-63 |
An information flow analysis method based on self-compositon has been proposed that compensates for the impreciseness of... [more] | SS2007-63 pp.37-42 |
| SS | 2008-03-03 14:35 |
Nagasaki | Nagasaki Univ. | Token Comparison Approach to Detect Code Clone-related Bugs Yii Yong Lee, Yasuhiro Hayase, Makoto Matsushita, Katsuro Inoue (Osaka Univ.) SS2007-64 |
Large software tends to have a significant amount of similar code, commonly known as code clones. Often the code clones ... [more] | SS2007-64 pp.43-48 |
| SS | 2008-03-03 15:00 |
Nagasaki | Nagasaki Univ. | Quality prediction model for object oriented software using UML metrics Camargo Cruz Ana Erika, Koichiro Ochimizu (JAIST) SS2007-65 |
Several studies, in the field of object-oriented software quality, have been performed to define models for predicting f... [more] | SS2007-65 pp.49-54 |
| SS | 2008-03-03 15:25 |
Nagasaki | Nagasaki Univ. | Specification Description and High-level Design Methodology of SoC Considering Design Reuse Yeonbok Lee, Yuji Ishikawa, Yoshihisa Kojima, Hiroaki Yoshida (Tokyo Univ.), Hisashi Yomiya (TOSHIBA Corp.), Satoshi Komatsu, Masahiro Fujita (Tokyo Univ.) SS2007-66 |
[more] | SS2007-66 pp.55-60 |
| SS | 2008-03-03 16:05 |
Nagasaki | Nagasaki Univ. | A Web Application Bi-Execution Model for a Framework Preventing Amazon-Bug Ryota Mizuno, Keigo Imai, Ryo Suetsugu, Nobuyuki Kaneko (Nagoya Univ.), Shinichiro Yamamoto (Aichi Prefectural Univ.), Kiyoshi Agusa (Nagoya Univ.) SS2007-67 |
In this paper, we propose a model for a method that detects and handles phenomenon called Amazon-Bug runtime. To prevent... [more] | SS2007-67 pp.61-66 |
| SS | 2008-03-03 16:30 |
Nagasaki | Nagasaki Univ. | A Method for GUI Model Transformation in MDA Hiroshi Mukaeda, Hajime Iwata (Wasedan Univ.), Junko Shirogane (TWCU), Yoshiaki Fukazawa (Wasedan Univ.) SS2007-68 |
Model Driven Architecture(MDA) is currently focused. In MDA, it is difficult to design the usability aware system on the... [more] | SS2007-68 pp.67-72 |
| SS | 2008-03-03 16:55 |
Nagasaki | Nagasaki Univ. | Implementation and Evaluation for Requirements Elicitation Tool based on comparison among existing similar systems Naoyuki Kitazawa, Akira Osada, Kazuyuki Kamijyo, Haruhiko Kaiya, Kenji Kaijiri (SU) SS2007-69 |
During a software system development, existing similar systems are useful because such systems and their documents help ... [more] | SS2007-69 pp.73-78 |
| SS | 2008-03-04 09:30 |
Nagasaki | Nagasaki Univ. | A task granularity control for reduction of response time at task assignment Hidehiro Kanemitsu, Hidenori Nakazato, Takashige Hoshiai, Yoshiyori Urano (Waseda Univ.) SS2007-70 |
We present a method for merging tasks in order to control granularity of tasks to be executed in distributedsystems. To ... [more] | SS2007-70 pp.79-84 |
| SS | 2008-03-04 09:55 |
Nagasaki | Nagasaki Univ. | A Proposal of The Secure Software Engineering Noriaki Saito, Satoshi Oda, Toshiyuki Miyazawa, Sakae Chikara, Toru Kawamura, Atsushi Kanai (NTT) SS2007-71 |
At the recent software design and development, a necessity of the security is increasing, though a developing term is sh... [more] | SS2007-71 pp.85-90 |
| SS | 2008-03-04 10:20 |
Nagasaki | Nagasaki Univ. | Software Characteristic Analysis Based on History of Software Metrics Kenji Murao, Yoshiki Higo, Katsuro Inoue (Osaka Univ.) SS2007-72 |
This paper proposes a method for software characteristic analysis based on software metrics transitions. Software metric... [more] | SS2007-72 pp.91-96 |
| SS | 2008-03-04 11:00 |
Nagasaki | Nagasaki Univ. | Requirements Quality Management based on the Requirements Structure Noboru Hattori, Shuichiro Yamamoto (NTT DATA Corporation) SS2007-73 |
In this paper, we propose the components of the requirements description and describes that many of requirements errors ... [more] | SS2007-73 pp.97-102 |
| SS | 2008-03-04 11:25 |
Nagasaki | Nagasaki Univ. | Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2007-74 |
We have proposed a method of model abstraction for timed automata.The proposed method is based on CEGAR (CounterExample... [more] | SS2007-74 pp.103-108 |
| SS | 2008-03-04 11:50 |
Nagasaki | Nagasaki Univ. | An Approach to analyze use-relation between software components with duplicated names Makoto Ichii (Osaka Univ.), Reishi Yokomori (Nanzan Univ.), Katsuro Inoue (Osaka Univ.) SS2007-75 |
Source code reuse becomes popular using software component retrieval system (source code search system) because of the r... [more] | SS2007-75 pp.109-114 |
[Return to Top Page]