Information and Systems-Software Science(Date:2001/01/15)

Presentation
表紙

,  

[Date]2001/1/15
[Paper #]
目次

,  

[Date]2001/1/15
[Paper #]
Deductive Refinement Verification Method based on Assume-Guarantee Style for Real-Time Software

Satoshi Yamane,  Takashi Yamanokuchi,  

[Date]2001/1/15
[Paper #]SS2000-31
An example of specification and verification of real-time systems with CafeOBJ : timed two-process race

Takahiro Seino,  Kazuhiro Ogata,  Kokichi Futatsugi,  

[Date]2001/1/15
[Paper #]SS2000-32
The on-demand context-sensitive rewriting

Masaki Nakamura,  Kokichi Futatsugi,  

[Date]2001/1/15
[Paper #]SS2000-33
Design and Evaluation of a Boolean Function-Based Deadlock Detection Method for Concurrent Systems

Yusuke Tokuda,  Tatsuhiro Tsuchiya,  Tohru Kikuno,  

[Date]2001/1/15
[Paper #]SS2000-34
Automatic Verification of Fault Tolerance Using Symbolic Model Checking

Tomoyuki Yokogawa,  Tatsuhiro Tsuchiya,  Tohru Kikuno,  

[Date]2001/1/15
[Paper #]SS2000-35
Constructing Optimal κ-Coteries in General Networks

Eunhey Choi,  Tatsuhiro Tsuchiya,  Tohru Kikuno,  

[Date]2001/1/15
[Paper #]SS2000-36
Describing Distributed Systems with Formal Specification Language Focusing on Deployment and Communication Paths of Components

Hayato MIYATA,  Kazuhiro FUJIEDA,  Koichiro OCHIMUZU,  

[Date]2001/1/15
[Paper #]SS2000-37
Geographic Information Distribution Method to Location-aware Buffers in Road Vehicle Communications

Yu Wang,  Shigeaki Tagashira,  Satoshi Fujita,  

[Date]2001/1/15
[Paper #]SS2000-38
An Automatic Generation of Parallel Processes from a Behavior Definition and Event Sets

Susumu Kiyamura,  Yoshiaki Takata,  Hiroyuki Seki,  

[Date]2001/1/15
[Paper #]SS2000-39
An Active Scheduler : Autonomous Concurrency Control of Parallel Programs in a Distributed Environment

Lei Deng,  Shigeaki Tagashira,  Yasuhide Ito,  Satoshi Fujita,  

[Date]2001/1/15
[Paper #]SS2000-40
A formulation of mobile computation by extension of simply typed λ calculus

Satoshi Shirai,  Masahiko Sato,  

[Date]2001/1/15
[Paper #]SS2000-41
[OTHERS]

,  

[Date]2001/1/15
[Paper #]