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

Presentation
表紙

,  

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

,  

[Date]1996/11/5
[Paper #]
Development and Evaluation of Educational Desktop Conference System DEMPO III for a Large Number of People

Takashi YOSHINO,  Jun MUNEMORI,  Shiro ITO,  Yoji NAGASAWA,  

[Date]1996/11/5
[Paper #]SS96-23
A formal specification and verification method for microcomputer software embedded in an air-conditioner

Daisuke Takahara,  Yasunori Ishihara,  Kiichiro Ninomiya,  Yutaka Yamada,  Hiroyuki Seki,  Shigesada Omoto,  

[Date]1996/11/5
[Paper #]SS96-24
Intersection Problems and a Method for Solving Them

Kiyoshi Akama,  Eiichi Miyamoto,  

[Date]1996/11/5
[Paper #]SS96-25
Winner-take-all

Yoichi Takenaka,  Nobuo Funabiki,  Seishi Nishikawa,  

[Date]1996/11/5
[Paper #]SS96-26
Programming methodology by 2nd order logic

Shinji Kono,  

[Date]1996/11/5
[Paper #]SS96-27
[OTHERS]

,  

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