Information and Systems-Software Science(Date:2001/07/23)

Presentation
表紙

,  

[Date]2001/7/23
[Paper #]
目次

,  

[Date]2001/7/23
[Paper #]
Verification of a Task Model based on the Formal Definition of a Task Flow Diagram

Mizuho Ikeda,  Yoshiaki Takata,  Hiroyuki Seki,  

[Date]2001/7/23
[Paper #]SS2001-12
Synthesis of Evolutional Reactive System Programs

Noriaki Yoshiura,  

[Date]2001/7/23
[Paper #]SS2001-13
Source Code Analysis System Using Code Clone Detection Tool

Yasushi Ueda,  Toshihiro Kamiya,  Shinji Kusumoto,  Katsuro Inoue,  

[Date]2001/7/23
[Paper #]SS2001-14
Similarity Metric CSR Using Code Clone Detection Tool

Tetsuo Yamamoto,  Makoto Matsushita,  Toshihiro Kamiya,  Katsuro Inoue,  

[Date]2001/7/23
[Paper #]SS2001-15
A Reconstructing Method of Framework according to the Manufacturer's Intention

Hiroshi YOSHIMOTO,  Kouichi ONO,  Yoshiaki FUKAZAWA,  

[Date]2001/7/23
[Paper #]SS2001-16
A secretary agent system based on reference model of real world secretary

Hiroshi IGAKI,  Makoto SAKAI,  Hajimu IIDA,  Ken'ichi MATSUMOTO,  

[Date]2001/7/23
[Paper #]SS2001-17
[OTHERS]

,  

[Date]2001/7/23
[Paper #]