Last modified: Tue Sep 28 16:15:45 JST 2010

Links

Event or News

• 3rd International Conference on Embedded Software and Systems (ICESS 2007)
• 第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007)
• 28th TRS meeting at Ikeda
• ソフトウェアテストシンポジウム2007東京 JaSST'07 東京(１月)
• 第163回 計算機アーキテクチャ研究会 第3回 組込みシステム研究会 合同研究発表会
• 第４回ディペンダブルソフトウェアワークショップ(DSW06-2)
• Embedded Systems Symposium 2006
  組込みシステムシンポジウム2006(ESS2006)

Verification of embedded system (組込みシステムの検証)

• IPSJ Special Interest Group on Embedded Systems
  情報処理学会 組込みシステム研究会(SIGEMB)
• Dependable Computing
  電子情報通信学会 ディペンダブルコンピューティング研究会 (DC研究会)
• 日本ソフトウェア科学会 ディペンダブルソフトウェア研究会
• 実践！ソフトウェアモデル検査
  - モデル検査によるソフトウェアテストの実践研究会のホームページ．
• Japan Symposium on Software Testing
  ソフトウェアテストシンポジウム (JaSST)
  - 主催は，ソフトウェアテスト技術振興協会（ASTER:Association of Software Test EngineeRing） ．
• Forum On Reliable Computer softwarE (FORCE)
  ソフトウェア信頼性研究会
• Formal Methods
  - いろいろ情報がある．ツールの一覧は便利．
• 検証的なアンテナ
• @IT 組込み開発
• IPAソフトウェア・エンジニアリング・センター 組込み系事業
  - ２００６年版組込みソフトウェア産業実態調査報告書など
• 組み込みネット
• ソフトウェア技術者協会 (SEA)
  - 関西支部プロセス分科会
  - フォーマル・メソッド分科会
• SESSAME: Society of Embedded Software Skill Acquisition for Managers and Engineers
  NPO 法人 組込みソフトウェア管理者・技術者育成研究会
• System Verification and Validation Laboratory Inc.
  株式会社システム検証研究所
• IT Verification Industry Association
  IT検証産業協会
• TrueLogic Inc.
  - ブログ TrueLogic 仕事日記 もある．
• SPIN
• NEC 組込みソリューション
• FlexRay
  - 「次世代」車載通信プロトコル．
• Bounded Model Checking for ANSI-C (CBMC)
  - C 言語が直接モデル検査できるので面白い．結構これでもかという ぐらいのソースが通ってしまって，勝手にチェックしてくれる．
• Introduction to QuickCheck
• Impress Robot Watch

Verification of communication protocol (ネットワークプロトコルの検証)

• 石川研究室
  - YAMPII などの開発をしている
• 米澤研究室
• SDL Forum Society
  - プロトコルの記述言語 Specification and Description Language のホームページ．メッセージシーケンスチャートなども含む．
• Verification Tools for SDL
• 高木浩光＠自宅の日記

Algebras for formal language theory (形式言語理論のための代数)

• Theoretical Computer Science
  - 計算機科学の代表的な論文誌．
• 檜山正幸のキマイラ飼育記
• 檜山正幸のキマイラ飼育記 メモ編
• Otter: An Automated Deduction System
• 圏論勉強会
• LMNtal
  - 多重集合書換えに基づくプログラミング言語． 計算過程が絵で見れておもしろい．
• Dexter Kozen's Home Page
• 代数, 論理, 幾何と情報科学研究集会 (ALGI)
• Georg Struth
• Wolfram Kahl
• 日本ソフトウェア科学会

Term rewriting system (項書換え系)

• Toyama Lab.
  外山研究室
• Vincent van Oostrom
• ERLANG
• Rewriting Home Page
• Thomas Genet's Home Page
• Rewriting Techniques and Applications 2007 (RTA2007)

Tree automaton (木構造オートマトン)

• The Collection of Computer Science Bibliographies
• CiteSeer.IST
  - 論文を探すときに便利．
• Tree Automata Techniques and Applications
  - 木構造オートマトンの教科書．いつ出版してもおかしくないと おもうけど，いつまでも出版されない．

etc

• COMP研
• Amagasaki City