| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Software Science (SS) (Searched in: 2007)
Search Results: Keywords 'from:2007-12-17 to:2007-12-17'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SS | 2007-12-17 09:00 |
Shimane | Shimane Univ. | Supporting the Elicitation of Regulation Compliant Requirements Motoshi Saeki (Tokyo Tech), Haruhiko Kaiya (Shinshu Univ.)  SS2007-38 |
Recently, laws and regulations related to information technology are being made in order to implement properly business ... [more] | SS2007-38 pp.1-6 |
| SS | 2007-12-17 09:30 |
Shimane | Shimane Univ. | Experimental Evaluation of i* framework development using actor relationship matrix Komon Ibe, Yuriko Sato, Shuichiro Yamamoto (NTTDATA) SS2007-39 |
In i* framework, system requirements are analyzed by using SD(Strategic Dependency) graph and SR(Strategic Rational) gra... [more] | SS2007-39 pp.7-12 |
| SS | 2007-12-17 10:00 |
Shimane | Shimane Univ. | Construction of a Requests Model from a Request List Hideaki Miyanishi, Hiroyuki Yamada, Hiroshi Kai, Hirohisa Aman (Ehime Univ.) SS2007-40 |
Requirements acquisition process is the first stage in a software development process that has significant impacts on th... [more] | SS2007-40 pp.13-18 |
| SS | 2007-12-17 10:45 |
Shimane | Shimane Univ. | On the Acyclicity of Combinators Munehiro Iwami (Shimane Univ.) SS2007-41 |
Sumllyan proposed that combinator L with rewrite rule L x y -> x (y y) and combinator O with rewrite rule O x y -> y... [more] |
SS2007-41 pp.19-24 |
| SS | 2007-12-17 11:15 |
Shimane | Shimane Univ. | Generating tests from proof scores in the OTS/CafeOBJ method Masaki Nakamura (JAIST), Takahiro Seino (AIST) SS2007-42 |
In the OTS/CafeOBJ method, we describe a specification in CafeOBJ specification language, and verify it with a proof sco... [more] | SS2007-42 pp.25-30 |
| SS | 2007-12-17 13:00 |
Shimane | Shimane Univ. | An experimental program-generation system based on meta-computation. Yoshitaka Nishida, Kiyoshi Akama (Hokkaido Univ.), Hidekatu Koike (Sapporo Gakuin Univ.) SS2007-43 |
The program generation method described in this paper can be used to construct an efficient ET program that satisfies a ... [more] | SS2007-43 pp.31-36 |
| SS | 2007-12-17 13:30 |
Shimane | Shimane Univ. | A Framework for Synthesizing low-level Imperative Programs From Deterministic Abstract Programs Toshihiro Wakatsuki, Kiyoshi Akama (Hokkaido Univ.), Hiroshi Mabuchi (Iwate Prefectural Univ.) SS2007-44 |
Program construction theory based on Equivalent Transformation (ET) supports stepwise program construction process from ... [more] | SS2007-44 pp.37-42 |
| SS | 2007-12-17 14:00 |
Shimane | Shimane Univ. | Extending program-generation system GeneSys for allowing negation in equational specifications Satoru Kondo, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) SS2007-45 |
[more] | SS2007-45 pp.43-48 |
| SS | 2007-12-17 14:45 |
Shimane | Shimane Univ. | A Grouping Method of Code Clone with Code-Inclusion Relation Toshihiro Kamiya (AIST) SS2007-46 |
A code-clone detection tool often detects tens of thousands code clones, in case of it is applied to a large scale softw... [more] | SS2007-46 pp.49-54 |
| SS | 2007-12-17 15:15 |
Shimane | Shimane Univ. | Retrieving Similar Code based on Co-occurrence of Identifiers and Its Application to Defect Detection Takeshi Hattori, Norihiro Yoshida, Yasuhiro Hayase, Yoshiki Higo, Makoto Matsushita, Shinji Kusumoto, Katsuro Inoue (Osaka Univ.) SS2007-47 |
During software maintenance, if developers modify a part of a system, they often have to apply the same modifications t... [more] |
SS2007-47 pp.55-60 |
| SS | 2007-12-17 15:45 |
Shimane | Shimane Univ. | Generating Gapped Code Clone Information using AGM Algorithm Yoshiki Higo (Osaka Univ.), Yasushi Ueda (JAXA), Shinji Kusumoto, Katsuro Inoue (Osaka Univ.) SS2007-48 |
At present, there are many code clone detection methods and tools.However, only some of them can detect gapped code clon... [more] | SS2007-48 pp.61-66 |
| SS | 2007-12-17 16:30 |
Shimane | Shimane Univ. | Improving Test Methods for Constraints on Network Route Structures in Constraint Programs Hajime Nakajima, Haruo Oishi, Takeshi Masuda, Tetsuya Yamamura (NTT) SS2007-49 |
In this paper, we propose a new test method for constraint programs designed to find routes in a network. These programs... [more] | SS2007-49 pp.67-72 |
| SS | 2007-12-17 17:00 |
Shimane | Shimane Univ. | A tool for designing Sudoku problems by interactive fill-in approach Yohei Umano, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Uni.) SS2007-50 |
In recent years, efficient SAT solvers, which decide satisfiability of boolean formulae, have been developed and used in... [more] | SS2007-50 pp.73-78 |
| SS | 2007-12-18 09:00 |
Shimane | Shimane Univ. | Integration Test Environment of Web Application Asako Katayama, Tadahiro Uehara, Toshihiro Kodaka, Yuka Tanaka, Kyoko Ohashi, Rieko Yamamoto (Fujitsu Lab.) SS2007-51 |
In this paper, we propose Aptester, which is an integrated test management tool especially for web applications. Apteste... [more] | SS2007-51 pp.79-84 |
| SS | 2007-12-18 09:30 |
Shimane | Shimane Univ. | Proposal of a Test Case Generation Method for Enbedded Systems from Sequence Diagram Yo Inoue, Tetsuro Katayama (Univ of Miyazaki) SS2007-52 |
An efficient testing to keep the quality of products is required in embedded system development. But, test-cases are ma... [more] |
SS2007-52 pp.85-90 |
| SS | 2007-12-18 10:00 |
Shimane | Shimane Univ. | Aspect-oriented programming for the web controller layer Keiji Hokamura, Naoyasu Ubayashi (KIT) SS2007-53 |
This paper proposes a new aspect-oriented programming (AOP) mechanism for web application development. A variety of cros... [more] | SS2007-53 pp.91-96 |
| SS | 2007-12-18 10:45 |
Shimane | Shimane Univ. | On a Function Point Measurement from Web application using static analysis Teruhiko Akaike, Shinji Kusumoto (Osaka Univ.), Shigeo Hanabusa, Toshihisa Shibamoto (hitachi SAS) SS2007-54 |
Function Points (FP) is a method to measure software size based on the number of functions that the software provides. T... [more] | SS2007-54 pp.97-102 |
| SS | 2007-12-18 11:15 |
Shimane | Shimane Univ. | Detecting functional division in execution trace of object oriented program Yui Watanabe, Takashi Ishio, Katsuro Inoue (Osaka Univ.) SS2007-55 |
An object-oriented program involves dynamically determined elements such as dynamic binding andexception handling. To un... [more] | SS2007-55 pp.103-108 |
| SS | 2007-12-18 11:45 |
Shimane | Shimane Univ. | Evolvable e-Learning system Katsunori Katoh, Kiyoshi Akama, Keisuke Nakamura (Hokkaido Univ.) SS2007-56 |
E-Learning systems are used by many learners and teachers. However, all system functions are not provided for the users... [more] |
SS2007-56 pp.109-114 |
[Return to Top Page]