Information and Systems-Knowledge-Based Software Engineering(Date:1996/07/29)

Presentation
表紙

,  

[Date]1996/7/29
[Paper #]
目次

,  

[Date]1996/7/29
[Paper #]
A Formalization of Transformation from Program Specification to Procedural Program

Lukman Efendy,  Masaaki Hasimoto,  Toyohiko Hirota,  

[Date]1996/7/29
[Paper #]KBSE-96-8
Upon an Object-Oriented Software Testing : Evaluating Paths Using Priority in a State Transition Diagram

Mari OMORI,  Kazunori MATUMOTO,  

[Date]1996/7/29
[Paper #]KBSE-96-9
Parallel Development Methodology for Distributed Information System : ParaDISE

Keisuke HATA,  Shin-ichi TAKATA,  Shuichiro YAMAMOTO,  

[Date]1996/7/29
[Paper #]KBSE-96-10
Wide Area Component warehouse System : WACS

Hironori TAKAKI,  Shuichiro YAMAMOTO,  

[Date]1996/7/29
[Paper #]KBSE-96-11
[OTHERS]

,  

[Date]1996/7/29
[Paper #]