Information and Systems-Software Science(Date:2003/11/20)

Presentation
表紙

,  

[Date]2003/11/20
[Paper #]
目次

,  

[Date]2003/11/20
[Paper #]
Graphical Representation and Consistency Check of Temporal Constraints in Visual Programming(Software Science)

Satoshi YAMAGATA,  Kiyohiro TAMAI,  Shingo YAMAGUCHI,  Minoru TANAKA,  

[Date]2003/11/20
[Paper #]SS2003-16,KBSE2003-19
Evaluation of suitablity for the requirement specification of a framework(Software Science)

Teruyoshi ZENMYO,  Takashi KOBAYASHI,  Motoshi SAEKI,  

[Date]2003/11/20
[Paper #]SS2003-17,KBSE2003-20
Comparison of SA/SD and a UML based method for designing 3-tiered Architecture systems(Software Science)

Shuichiro Yamamoto,  

[Date]2003/11/20
[Paper #]SS2003-18,KBSE2003-21
Formal Analysis of Safety and Security Concerns in Web Service(Software Science)

Shin NAKAJIMA,  

[Date]2003/11/20
[Paper #]SS2003-19,KBSE2003-22
Safety Concern in System Development(Software Science)

Hiromi KOBAYASHI,  

[Date]2003/11/20
[Paper #]SS2003-20,KBSE2003-23
A Programming Language for Finalcial Data Written in XBRL(Software Science)

Yuji TAKAO,  Makoto MATSUSHITA,  Katsuro INOUE,  Katsuhiko YUURA,  

[Date]2003/11/20
[Paper #]SS2003-21,KBSE2003-24
A Flexible Component Connection Model and Its Implementation(Software Science)

Daiki HOSHI,  Hironori WASHIZAKI,  Yoshiaki FUKAZAWA,  

[Date]2003/11/20
[Paper #]SS2003-22,KBSE2003-25
Java Software Component Analysis and Retrieval System SPARS-J(Software Science)

Hideo NlSHI,  Fumiaki UMEMORI,  Reishi YOKOMORI,  Tetsuo YAMAMOTO,  Makoto MATSUSHITA,  Shinji KUSUMOTO,  Katsuro INOUE,  

[Date]2003/11/20
[Paper #]SS2003-23,KBSE2003-26
奥付

,  

[Date]2003/11/20
[Paper #]
複写される方へ

,  

[Date]2003/11/20
[Paper #]