Information and Systems-Software Science(Date:2007/12/10)

Presentation
表紙

,  

[Date]2007/12/10
[Paper #]
目次

,  

[Date]2007/12/10
[Paper #]
Supporting the Elicitation of Regulation Compliant Requirements

Motoshi SAEKI,  Haruhiko KAIYA,  

[Date]2007/12/10
[Paper #]SS2007-38
Experimental evaluation of i* framework development method based on actor relationship matrix

Komon Ibe,  Yuriko Sato,  Shuichiro Yamamoto,  

[Date]2007/12/10
[Paper #]SS2007-39
Construction of a Requests Model from a Requests List

Hideaki MIYANISHI,  Hiroyuki YAMADA,  Hiroshi KAI,  Hirohisa AMAN,  

[Date]2007/12/10
[Paper #]SS2007-40
On the Acyclicity of Combinators

Munehiro IWAMI,  

[Date]2007/12/10
[Paper #]SS2007-41
Generating tests from proof scores in the OTS/CafeOBJ method

Masaki NAKAMURA,  Takahiro SEINO,  

[Date]2007/12/10
[Paper #]SS2007-42
An experimental program-generation system based on meta-computation

Yoshitaka NISHIDA,  Kiyoshi AKAMA,  Hidekatu KOIKE,  

[Date]2007/12/10
[Paper #]SS2007-43
A Framework for Synthesizing low-level Imperative Programs From Deterministic Abstract Programs

Toshihiro WAKATSUKI,  Kiyoshi AKAMA,  Hiroshi MABUCHI,  

[Date]2007/12/10
[Paper #]SS2007-44
Extending program-generation system GeneSys for allowing negation in equational specifications

Satoru KONDO,  Masahiko SAKAI,  Toshiki SAKABE,  Keiichirou KUSAKARI,  Naoki NISHIDA,  

[Date]2007/12/10
[Paper #]SS2007-45
A Grouping Method of Code Clone with Code-Inclusion Relation

Toshihiro KAMIYA,  

[Date]2007/12/10
[Paper #]SS2007-46
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,  

[Date]2007/12/10
[Paper #]SS2007-47
Generating Gapped Code Clone Information using AGM Algorithm

Yoshiki HIGO,  Yasushi UEDA,  Shinji KUSUMOTO,  Katsuro INOUE,  

[Date]2007/12/10
[Paper #]SS2007-48
Improving Test Methods for Constraints on Network Route Structures in Constraint Programs

Hajime NAKAJIMA,  Haruo OISHI,  Takeshi MASUDA,  Tetsuya YAMAMURA,  

[Date]2007/12/10
[Paper #]SS2007-49
A Tool for Designing Sudoku Problems by Interactive Fill-in Approach

Yohei UMANO,  Masahiko SAKAI,  Naoki NISHIDA,  Toshiki SAKABE,  Keiichirou KUSAKARI,  

[Date]2007/12/10
[Paper #]SS2007-50
Integration Test Environment of Web Application

Asako KATAYAMA,  Tadahiro UEHARA,  Toshihiro KODAKA,  Yuka TANAKA,  Kyoko OHASHI,  Rieko YAMAMOTO,  

[Date]2007/12/10
[Paper #]SS2007-51
Proposal of a Test Case Generation Method for Embedded Systems from Sequence Diagram

Yo INOUE,  Tetsuro KATAYAMA,  

[Date]2007/12/10
[Paper #]SS2007-52
Aspect-oriented Programming for the Web Controller Layer

Keiji HOKAMURA,  Naoyasu UBAYASHI,  

[Date]2007/12/10
[Paper #]SS2007-53
Function Point Measurement from Web application Using Static Analysis

Teruhiko AKAIKE,  Shinji KUSUMOTO,  SHIGEO Hanabusa,  TOSHIHISA Shibamoto,  

[Date]2007/12/10
[Paper #]SS2007-54
Detecting functlonal division in execution trace of object oriented program

Yui WATANABE,  Takashi ISHIO,  Katsuro INOUE,  

[Date]2007/12/10
[Paper #]SS2007-55
12>> 1-20hit(24hit)