| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Software Science (SS) (Searched in: 2011)
Search Results: Keywords 'from:2012-03-13 to:2012-03-13'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SS | 2012-03-13 09:00 |
Okinawa | Tenbusu-Naha | Supporting Method Naming for Java Programs Using Verb-Object Relations Yuya Onizuka (Osaka Univ.), Yasuhiro Hayase (Univ. of Tsukuba), Takashi Ishio, Katsuro Inoue (Osaka Univ.)  SS2011-57 |
Program comprehension occupies large time in software maintenance task. In program comprehension, the role of identifier... [more] | SS2011-57 pp.1-6 |
| SS | 2012-03-13 09:25 |
Okinawa | Tenbusu-Naha | A development method of embedded systems using the shared variable based binding mechanism Takeshi Ogihara (Kyoto Sangyo Univ.) SS2011-58 |
Coval is a mechanism to transfer control via a variable shared among related modules. If modules written in C language ... [more] | SS2011-58 pp.7-12 |
| SS | 2012-03-13 09:50 |
Okinawa | Tenbusu-Naha | A Supporting Method of Generating Sequence Control Programs using Japanese Scenarios Eiji Shiota, Atsushi Ohnishi (Ritsumeikan U.) SS2011-59 |
Sequence control programs are widely used in several systems, such as automatic controlled industrial machineries using ... [more] | SS2011-59 pp.13-18 |
| SS | 2012-03-13 10:15 |
Okinawa | Tenbusu-Naha | A Software FMEA Method and Its Use in Software Product Line Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.) SS2011-60 |
Exceptional operations of the system are often speci ed insufficiently, thus a lot of defects are introduced in them th... [more] |
SS2011-60 pp.19-24 |
| SS | 2012-03-13 10:50 |
Okinawa | Tenbusu-Naha | Code Clone Detection Method Designed for Information of Repetition in Source Code Hiroaki Murakami, Keisuke Hotta, Yoshiki Higo, Hiroshi Igaki, Shinji Kusumoto (Osaka Univ.) SS2011-61 |
A code clone is a code fragment that is identical or similar to another in a source code. One of the factors that makes ... [more] | SS2011-61 pp.25-30 |
| SS | 2012-03-13 11:15 |
Okinawa | Tenbusu-Naha | Method-based Code Clone Detection for a Large Number of Software Systems Tomoya Ishihara, Keisuke Hotta, Yoshiki Higo, Hiroshi Igaki, Shinji Kusumoto (Osaka Univ) SS2011-62 |
It is predicted that there are many code clones across software systems. Detecting such code clones is useful from the v... [more] | SS2011-62 pp.31-36 |
| SS | 2012-03-13 11:40 |
Okinawa | Tenbusu-Naha | Near-Miss Clone Detection Based on Two-Stage Clustering Using Neighborhood Hashing Shunsuke Yoshioka, Norihiro Yoshida, Kyohei Fushida, Hajimu Iida (NAIST) SS2011-63 |
(To be available after the conference date) [more] | SS2011-63 pp.37-42 |
| SS | 2012-03-13 13:05 |
Okinawa | Tenbusu-Naha | A development assistance method for Ruby on Rails Application with Alloy Hiroaki Mizutani, Shoji Yuen (Nagoya Univ.) SS2011-64 |
We propose a development assistance method by converting Ruby on Rails Web application into Alloy models. Alloy analyzes... [more] | SS2011-64 pp.43-48 |
| SS | 2012-03-13 13:30 |
Okinawa | Tenbusu-Naha | Bi-directinal Translation Method between OCL and JML based on Model Driven Development Hiroaki Shimba, Kentaro Hanada, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2011-65 |
OCL (Object Constraint Language) is an annotation language for UML, which can describe specication more precisely.In rec... [more] | SS2011-65 pp.49-54 |
| SS | 2012-03-13 13:55 |
Okinawa | Tenbusu-Naha | Automatic derivation of test cases for Java using an SMT solver and a PDG generator. Yukihiro Sasaki, Kazuki Kobayashi, Kozo Okano, Shinji Kusumoto (Osaka Univ) SS2011-66 |
Assertions and Design by Contract play important roles for program understanding and program verification. In order to g... [more] | SS2011-66 pp.55-60 |
| SS | 2012-03-13 14:30 |
Okinawa | Tenbusu-Naha | Programming Process Visualization for Supporting Students in Programming Exercise Syun Saito, Makoto Yamada (TUT), Hiroshi Igaki, Shinji Kusumoto (OSAKA-U), Akifumi Inoue, Tohru Hoshi (TUT) SS2011-67 |
In this paper, we propose a Coding Process Visualizer in Programming Practice (C3PV). The C3PV records coding processes ... [more] | SS2011-67 pp.61-66 |
| SS | 2012-03-13 14:55 |
Okinawa | Tenbusu-Naha | Coding Pattern Analysis for Novice Programmer in Programming Exercise Kyohei Fushida (NAIST), Haruaki Tamada (Kyoto Sangyo Univ.), Hiroshi Igaki (Osaka Univ.), Kenji Fujiwara, Norihiro Yoshida (NAIST) SS2011-68 |
[more] | SS2011-68 pp.67-72 |
| SS | 2012-03-13 15:20 |
Okinawa | Tenbusu-Naha | Handsfree Voice Interface for Home Network Service Using a Microphone Array Network Shimpei Soda, Masahide Nakamura, Shinsuke Matsumoto, Noriyuki Matsubara, Koji Kugata, Shintaro Izumi, Hiroshi Kawaguchi, Masahiko Yoshimoto (Kobe Univ.) SS2011-69 |
The voice control is a promising user interface for the home network system (HNS). In our previous interface, a user had... [more] | SS2011-69 pp.73-78 |
| SS | 2012-03-13 15:45 |
Okinawa | Tenbusu-Naha | Experiment of Creation for Personal Remote Controller in Home Network System Keisuke Tokuda, Takuya Inada, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.) SS2011-70 |
We have been studying an execution platform of the personal remote controller for the home network system (HNS). Our pr... [more] |
SS2011-70 pp.79-84 |
| SS | 2012-03-13 16:20 |
Okinawa | Tenbusu-Naha | A proposal of web complexity metrics for Ajax and it's trial tool Yuki Kagaya, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Univ) SS2011-71 |
[more] | SS2011-71 pp.85-90 |
| SS | 2012-03-13 16:45 |
Okinawa | Tenbusu-Naha | An Empirical Study of Bug Prediction for Software Changes Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) SS2011-72 |
To clarify the effects of bug prediction for software changes,this paper experimentally evaluates the performance of bug... [more] | SS2011-72 pp.91-96 |
| SS | 2012-03-13 17:10 |
Okinawa | Tenbusu-Naha | Fault-Localization that focuses on the program structure and debugging support Kiyofumi Shimojo, Kazunori Sakamoto, Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.) SS2011-73 |
Fault localization is the techniques that estimates location of bugs causing the test failure using test results. Fault ... [more] | SS2011-73 pp.97-102 |
| SS | 2012-03-13 17:35 |
Okinawa | Tenbusu-Naha | An Execution Time Estimation Method of Functions and Its Application in a Distributed Computing Environment Kano Kurihara, Yasuhiro Sugiyama (Nihon Univ.) SS2011-74 |
This paper describes an execution time estimation method for functions in scientific and engineering calculation program... [more] | SS2011-74 pp.103-108 |
| SS | 2012-03-14 09:00 |
Okinawa | Tenbusu-Naha | Decidability of Query Preservation for Deterministic Linear Top-Down Tree Transducers Ryuta Sawada (Osaka Univ.), Kenji Hashimoto (NAIST), Yasunori Ishihara, Toru Fujiwara (Osaka Univ.) SS2011-75 |
When updating an XML schema, it is desirable that the new schema preserve the expressive power of the old one. The query... [more] | SS2011-75 pp.109-114 |
| SS | 2012-03-14 09:25 |
Okinawa | Tenbusu-Naha | Combining the tractability of duplicate-free DTDs and disjunction-capsuled DTDs for XPath satisfiability with sibling axes Yasunori Ishihara (Osaka Univ.), Shogo Shimizu (AIIT), Kenji Hashimoto (NAIST), Toru Fujiwara (Osaka Univ.) SS2011-76 |
This paper demonstrates a new subclass of DTDs, called DC/DF-DTDs, under which XPath satisfiability with child, descen... [more] |
SS2011-76 pp.115-120 |
[Return to Top Page]