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: 2010)

Search Results: Keywords 'from:2010-08-05 to:2010-08-05'

[Go to Official SS Homepage (Japanese)] 
Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Ascending)
 Results 1 - 12 of 12  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
SS 2010-08-05
10:30
Hokkaido Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) A Quantitative Approach for Predicting the Cause-effect Relationships between the Process Performances and the Software Quality in a Software Development Organization
Yoshinori Itabashi (Panasonic Corp./JAIST), Koichiro Ochimizu (JAIST) SS2010-16
Generally, the empirical and qualitative methods are used to specify the effective processes in order to improve the sof... [more] SS2010-16
pp.1-4
SS 2010-08-05
11:00
Hokkaido Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) Proposal of Coding Rule Construction Method Based on Pattern
Isamu Hasegawa (Nomura Research Inst, Ltd.) SS2010-17
In large software development project like enterprise applications, coding rules are often provided. Applying coding rul... [more] SS2010-17
pp.5-10
SS 2010-08-05
11:30
Hokkaido Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) Requirement Analysis for Low Energy Consumption with Keeping User Satisfaction -- Rearrangement Specification with Development Cost --
Ryu Nakazato, Takanobu Ando, Tetsuji Fukaya (Toshiba Corp) SS2010-18
Low energy consumption is one big issue. We study about requirement analysis for low energy consumption with keeping use... [more] SS2010-18
pp.11-16
SS 2010-08-05
13:15
Hokkaido Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) A Concern-oriented Recommendation System for Debugging
Masaru Shiozuka (Kyushu Inst. of Tech.), Naoyasu Ubayashi (Kyushu Univ.) SS2010-19
It is not so difficult for professional programmers to predict the cause of a bug from their experience. On the other ha... [more] SS2010-19
pp.17-22
SS 2010-08-05
13:45
Hokkaido Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) A Defect Detection Technique Based on Consistency Checking of Program Dependence Graphs
Goro Yamada (Osaka Univ.), Norihiro Yoshida (NAIST), Katsuro Inoue (Osaka Univ.) SS2010-20
In this paper, we propose a novel approach to detecting defects from source code, which checks for consistency of progra... [more] SS2010-20
pp.23-28
SS 2010-08-05
14:15
Hokkaido Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) Quality Assurance by Using SPIN Model Checker in Mobile FeliCa IC Chip Development
Kenji Tadano, Taro Kurita (FeliCa Networks) SS2010-21
We applied SPIN model checker to C source code as a quality assurance method for Mobile FeliCa IC chip firmware. In this... [more] SS2010-21
pp.29-34
SS 2010-08-05
15:00
Hokkaido Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) Reachability Analysis for Timed Systems using Parallel Processing
Toshiaki Tanaka, Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2010-22
This report proposes efficient parallel processing of reachability analysis for timed automaton. Our research group has ... [more] SS2010-22
pp.35-40
SS 2010-08-05
15:30
Hokkaido Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) Validation of System Requirements written in Event-B
Shin Nakajima (NII) SS2010-23
 [more] SS2010-23
pp.41-46
SS 2010-08-05
16:00
Hokkaido Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) Argument Filterings and Usable Rules in Higher-Order Rewrite Systems
Sho Suzuki, Keiichirou Kusakari (Nagoya Univ.), Frederic Blanqui (INRIA) SS2010-24
The static dependency pair method is a method for proving the termination
of higher-order rewrite systems {\em \`a la} ... [more]
SS2010-24
pp.47-52
SS 2010-08-06
10:00
Hokkaido Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) On Implementation of a Translater from OCL into JML
Kiyoyuki Miyazawa, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2010-25
OCL (Object Constraint Language) is an annotation language for UML, which can describe speci cation more precisely. In r... [more] SS2010-25
pp.53-58
SS 2010-08-06
10:30
Hokkaido Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) A Code Search Tool for Repositories of Version Control Systems
Toshihiro Kamiya (Future Univ-Hakodate.) SS2010-26
This study, which is organized toward evaluation of a code-search tool on code repository of version controlsystem, reve... [more] SS2010-26
pp.59-63
SS 2010-08-06
11:00
Hokkaido Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) Generating Descriptions of Nouns in Software from Program Comments
Tetsuya Fujiki (Osaka Univ.), Yasuhiro Hayase (Toyo Univ.), Katsuro Inoue (Osaka Univ.) SS2010-27
Software developers surmise roles and workings of functions or variables for program comprehension judging from its iden... [more] SS2010-27
pp.65-69
 Results 1 - 12 of 12  /   
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