| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Software Science (SS) (Searched in: 2010)
Search Results: Keywords 'from:2010-10-14 to:2010-10-14'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SS | 2010-10-14 14:00 |
Iwate | Iwate Prefectural Univ. | Quality Requirements Analysis using Requirements Frames Haruhiko Kaiya (SU), Atsushi Ohnishi (Ritsumeikan U)  SS2010-28 |
We propose a method for requirements analysts to specify quality requirements completely and correctly. In the metho... [more] |
SS2010-28 pp.1-6 |
| SS | 2010-10-14 14:30 |
Iwate | Iwate Prefectural Univ. | QRAST: Quality Requirements Analysis Support Tool Its Implementation and Evaluation Shunichi Suzuki, Mahiro Umemura, Masaaki Tanigawa, Ryou Ogawa, Haruhiko Kaiya, Kenji Kaijiri (SU) SS2010-29 |
It is important for a requirements analyst eliciting implicit requirements to know characteristics of an application dom... [more] | SS2010-29 pp.7-12 |
| SS | 2010-10-14 15:00 |
Iwate | Iwate Prefectural Univ. | Component-based goal modeling with formal refinement patterns Jun Nomura, Ryoto Naruse (Kyushu Inst. of Tech.), Keiji Hokamura, Naoyasu Ubayashi (Kyushu Univ.), Takahiro Shidai, Akihito Iwai (Denso) SS2010-30 |
Goal-oriented analysis methods are effective for eliciting requirements at the early stages of software development. How... [more] | SS2010-30 pp.13-18 |
| SS | 2010-10-14 15:45 |
Iwate | Iwate Prefectural Univ. | Investigation of Relationship between Code Clones and Defect Fixes by Considering Period of Code Existence Akira Saito (Osaka Univ.), Norihiro Yoshida (NAIST), Makoto Matsushita, Katsuro Inoue (Osaka Univ.) SS2010-31 |
[more] | SS2010-31 pp.19-24 |
| SS | 2010-10-14 16:15 |
Iwate | Iwate Prefectural Univ. | An Investigation of Copy-and-paste Reuse between Source Files Distributed under Different Licenses Yu Kashima (Osaka Univ.), Yasuhiro Hayase (Toyo Univ.), Norihiro Yoshida (NAIST), Yuki Manabe, Katsuro Inoue (Osaka Univ.) SS2010-32 |
Source code of open-source software (OSS) can be reused if a developer observe requirements of its license. There are ... [more] |
SS2010-32 pp.25-30 |
| SS | 2010-10-14 17:00 |
Iwate | Iwate Prefectural Univ. | [Invited Talk]
A Survey on Advanced Automated Equational Theorem Proving Systems Koji Iwanuma (Univ. Yamanashi) SS2010-33 |
In this paper, we survey a first-order equational theorem proving mainly from a viewpoint of practice. Bottom-up theor... [more] |
SS2010-33 pp.31-36 |
| SS | 2010-10-15 09:45 |
Iwate | Iwate Prefectural Univ. | Automatic Test Case Generation for Integration Testing Haruto Tanno, Xiaojing Zhang, Takashi Hoshino (NTT) SS2010-34 |
Our research focuses on automatic test case generation for web applications, to test the integration of three-layer, w... [more] |
SS2010-34 pp.37-42 |
| SS | 2010-10-15 10:15 |
Iwate | Iwate Prefectural Univ. | On Deriving Essential Factors for Estimating Successful Projects from Actual Project Data Junya Debari, Tohru Kikuno (Osaka Univ.), Nahomi Kikuchi (OKI), Masayuki Hirayama (IPA/SEC) SS2010-35 |
Actual project data are collected based on many software metrics and generally contain a large amount of missing values.... [more] | SS2010-35 pp.43-48 |
| SS | 2010-10-15 11:00 |
Iwate | Iwate Prefectural Univ. | On DPLL Transition Systems Modulo Equational Theories Tatsuya Baba, Toshiki Sakabe, Naoki Nishida, Keiichirou Kusakari, Masahiko Sakai (Nagoya Univ.) SS2010-36 |
SMT solvers are tools for deciding satisfiability of formulas under given theories such as arrays, lists, queues and so ... [more] | SS2010-36 pp.49-54 |
| SS | 2010-10-15 11:30 |
Iwate | Iwate Prefectural Univ. | On Turing Completness of an Esoteric Language, Malbolge Satoshi Nagasaka, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) SS2010-37 |
Malbolge is known as one of the most esoteric programming languages. In this paper, we prove that Malbolge is weakly Tur... [more] | SS2010-37 pp.55-60 |
| SS | 2010-10-15 12:00 |
Iwate | Iwate Prefectural Univ. | An analysis of copied&pasted code fragments on code repository of FreeBSD Toshihiro Kamiya (Fun) SS2010-38 |
This study, which is organized toward evaluation of a code-search tool on code repository of version control system, rev... [more] | SS2010-38 pp.61-65 |
[Return to Top Page]