Information and Systems-Software Science(Date:2005/12/13)

Presentation
表紙

,  

[Date]2005/12/13
[Paper #]
目次

,  

[Date]2005/12/13
[Paper #]
Identifying of an Object from Different Viewpoints using its Attributes in the Computing Environments

Fumiko KOUDA,  Takashi CHIKAYAMA,  

[Date]2005/12/13
[Paper #]SS2005-63
Pseudo Adaptive Methods

Noriki AMANO,  

[Date]2005/12/13
[Paper #]SS2005-64
Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting Systems

Keiichirou KUSAKARI,  Masahiko SAKAI,  

[Date]2005/12/13
[Paper #]SS2005-65
FTA-Product Line Engineering Collaboration

Atsushi NODA,  Tsuneo NAKANISHI,  Akira FUKUDA,  

[Date]2005/12/13
[Paper #]SS2005-66
Type Judgement System for Communication Error in Distributed JoinJAVA Programs

Masaki SAEKI,  Toshiki SAKABE,  Masahiko SAKAI,  Keiichirou KUSAKARI,  Naoki NISHIDA,  

[Date]2005/12/13
[Paper #]SS2005-67
Predicting fault-proneness of legacy systems based on change impact

Kenichi KOBAYASHI,  Toshiaki YOSHINO,  Katsuro INOUE,  Yasuhiro HAYASE,  Akihiko MATSUO,  Manabu KAMIMURA,  

[Date]2005/12/13
[Paper #]SS2005-68
Exploration of Scale-freeness of Use-relations of Software Components

Makoto ICHII,  Makoto MATSUSHITA,  Katsuro INOUE,  

[Date]2005/12/13
[Paper #]SS2005-69
A Layered Architecture of Formal Specification

Xiaojing ZHANG,  Yoichi OMORI,  Keijiro ARAKI,  

[Date]2005/12/13
[Paper #]SS2005-70
Supporting Method for Insertion of Behaviors based on Security Requirements to Scenarios

Hiroya ITOGA,  Atsushi OHNISHI,  

[Date]2005/12/13
[Paper #]SS2005-71
A Software Process Tailoring System based on Quantitative Management Plans

Kazumasa HIKICHI,  Hajimu IIDA,  Kenichi MATSUMOTO,  

[Date]2005/12/13
[Paper #]SS2005-72
Metrics for effort estimation on contracting maintenance service

Yasuhiro HAYASE,  Makoto MATSUSHITA,  Shinji KUSUMOTO,  Katsuro INOUE,  Kenichi KOBAYASHI,  Toshiaki YOSHINO,  

[Date]2005/12/13
[Paper #]SS2005-73
Characterizing Software Projects Unpredictable by Effort Estimation Models

Koji TODA,  Masateru TSUNODA,  Akito MONDEN,  Kenichi MATSUMOTO,  

[Date]2005/12/13
[Paper #]SS2005-74
A Framework to Generate SPIN based Verification Codes for Struts WEB Applications

Takayuki FUJIWARA,  Kozo OKANO,  Shinji KUSUMOTO,  

[Date]2005/12/13
[Paper #]SS2005-75
複写される方へ

,  

[Date]2005/12/13
[Paper #]
Notice about photocopying

,  

[Date]2005/12/13
[Paper #]
奥付

,  

[Date]2005/12/13
[Paper #]