Information and Systems-Software Science(Date:1995/05/19)

Presentation
表紙

,  

[Date]1995/5/19
[Paper #]
目次

,  

[Date]1995/5/19
[Paper #]
Automatic synthesis of mutual exclusion system by real-time linear temporal logic

Satoshi Yamane,  Singo Yamane,  

[Date]1995/5/19
[Paper #]
Timing verification of distributed software

Satoshi Yamane,  Souon Oh,  

[Date]1995/5/19
[Paper #]
Effectiveness of Recursion Elimination Techniques

Hirofusa Otani,  Yoshihiko Futamura,  

[Date]1995/5/19
[Paper #]
Debug support system based on program dependence analysis

Shinichi Sato,  Takanori Kobayashi,  Hajimu Iida,  Katsuro Inoue,  Koji Torii,  

[Date]1995/5/19
[Paper #]
The Latest Trend in Software Engineering Research : Topics discussed in International Conference on Software Engineering

Koji Torii,  Katsuro Inoue,  Ken-ichi Matsumoto,  

[Date]1995/5/19
[Paper #]
Visualizing Dynamic Behavior of Protocols in LOTOS

Keiichi Yasumoto,  Teruo Higashino,  Toshio Matsuura,  Kenichi Taniguchi,  

[Date]1995/5/19
[Paper #]
Verification of Liveness Property for Communicating FSM's with Transition Conditions depending on State Visiting Numbers

Tatsuo Ito,  Akio Nakata,  Teruo Higashino,  Kenichi Taniguchi,  

[Date]1995/5/19
[Paper #]
Identifying Differences Between Two Versions of a Source Program Based on dependency

Atsushi Yoshida,  Shinichirou Yamamoto,  Kiyoshi Agusa,  

[Date]1995/5/19
[Paper #]
On a Method to Evaluate a Sequential Cost for Functional Programming using Monad

Seikoh Nishita,  Yoshihiro Tsujino,  Nobuki Tokura,  

[Date]1995/5/19
[Paper #]
[OTHERS]

,  

[Date]1995/5/19
[Paper #]