Information and Systems-Software Science(Date:1996/11/06)

Presentation
表紙

,  

[Date]1996/11/6
[Paper #]
目次

,  

[Date]1996/11/6
[Paper #]
Supporting Incremental Formalization of Knowledge in an Interactive System

Takahiro Suzuki,  Shingo Takada,  Kumiyo Nakakoji,  

[Date]1996/11/6
[Paper #]SS96-28
Application of Petri nets to B type KJ method

Jun Munemori,  Jin Okazawa,  Masaru Sudo,  

[Date]1996/11/6
[Paper #]SS96-29
Application of Genetic-Algorithm-Based Method to Scheduling Parallel Programs Using Task Duplication

Tetsuya Osada,  Tatsuhiro Tsuchiya,  Tohru Kikuno,  

[Date]1996/11/6
[Paper #]SS96-30
On Fault-Tolerant Scheduling Algorithm for a Multiprocessor System

Koji Hashimoto,  Tatsuhiro Tsuchiya,  Tohru Kikuno,  

[Date]1996/11/6
[Paper #]SS96-31
A Stepwise Inheritance Framework for object-oriented Behavior Models

Suk-hyung Hwang,  Yoshihiro Tsujino,  Nobuki Tokura,  

[Date]1996/11/6
[Paper #]SS96-32
Improvements of Specifications of Object Oriented System Softwares

Takeshi NAKAMURA,  Yohtaro YATSUZUKA,  

[Date]1996/11/6
[Paper #]SS96-33
Impact of Object-Oriented Design on Corrective Maintenance

Shingo Takada,  Yoshihiro Takada,  Walcelio Melo,  Koji Torii,  

[Date]1996/11/6
[Paper #]SS96-34
[OTHERS]

,  

[Date]1996/11/6
[Paper #]