IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

Technical Committee on Software Science (SS)  (Searched in: 2009)

Search Results: Keywords 'from:2009-12-17 to:2009-12-17'

[Go to Official SS Homepage (Japanese)] 
Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Ascending)
 Results 1 - 13 of 13  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
SS 2009-12-17
13:40
Kagawa Kagawa Univ. Application of Open Distributed Aspect-Oriented Framework to Intelligent Transportation Systems
Ryoto Naruse, Jun Nomura, Keiji Hokamura, Naoyasu Ubayashi (kyushu inst. of tech.), Takahiro Shidai, Akihito Iwai (Denso Corp.) SS2009-35
Intelligent Transportation System (ITS), one of the complex open distributed systems, provides safe and efficient transp... [more] SS2009-35
pp.1-6
SS 2009-12-17
14:10
Kagawa Kagawa Univ. Development Methods for Domain Specific Language Processors
Akira Sasaki, Hiroshi Ichikawa (Housei Univ.) SS2009-36
 [more] SS2009-36
pp.7-12
SS 2009-12-17
14:40
Kagawa Kagawa Univ. A Method to Compose Regular Web Pages from Mobile Web Pages -- Web Page Modeling and Evaluation --
Hiroki Katsumata (Waseda Univ.), Kouichi Ono (IBM-J), Yoshiaki Fukazawa (Waseda Univ.) SS2009-37
 [more] SS2009-37
pp.13-18
SS 2009-12-17
15:20
Kagawa Kagawa Univ. Precise Analysis of Web Application for SQL Injection Vulnerability by an Analysis of Condition Expressions
Tomonori Ohashi, Heng Li, Seikoh Nishita (Takushoku Univ.) SS2009-38
This paper proposes a method to extend an analysis of SQL Injection Vulnerability in Web application. This extension mak... [more] SS2009-38
pp.19-24
SS 2009-12-17
15:50
Kagawa Kagawa Univ. Argument Filtering and Usable Rules in Higher-Order Rewrite Systems
Sho Suzuki, Keiichirou Kusakari, Toshiki Sakabe, Masahiko Sakai, Naoki Nishida (Nagoya Univ.) SS2009-39
Simply-typed term rewriting systems (STRSs) and higher-order rewrite systems (HRSs)
have been proposed to extend term r... [more]
SS2009-39
pp.25-30
SS 2009-12-17
16:20
Kagawa Kagawa Univ. On Decidability of Context-Sensitive Termination for Right-Linear Right-Shallow Term Rewriting Systems
Yoshimasa Mishuku, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) SS2009-40
It is known that termination and innermost termination are decidable for term rewriting systems (TRSs for short) whose d... [more] SS2009-40
pp.31-36
SS 2009-12-18
08:40
Kagawa Kagawa Univ. Program Generation Based on Transformation of Conditional Equations
Masanori Nagashima, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida, Keiichirou Kusakari (Nagoya Univ.) SS2009-41
Program-generation system GeneSys, which we have ever proposed, generates executable programs from first order equationa... [more] SS2009-41
pp.37-42
SS 2009-12-18
09:10
Kagawa Kagawa Univ. A modelling of computer processing as transformation of representation
Fumiko Kouda, Takashi Chikayama (Univ. of Tokyo.) SS2009-42
The purpose of this study is to enable users to request computer processing in terms of its goal. Objects on computers a... [more] SS2009-42
pp.43-48
SS 2009-12-18
09:40
Kagawa Kagawa Univ. A behavioral model for debugging multicore real-time applications based on execution traces
Hiroki Mizuno, Shoji Yuen (Nagoya Univ) SS2009-43
This paper proposes a technique to effectively identify defects of realtime
applications running in the multicore envir... [more]
SS2009-43
pp.49-54
SS 2009-12-18
10:20
Kagawa Kagawa Univ. Refactoring Support by Searching Applicable Steps to Change Source Code
Ryo Fukushima, Norihiro Yoshida, Makoto Matsushita, Katsuro Inoue (Osaka Univ) SS2009-44
 [more] SS2009-44
pp.55-60
SS 2009-12-18
10:50
Kagawa Kagawa Univ. A Change Impact Analysis Based Testing Tool for Refactoring
Masatomo Yoshida, Norihiro Yoshida, Makoto Matsushita, Katsuro Inoue (Osaka Univ.) SS2009-45
Refactoring is the process that can improve the software maintainability without changing its external behavior. When de... [more] SS2009-45
pp.61-66
SS 2009-12-18
11:30
Kagawa Kagawa Univ. Low Quality Module Prediction from Design Documents Metrics using Software Tag
Shinichi Katayama, Kimiharu Ohkura, Kyohei Fushida, Shinji Kawaguchi (NAIST), Masataka Nagura (NAIST/Hitachi), Akito Monden, Hajimu Iida (NAIST) SS2009-46
It is important to detect low quality modules which are likely to have many defects at an early development phase for cr... [more] SS2009-46
pp.67-72
SS 2009-12-18
12:00
Kagawa Kagawa Univ. A Trend Prediction of Code Churn in Open Source Development -- An Application of Growth Curve Model --
Hirohisa Aman (Ehime Univ.) SS2009-47
Source code is a basic product reflecting a status of an open source development.
A quantitative understanding of sourc... [more]
SS2009-47
pp.73-78
 Results 1 - 13 of 13  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[Return to Top Page]

[Return to IEICE Web Page]


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