Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2007-57
A Parametric Execution Time Analysis Method for Reuse of Real-time Software
Toshihiro Kawai, Akio Nakata (Hiroshima City Univ.)
pp. 1 - 6
SS2007-58
A Method for Feature-Oriented Unit Test for Software Product Lines
Masataka Fukuda, Tsuneo Nakanishi (Kyushu Univ.), Teruaki Kitasuka (Kumamoto Univ.), Shigeaki Tagashira, Akira Fukuda (Kyushu Univ.)
pp. 7 - 12
SS2007-59
Error Detection with Soft Typing for Dynamically Typed Languages
Akihisa Yamada, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.)
pp. 13 - 18
SS2007-60
Formal verification of multiple UML diagrams using bounded model checking
Hisashi Miyazaki, Tomoyuki Yokogawa, Sadahito Sato, Yoichiro Sato, Michiyoshi Hayase (Okayama Prefectural Univ.)
pp. 19 - 24
SS2007-61
Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques
Keiichirou Kusakari, Masahiko Sakai (Nagoya Univ.)
pp. 25 - 30
SS2007-62
A Sufficient Condition for Termination of Transformations from Equations to Rewrite Rules
Kiyotaka Mizuno, Naoki Nishida, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari (Nagoya Univ.)
pp. 31 - 36
SS2007-63
On Information Flow Analysis for Recursive Programs Based on Self-Composition
Nobuhiro Itoh, Hiroyuki Seki (NAIST)
pp. 37 - 42
SS2007-64
Token Comparison Approach to Detect Code Clone-related Bugs
Yii Yong Lee, Yasuhiro Hayase, Makoto Matsushita, Katsuro Inoue (Osaka Univ.)
pp. 43 - 48
SS2007-65
Quality prediction model for object oriented software using UML metrics
Camargo Cruz Ana Erika, Koichiro Ochimizu (JAIST)
pp. 49 - 54
SS2007-66
Specification Description and High-level Design Methodology of SoC Considering Design Reuse
Yeonbok Lee, Yuji Ishikawa, Yoshihisa Kojima, Hiroaki Yoshida (Tokyo Univ.), Hisashi Yomiya (TOSHIBA Corp.), Satoshi Komatsu, Masahiro Fujita (Tokyo Univ.)
pp. 55 - 60
SS2007-67
A Web Application Bi-Execution Model for a Framework Preventing Amazon-Bug
Ryota Mizuno, Keigo Imai, Ryo Suetsugu, Nobuyuki Kaneko (Nagoya Univ.), Shinichiro Yamamoto (Aichi Prefectural Univ.), Kiyoshi Agusa (Nagoya Univ.)
pp. 61 - 66
SS2007-68
A Method for GUI Model Transformation in MDA
Hiroshi Mukaeda, Hajime Iwata (Wasedan Univ.), Junko Shirogane (TWCU), Yoshiaki Fukazawa (Wasedan Univ.)
pp. 67 - 72
SS2007-69
Implementation and Evaluation for Requirements Elicitation Tool based on comparison among existing similar systems
Naoyuki Kitazawa, Akira Osada, Kazuyuki Kamijyo, Haruhiko Kaiya, Kenji Kaijiri (SU)
pp. 73 - 78
SS2007-70
A task granularity control for reduction of response time at task assignment
Hidehiro Kanemitsu, Hidenori Nakazato, Takashige Hoshiai, Yoshiyori Urano (Waseda Univ.)
pp. 79 - 84
SS2007-71
A Proposal of The Secure Software Engineering
Noriaki Saito, Satoshi Oda, Toshiyuki Miyazawa, Sakae Chikara, Toru Kawamura, Atsushi Kanai (NTT)
pp. 85 - 90
SS2007-72
Software Characteristic Analysis Based on History of Software Metrics
Kenji Murao, Yoshiki Higo, Katsuro Inoue (Osaka Univ.)
pp. 91 - 96
SS2007-73
Requirements Quality Management based on the Requirements Structure
Noboru Hattori, Shuichiro Yamamoto (NTT DATA Corporation)
pp. 97 - 102
SS2007-74
Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop
Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
pp. 103 - 108
SS2007-75
An Approach to analyze use-relation between software components with duplicated names
Makoto Ichii (Osaka Univ.), Reishi Yokomori (Nanzan Univ.), Katsuro Inoue (Osaka Univ.)
pp. 109 - 114
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.