|
趣 旨：
システム検証技術はシステムの信頼性を向上し、 また開発者を助ける道具として広く研究されてきました。さらに、情報技術が社会に急速に浸透しつつある今、その重要性は社会基盤の信頼性向上と、開発を行う企業の競争力向上の両面においてますます高まっています。
この特別トラックでは、システム検証技術とそれに関連する技術(仕様記述、テスト手法、プログラム解析・合成など)とその応用の研究発表を通じ、これらの技術の可能性、方向性を議論します。基調講演として、木下佳樹氏(産業技術総合研究所
システム検証研究センター長)をお招きし、産総研におけるシステム検証研究の活動を中心にシステム検証技術についてご講演いただきます。
一般公演として、システム検証を支える基礎理論、新技術の提案、既存技術の新たな応用の提案、ケーススタディ、問題提起などの講演を広く募集します。
照会先：
櫻田 英樹
NTTコミュニケーション科学基礎研究所
〒243-0198 神奈川県厚木市森の里若宮3-1
Tel: 046-240-3674 Fax: 046-240-4709
E-mail: sakurada@theory.brl.ntt.co.jp
|