Information and Systems-Software Science(Date:2009/07/30)

Presentation
表紙

,  

[Date]2009/7/30
[Paper #]
目次

,  

[Date]2009/7/30
[Paper #]
A Structure Analysis Method for Programs with Recursive Calls

Masanori OHDAN,  Tadamasa SATOU,  

[Date]2009/7/30
[Paper #]SS2009-12
A Prototype Implementation of Reverse-Engineering Toolkit: Remics

Toshihiro Kamiya,  

[Date]2009/7/30
[Paper #]SS2009-13
Formalization of AST Conversion for Applying CASE Tools to Other Programming Languages

Isamu HASEGAWA,  Katsuhiko GONDOW,  

[Date]2009/7/30
[Paper #]SS2009-14
Archface: An Interface Mechanism for Bridging a Gap between Architectural Design and Implementation

Jun NOMURA,  Naoyasu UBAYASHI,  

[Date]2009/7/30
[Paper #]SS2009-15
Incremental Feature Location Using Dynamic Slicing

Katsuyuki SEKINE,  Teruyoshi ZENMYO,  Shinpei HAYASHI,  Motoshi SAEKI,  

[Date]2009/7/30
[Paper #]SS2009-16
Software Classification According to their Functionality based on Used Classes

Tomoyoshi USHIMADO,  Akito MONDEN,  Haruaki TAMADA,  Kenichi MATSUMOTO,  

[Date]2009/7/30
[Paper #]SS2009-17
Verification for the Real-time Network Systems with the Probabilistic Model Checker and its Comparision with the Network Simulator NS-2

Akihiko ITO,  Takeshi NAGAOKA,  Kozo OKANO,  Shinji KUSUMOTO,  

[Date]2009/7/30
[Paper #]SS2009-18
Rodin Plugin to Link Event-B and SPIN

Thomas MULLER,  Shin NAKAJIMA,  

[Date]2009/7/30
[Paper #]SS2009-19
On Formalizing Behavioral Aspects of Reflective Computation

Takuo WATANABE,  

[Date]2009/7/30
[Paper #]SS2009-20
A study on software configuration management for software maintenance

Yuji SAKATA,  Shinji IWASAKI,  Shuichiro YAMAMOTO,  

[Date]2009/7/30
[Paper #]SS2009-21
Requirements Validation Criteria and Method based on Actor Interaction

Noboru HATTORI,  Shuichiro YAMAMOTO,  Tsuneo AJISAKA,  Tsuyoshi KITANI,  

[Date]2009/7/30
[Paper #]SS2009-22
Automatic Generation of Access Control Command from Information Flow Specification

Yoshimasa MORITA,  Yoshiaki TAKATA,  Hiroyuki SEKI,  

[Date]2009/7/30
[Paper #]SS2009-23
Automating Equivalence Partitioning in Test Case Generation with a Computer Algebra System

Satoshi HATTORI,  

[Date]2009/7/30
[Paper #]SS2009-24
Guidelines and Anti-Patterns for Feature Modeling to Predesign Software Architecture

Tsuneo NAKANISHI,  Kenji HISAZUMI,  Akira FUKUDA,  

[Date]2009/7/30
[Paper #]SS2009-25
Discrimination of Unsuitable Estimation Project in Estimation by Analogy

Tetsuaki NAKAMURA,  Takeshi KAKIMOTO,  Shinji KUSUMOTO,  

[Date]2009/7/30
[Paper #]SS2009-26
Metrics to Validate Software Maintenance Process using Bug Tracking System

Kyohei FUSHIDA,  Shinji KAWAGUCHI,  Hajimu IIDA,  

[Date]2009/7/30
[Paper #]SS2009-27
On the Job Learing : A New Software Engineering Education Method on Collaboration between Academia and Industry

Takashi KOBAYASHI,  Atsushi SAWADA,  Shinichiro YAMAMOTO,  Masami NORO,  Kiyoshi AGUSA,  

[Date]2009/7/30
[Paper #]SS2009-28
複写される方へ

,  

[Date]2009/7/30
[Paper #]
12>> 1-20hit(22hit)