| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Software Science (SS) (Searched in: 2015)
Search Results: Keywords 'from:2016-03-10 to:2016-03-10'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SS | 2016-03-10 09:00 |
Okinawa | The patterns and variations found through an analysis of change requirements Ayaka Kubo, Tsuneo Ajisaka, Naoki Fukuyasu, Naruki Mitsuda, Takuo Matsunobe (Wakayama Univ.)  SS2015-76 |
In spite of the Analysis Patterns by Martin Fowler, activities of requirements specification are still not well structur... [more] | SS2015-76 pp.1-5 |
|
| SS | 2016-03-10 09:25 |
Okinawa | Analysis on Semantic Orientation of Source Code Akihisa Yamada, Osamu Mizuno (Kyoto Inst. Tech.) SS2015-77 |
Sentiment analysis is becoming popular in research area of natural language processing. In this paper, we analyze relati... [more] | SS2015-77 pp.7-12 |
|
| SS | 2016-03-10 09:50 |
Okinawa | A supporting method of specifying scenarios using integrated scenario parts Kohei Takagi, Atsushi Ohnishi (Ritsumeikan U.) SS2015-78 |
In scenario based software requirements elicitation, a lot of scenarios should be written. We propose a scenario generat... [more] | SS2015-78 pp.13-18 |
|
| SS | 2016-03-10 10:25 |
Okinawa | On the query preservation for nondeterministic tree transducers Kazuki Miyahara (NAIST), Kenji Hashimoto (Nagoya Univ.), Hiroyuki Seki (NAIST/Nagoya Univ.) SS2015-79 |
We consider the problem of deciding whether a query can be rewritten by a nondeterministic view. It is known that rewrit... [more] | SS2015-79 pp.19-24 |
|
| SS | 2016-03-10 10:50 |
Okinawa | An extension of SQL for specifying combinatorial optimization problems Yusaku Uchida, Masahiko Sakai, Naoki Nishida (Nagoya Univ.) SS2015-80 |
The performance of satisfiability (SAT) solvers have incredibly improved in recent years. It is, however, difficult to ... [more] |
SS2015-80 pp.25-30 |
|
| SS | 2016-03-10 11:15 |
Okinawa | Program Verification Using Non-linear Loop Invariants Generated by Partially Applying an Extended Farkas' Lemma Makishi Yanagisawa, Naoki Nishida, Masahiko Sakai (Nagoya Univ.) SS2015-81 |
To generate loop invariants, methods that, using Farkas' lemma, convert verification formulas obtained from a given temp... [more] | SS2015-81 pp.31-36 |
|
| SS | 2016-03-10 13:00 |
Okinawa | XQuery Type Inference under Restricted DTDs Kenji Sugimura, Yasunori Ishihara (Osaka Univ.), Kato Hiroyuki (NII), Fujiwara Toru (Osaka Univ.) SS2015-82 |
XQuery type inference is an important problem that is useful for query optimization. Howerver, precise type inference fo... [more] | SS2015-82 pp.37-42 |
|
| SS | 2016-03-10 13:25 |
Okinawa | XQuery optimization by avoiding node sorting and duplicate elimination Yasunori Ishihara (Osaka Univ.), Hiroyuki Kato (NII), Torsten Grust (Universitaet Tuebingen) SS2015-83 |
During evaluation of XQuery expressions, node sorting of input XML documents and duplicate elimination are often perform... [more] | SS2015-83 pp.43-48 |
|
| SS | 2016-03-10 13:50 |
Okinawa | Introducing and Evaluation of Cleaning Methods into a Code Search and Recommendation Method Takeru Uchiyama (FUN), Toshihiro Kamiya (Shimane Univ.), Ayahiko Niimi (FUN) SS2015-84 |
In this study, we apply a machine-learning method for a natural language processing, namely Word2Vec, to source code of ... [more] | SS2015-84 pp.49-54 |
|
| SS | 2016-03-10 14:15 |
Okinawa | Using Word2Vec in Localizing Relevant Files for Bug Reports Yukiya Uneno, Osamu Mizuno (Kyoto Inst. Tech.), Eun-Hye Choi (AIST) SS2015-85 |
Once a fault in software is reported, developers have to determine which source files are related to the fault. This pro... [more] | SS2015-85 pp.55-60 |
|
| SS | 2016-03-10 14:50 |
Okinawa | A Software Energy Analysis Method Using ExecutableUML Ryusuke Yoshimoto, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.) SS2015-86 |
The power consumption of embedded system has been increased. It is important to analyze energy consumptions taking softw... [more] | SS2015-86 pp.61-66 |
|
| SS | 2016-03-10 15:15 |
Okinawa | Investigation of Differences between Human-Written Patches and Automatically Generated Patches Hiroki Nakajima, Haruki Yokoyama, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2015-87 |
(To be available after the conference date) [more] | SS2015-87 pp.67-72 |
|
| SS | 2016-03-10 15:40 |
Okinawa | Making Code Clone Benchmark with Integrated Methods Yusuke Yuki, Yoshiki Higo, Keisuke Hotta, Shinji Kusumoto (Osaka Univ.) SS2015-88 |
(To be available after the conference date) [more] | SS2015-88 pp.73-78 |
|
| SS | 2016-03-10 16:05 |
Okinawa | Reducing Reuse Candidates on Reuse-Based Automated Program Repair Using "Freshness" Masahiro Yamamoto, Haruki Yokoyama, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2015-89 |
(To be available after the conference date) [more] | SS2015-89 pp.79-84 |
|
| SS | 2016-03-10 16:30 |
Okinawa | CodeConcierge: A Programming Environment Based on Crowd Knowledge Yuta Takahashi, Takuya Fukamachi, Naoyasu Ubayashi, Shintaro Hosoai, Yasutaka Kamei (Kyushu Univ.) SS2015-90 |
In software development，many developers turn to crowd knowledge database，e.g., Q&A sites, OSS repositories and online do... [more] | SS2015-90 pp.85-90 |
|
| SS | 2016-03-11 09:00 |
Okinawa | An Empirical Study of the Severity of Code Smell Using a Refactoring Dataset Tsubasa Saika, Eunjong Choi (Osaka Univ.), Norihiro Yoshida (Nagoya Univ.), Shusuke Haruna, Katsuro Inoue (Osaka Univ.) SS2015-91 |
Code smells are structures in the code that suggest the possibility of refactoring. To prioritize code smells in large-s... [more] | SS2015-91 pp.91-96 |
|
| SS | 2016-03-11 09:25 |
Okinawa | Establishing Traceability between Requirements, Design and Operation Information in Lifecycle-Oriented Architecture Shota Ishibashi, Kenji Hisazumi, Akira Hukuda (Kyushu Univ.) SS2015-92 |
Many uncertainties arise in a system development since the system is complex, large-scale, and deployed in an uncertain ... [more] | SS2015-92 pp.97-102 |
|
| SS | 2016-03-11 09:50 |
Okinawa | Development and evaluation of an embedded modeling tool for supporting the modeling education Kaoru Beppu, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.) SS2015-93 |
The paper proposes and develops an embedded modeling tool to Web pages for supporting modeling educations. Nowadays, dev... [more] | SS2015-93 pp.103-108 |
|
| SS | 2016-03-11 10:25 |
Okinawa | An Empirical Study of Debugging Effectiveness Using Stack Overflow Yuki Ogihara, Takuya Fukamachi, Naoyasu Ubayashi, Shintaro Hosoai, Yasutaka Kamei (Kyushu Univ.) SS2015-94 |
Q&A sites such as Stack Overflow contain huge amount of data for programming technologies. It is effective for many deve... [more] | SS2015-94 pp.109-114 |
|
| SS | 2016-03-11 10:50 |
Okinawa | A Prioritization of Combinatorial Testing Using Bayesian Inference Shunya Kawabata (Kyoto Inst. Tech.), Eun-Hye Choi (AIST), Osamu Mizuno (Kyoto Inst. Tech.) SS2015-95 |
An ideal testing detects a large number of faults with a small number of test cases. Combinatorial testing, which focus... [more] |
SS2015-95 pp.115-120 |
|
[Return to Top Page]