Information and Systems-Knowledge-Based Software Engineering(Date:1998/08/06)

Presentation
表紙

,  

[Date]1998/8/6
[Paper #]
目次

,  

[Date]1998/8/6
[Paper #]
A Proposal for Cooperate Mechanism of Distributed Objects based on Dynamic Dependencies

Mikio Ohki,  

[Date]1998/8/6
[Paper #]KBSE98-4
A Cooperative Distributed Approach to Flight Scheduling Problems

Kazuho Yamada,  Tomoyuki Nakata,  Morio Nagata,  

[Date]1998/8/6
[Paper #]KBSE98-5
A Framework of Problem Solving Using Equivalent Transformation of First-order Logical Constraints

Tadayuki Yoshida,  Kiyoshi Akama,  Eiichi Miyamoto,  

[Date]1998/8/6
[Paper #]KBSE98-6
Introduction of a New Class Problems in Place of Logical Problems

Kiyoshi Akama,  Hidekatsu Koike,  Eiichi Miyamoto,  

[Date]1998/8/6
[Paper #]KBSE98-7
A Method of Generating Equivalent Transformation Rules from Specifications

Hidekatsu Koike,  Kiyoshi Akama,  Eiichi Miyamoto,  

[Date]1998/8/6
[Paper #]KBSE98-8
The Extension of Relational Inference-based Formalization of Detection Method for Structure Clash between Program Input and Output Data

Efendy Lukman,  Masaaki Hashimoto,  Toyohiko Hirota,  

[Date]1998/8/6
[Paper #]KBSE98-9
[OTHERS]

,  

[Date]1998/8/6
[Paper #]