Information and Systems-Software Science(Date:2004/01/16)

Presentation
表紙

,  

[Date]2004/1/16
[Paper #]
目次

,  

[Date]2004/1/16
[Paper #]
A Solution for Problems Including Negative Expressions by Using Equivalent Transformation Language Interpreter System ETI

Hidekatsu KOIKE,  Kiyoshi AKAMA,  

[Date]2004/1/16
[Paper #]SS2003-38
Computation Models and Correctness Relations

Kiyoshi AKAMA,  NANTAJEEWARAWAT Ekawit,  

[Date]2004/1/16
[Paper #]SS2003-39
Consistency Checking of Timeliness QoS of Multi-Media Systems and Derivation of Codes for Timing Control

Kazuo MORI,  Kozo OKANO,  Kenichi TANIGUCHI,  

[Date]2004/1/16
[Paper #]SS2003-40
Agent Migration Method based on Bytecode Transformation in Java

Kazumi SAMESHIMA,  Junichi MIYAO,  

[Date]2004/1/16
[Paper #]SS2003-41
Development of the "Wit" -Object-Oriented Programming language in consideration of Delayed Differential Programming

Chikara Kawamura,  Hirotaka Uoi,  

[Date]2004/1/16
[Paper #]SS2003-42
Consistency Check for Pre- and Post-Conditions of "Design by Contract" in Component Interfaces

Tatsuya KAGEYAMA,  Katsuhisa MARUYAMA,  

[Date]2004/1/16
[Paper #]SS2003-43
Suppotring the development of a thesaurus for requirements analysis

Masatoshi ONIKUBO,  Motoshi SAEKI,  

[Date]2004/1/16
[Paper #]SS2003-44
Specifying Digital Logic in Various Formal Methods and Their Comparison

Kazuhiro YAMANAKA,  Yasushi KATO,  Kaoru TAKAHASHI,  

[Date]2004/1/16
[Paper #]SS2003-45
複写される方へ

,  

[Date]2004/1/16
[Paper #]
奥付

,  

[Date]2004/1/16
[Paper #]