Information and Systems-Software Science(Date:2008/02/25)

Presentation
表紙

,  

[Date]2008/2/25
[Paper #]
目次

,  

[Date]2008/2/25
[Paper #]
A Method for Feature-Oriented Unit Test for Software Product Lines

Masataka FUKUDA,  Tsuneo NAKANISHI,  Teruaki KITASUKA,  Shigeaki TAGASHIRA,  Akira FUKUDA,  

[Date]2008/2/25
[Paper #]SS2007-57
Error Detection with Soft Typing for Dynamically Typed Languages

Akihisa YAMADA,  Keiichirou KUSAKARI,  Masahiko SAKAI,  Toshiki SAKABE,  Naoki NISHIDA,  

[Date]2008/2/25
[Paper #]SS2007-58
Formal Verification of multiple UML diagrams using bounded model checking

Hisashi MIYAZAKI,  Tomoyuki YOKOGAWA,  Sadahito SATO,  Yoichiro SATO,  Michiyoshi HAYASE,  

[Date]2008/2/25
[Paper #]SS2007-59
Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques

Keiichirou KUSAKARI,  Masahiko SAKAI,  

[Date]2008/2/25
[Paper #]SS2007-60
A Sufficient Condition for Termination of Transformations from Equations to Rewrite Rules

Kiyotaka MIZUNO,  Naoki NISHIDA,  Toshiki SAKABE,  Masahiko SAKAI,  Keiichirou KUSAKARI,  

[Date]2008/2/25
[Paper #]SS2007-61
On Information Flow Analysis for Recursive Programs Based on Self-Composition

Nobuhiro ITOH,  Hiroyuki SEKI,  

[Date]2008/2/25
[Paper #]SS2007-62
Token Comparison Approach to Detect Code Clone-related Bugs

YongLee YII,  Yasuhiro HAYASE,  Makoto MATSUSHITA,  Katsuro INOUE,  

[Date]2008/2/25
[Paper #]SS2007-63
Quality prediction model for object oriented software using UML metrics

CRUZ ANA ERIKA CAMARGO,  KOICHIRO OCHIMIZU,  

[Date]2008/2/25
[Paper #]SS2007-64
Specification Description and High-level Design Methodology of SoC Considering Design Reuse

Yeonbok LEE,  Yuji ISHIKAWA,  Yoshihisa KOJIMA,  Hiroaki YOSHIDA,  Hisashi YOMIYA,  Satoshi KOMATSU,  Masahiro FUJITA,  

[Date]2008/2/25
[Paper #]SS2007-65
A Web Application Bi-Execution Model for a Framework Preventing Amazon-Bug

Ryota MIZUNO,  Keigo IMAI,  Ryo SUETSUGU,  Nobuyuki KANEKO,  Shinniciro YAMAMOTO,  Kiyoshi AGUSA,  

[Date]2008/2/25
[Paper #]SS2007-66
A Method for GUI Model Transformation in MDA

Hiroshi MUKAEDA,  Hajime IWATA,  Junko SHIROGANE,  Yoshiaki FUKAZAWA,  

[Date]2008/2/25
[Paper #]SS2007-67
Implementation and Evaluation for Requirements Elicitation Tool based on comparison among existing similar systems

Naoyuki KITAZAWA,  Akira OSADA,  Kazuyuki KAMIJYO,  Haruhiko KAIYA,  Kenji KAIJIRI,  

[Date]2008/2/25
[Paper #]SS2007-68
A task granularity control for reduction of response time at task assignment

Hidehiro KANEMITSU,  Hidenori NAKAZATO,  Takashige HOSHIAI,  Yoshiyori URANO,  

[Date]2008/2/25
[Paper #]SS2007-69
A Proposal of The Secure Software Engineering

Noriaki SAITO,  Satoshi ODA,  Toshiyuki MIYAZAWA,  Sakae CHIKARA,  Toru KAWAMURA,  Atsushi KANAI,  

[Date]2008/2/25
[Paper #]SS2007-70
Software Characteristic Analysis Based on History of Software Metrics

Kenji MURAO,  Yoshiki HIGO,  Katsuro INOUE,  

[Date]2008/2/25
[Paper #]SS2007-71
Requirements Quality Management based on the Requirements Structure

Noboru HATTORI,  Shuichiro YAMAMOTO,  

[Date]2008/2/25
[Paper #]SS2007-72
A Parametric Execution Time Analysis Method for Reuse of Real-time Software

Toshihiro KAWAI,  Akio NAKATA,  

[Date]2008/2/25
[Paper #]SS2007-73
Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop

Takeshi NAGAOKA,  Kozo OKANO,  Shinji KUSUMOTO,  

[Date]2008/2/25
[Paper #]SS2007-74
12>> 1-20hit(23hit)