Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2007-38
Supporting the Elicitation of Regulation Compliant Requirements
Motoshi Saeki (Tokyo Tech), Haruhiko Kaiya (Shinshu Univ.)
pp. 1 - 6
SS2007-39
Experimental Evaluation of i* framework development using actor relationship matrix
Komon Ibe, Yuriko Sato, Shuichiro Yamamoto (NTTDATA)
pp. 7 - 12
SS2007-40
Construction of a Requests Model from a Request List
Hideaki Miyanishi, Hiroyuki Yamada, Hiroshi Kai, Hirohisa Aman (Ehime Univ.)
pp. 13 - 18
SS2007-41
On the Acyclicity of Combinators
Munehiro Iwami (Shimane Univ.)
pp. 19 - 24
SS2007-42
Generating tests from proof scores in the OTS/CafeOBJ method
Masaki Nakamura (JAIST), Takahiro Seino (AIST)
pp. 25 - 30
SS2007-43
An experimental program-generation system based on meta-computation.
Yoshitaka Nishida, Kiyoshi Akama (Hokkaido Univ.), Hidekatu Koike (Sapporo Gakuin Univ.)
pp. 31 - 36
SS2007-44
A Framework for Synthesizing low-level Imperative Programs From Deterministic Abstract Programs
Toshihiro Wakatsuki, Kiyoshi Akama (Hokkaido Univ.), Hiroshi Mabuchi (Iwate Prefectural Univ.)
pp. 37 - 42
SS2007-45
Extending program-generation system GeneSys for allowing negation in equational specifications
Satoru Kondo, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
pp. 43 - 48
SS2007-46
A Grouping Method of Code Clone with Code-Inclusion Relation
Toshihiro Kamiya (AIST)
pp. 49 - 54
SS2007-47
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.)
pp. 55 - 60
SS2007-48
Generating Gapped Code Clone Information using AGM Algorithm
Yoshiki Higo (Osaka Univ.), Yasushi Ueda (JAXA), Shinji Kusumoto, Katsuro Inoue (Osaka Univ.)
pp. 61 - 66
SS2007-49
Improving Test Methods for Constraints on Network Route Structures in Constraint Programs
Hajime Nakajima, Haruo Oishi, Takeshi Masuda, Tetsuya Yamamura (NTT)
pp. 67 - 72
SS2007-50
A tool for designing Sudoku problems by interactive fill-in approach
Yohei Umano, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Uni.)
pp. 73 - 78
SS2007-51
Integration Test Environment of Web Application
Asako Katayama, Tadahiro Uehara, Toshihiro Kodaka, Yuka Tanaka, Kyoko Ohashi, Rieko Yamamoto (Fujitsu Lab.)
pp. 79 - 84
SS2007-52
Proposal of a Test Case Generation Method for Enbedded Systems from Sequence Diagram
Yo Inoue, Tetsuro Katayama (Univ of Miyazaki)
pp. 85 - 90
SS2007-53
Aspect-oriented programming for the web controller layer
Keiji Hokamura, Naoyasu Ubayashi (KIT)
pp. 91 - 96
SS2007-54
On a Function Point Measurement from Web application using static analysis
Teruhiko Akaike, Shinji Kusumoto (Osaka Univ.), Shigeo Hanabusa, Toshihisa Shibamoto (hitachi SAS)
pp. 97 - 102
SS2007-55
Detecting functional division in execution trace of object oriented program
Yui Watanabe, Takashi Ishio, Katsuro Inoue (Osaka Univ.)
pp. 103 - 108
SS2007-56
Evolvable e-Learning system
Katsunori Katoh, Kiyoshi Akama, Keisuke Nakamura (Hokkaido Univ.)
pp. 109 - 114
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.