Information and Systems-Software Science(Date:2002/01/23)

Presentation
表紙

,  

[Date]2002/1/23
[Paper #]
目次

,  

[Date]2002/1/23
[Paper #]
A Verification Method for Petri Nets Using Satisfiability Solvers

Eiji ASHIDA,  Tatsuhiro TSUCHIYA,  Tohru KIKUNO,  

[Date]2002/1/23
[Paper #]SS2001-39
Formal Development Method of Embedded Systems based on Refinement Verification Theory of Hybrid Models

Satoshi YAMANE,  

[Date]2002/1/23
[Paper #]SS2001-40
A Method for Describing Specification for GUI Controllers with Timing Resrictions

YUichiro KATO,  Kozo OKANO,  Kenichi TANIGUCHI,  

[Date]2002/1/23
[Paper #]SS2001-41
Deriving Work Schedules from Workflow Description in Coloured Petri-nets with Time Constraints

Akira YAMAGUCHI,  Kozo OKANO,  Kenichi TANIGUCHI,  

[Date]2002/1/23
[Paper #]SS2001-42
An XML Viewer for Tabular Forms in Mechanical DOcumentation

Osamu INOUE,  Shun-ichi NAKAGAWA,  Tomokazu ARITA,  Takeo YAKU,  Kensei TSUCHIDA,  

[Date]2002/1/23
[Paper #]SS2001-43
Design of Object-oriented Computation Description Japanese

Yoshikazu UEDA,  Masayuki HATAKEYAMA,  Kazuo KATOHGI,  

[Date]2002/1/23
[Paper #]SS2001-44
Dynamic Dependence Analysis Method using Java Virtual Machine

Kenji Konda,  Fumiaki Umemori,  Fumiaki Ohata,  Katsuro Inoue,  

[Date]2002/1/23
[Paper #]SS2001-45
[OTHERS]

,  

[Date]2002/1/23
[Paper #]