Information and Systems-Software Science(Date:2000/05/11)

Presentation
表紙

,  

[Date]2000/5/11
[Paper #]
目次

,  

[Date]2000/5/11
[Paper #]
Model of Design Patterns and Supporting Tool for Applying Them

Takayoshi Sanui,  Masahiko Kamo,  Takashi Kobayashi,  Motoshi Saeki,  

[Date]2000/5/11
[Paper #]SS2000-1
On a GUI based verification environment for Z specification

Hiroshi Ishikawa,  

[Date]2000/5/11
[Paper #]SS2000-2
Deliberation Structure Model Using Mailing List in Cooperative Work

Hiroyuki MURAKOSHI,  Akira SHIMAZU,  Koichiro OCHIMIZU,  

[Date]2000/5/11
[Paper #]SS2000-3
How to Design and Construct Distance Learning System?

Atsuo Inomata,  Tohru SHIMANAKA,  Koichiro OCHIMIZU,  

[Date]2000/5/11
[Paper #]SS2000-4
Formalization and Verification for Real-Time Software

SATOSHI YAMANE,  

[Date]2000/5/11
[Paper #]SS2000-5
[OTHERS]

,  

[Date]2000/5/11
[Paper #]