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

Search Results: Keywords 'from:2012-11-01 to:2012-11-01'

[Go to Official SS Homepage (Japanese)] 
Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Ascending)
 Results 1 - 10 of 10  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
SS, IPSJ-SE 2012-11-01
10:00
Hiroshima Hiroshima City University Weather change pattern generation algorithm for sightseeing scheduling
Hirokazu Katoh, Yoshihiro Murata (Hiroshima City Univ.) SS2012-36
Recently, personal navigation systems and tour scheduling systems are studied. Tour schedule is affected by weather cond... [more] SS2012-36
pp.1-6
SS, IPSJ-SE 2012-11-01
10:25
Hiroshima Hiroshima City University A SAT Encoding for Finding Operation Sequences of Malbolge that Implement Trit-wise Functions
Satoshi Ando, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) SS2012-37
Malbolge is known to be one of the most esoteric programming languages. Although it becomes possible to write programs i... [more] SS2012-37
pp.7-12
SS, IPSJ-SE 2012-11-01
10:50
Hiroshima Hiroshima City University Node Query Preservation for Deterministic Linear Top-Down Tree Transducers
Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki (NAIST) SS2012-38
A fundamental concern of XML document transformation is that the information contained in each source document is preser... [more] SS2012-38
pp.13-18
SS, IPSJ-SE 2012-11-01
13:15
Hiroshima Hiroshima City University Application of formal methods to network behavior dependent systems
Nobuaki Yoshida (ASTEM), Han-Myung Chang, Atsushi Sawada (Nanzan Univ.), Yukihiro Nakamura (ASTEM) SS2012-39
In this paper, we study application of formal methods to“mobile systems”, which consist of wireless devices distributed ... [more] SS2012-39
pp.35-40
SS, IPSJ-SE 2012-11-01
13:40
Hiroshima Hiroshima City University A discussion of fault patterns for concurrent systems
Han-Myung Chang, Masami Noro, Atsushi Sawada, Atsushi Yoshida, Yoshinari Hachisu, Reishi Yokomori (Nanzan Univ.) SS2012-40
In model checking, when a model checker fails to verify deadlock free, or some safety property or liveness property, its... [more] SS2012-40
pp.41-46
SS, IPSJ-SE 2012-11-01
16:05
Hiroshima Hiroshima City University A Report on the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012)
Shinpei Hayashi (Tokyo Tech.), Katsuhisa Maruyama (Ritsumeikan Univ.), Motoshi Saeki (Tokyo Tech.) SS2012-41
This paper gives our views on the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012) he... [more] SS2012-41
pp.75-80
SS, IPSJ-SE 2012-11-02
11:10
Hiroshima Hiroshima City University An Empirical Study of Clone Disappearances on Open Source Software Projects
Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2012-42
Code clones have been well studied because the presence of clones is regarded as a bad smell for software maintenance. O... [more] SS2012-42
pp.111-116
SS, IPSJ-SE 2012-11-02
11:35
Hiroshima Hiroshima City University A Clone Detection Approach for a Collection of Similar Large-Scale Software Products
Eunjong Choi (Osaka Univ.), Norihiro Yoshida (NAIST), Yoshiki Higo, Katsuro Inoue (Osaka Univ.) SS2012-43
Reusing existing software with or without modifications is frequently occurred to develop new large software at low cost... [more] SS2012-43
pp.117-121
SS, IPSJ-SE 2012-11-02
13:00
Hiroshima Hiroshima City University Extraction traceability links between requirements and implementation in the same series of software products
Ryosuke Tsuchiya, Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.), Tadahisa Kato, Masumi Kawakami, Kentaro Yoshimura (Hitachi) SS2012-44
When performing maintenance and expansion for the group of products derived, it is important to clarify traceability bet... [more] SS2012-44
pp.123-128
SS, IPSJ-SE 2012-11-02
13:25
Hiroshima Hiroshima City University A Method to Extract Use Cases From Web Applications With Analysis of Screenshot Trace
Tsubasa Oikawa, Toshihiro Kamiya (FUN) SS2012-45
 [more] SS2012-45
pp.129-134
 Results 1 - 10 of 10  /   
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