実践！ソフトウェアモデル検査

	HOME \| お問い合わせ \| サイトマップ \| リンク

■ 研究会のご紹介

活動内容(ENGLISH) | 活動履歴 | 発表論文(ENGLISH) | 構成メンバ(ENGLISH)

発表論文

「モデル検査の状態爆発への実践的低減策」

篠崎孝一、太田弘、早水公二、桃本邦重、星野光勇

ソフトウェアテストシンポジウム JaSST'09 in東京　2009年1月

論文（pdfファイル:304kByte）^※ 発表用スライド（pdfファイル:442kByte）^※

※論文および発表資料はJaSST実行委員会より使用許可を得て掲載しております。

「企業におけるフォーマルメソッドの実践」

前半：篠崎孝一　　後半：早水公二

組込みシステム技術に関するサマーワークショップ　SWEST10　2008年9月

前半発表用スライド（pdfファイル:3,105kByte）^※ 後半発表用スライド（pdfファイル:874kByte）^※

※発表資料はSWEST10事務局より使用許可を得て掲載しております。

「支援ソフトウェアを活用した実践的モデル検査」

篠崎孝一、太田弘、早水公二、星野光勇

ソフトウェアテストシンポジウム JaSST'08 in東京　2008年1月

論文（pdfファイル:411kByte）^※ 発表用スライド（pdfファイル:2,464kByte）^※

※論文および発表資料はJaSST実行委員会より使用許可を得て掲載しております。

「モデル検査活用のための実践的知識」

篠崎孝一、早水公二

第四回　システム検証の科学技術シンポジウム　2007年11月

論文（pdfファイル:182kByte）発表用スライド（pdfファイル:5,663kByte）

「開発現場から見たモデル検査導入の課題と対策」

篠崎孝一、早水公二

ESS2007（組込みシステムシンポジウム2007）　2007年10月

論文（pdfファイル:15kByte）発表用スライド（pdfファイル:7,207kByte）

「モデル検査支援ソフトウェアの開発」

篠崎孝一、太田弘、早水公二、星野光勇、今村哲典、吉田雅昭

ソフトウェアテストシンポジウム JaSST'07 in東京　2007年1月

論文（pdfファイル:790kByte）^※ 発表用スライド（pdfファイル:1,765kByte）^※

※論文および発表資料はJaSST実行委員会より使用許可を得て掲載しております。

「モデル検査の実用化課題と支援ソフトウェアの開発」

篠崎孝一、太田弘、早水公二、星野光勇、今村哲典、吉田雅昭

第三回　システム検証の科学技術シンポジウム　2006年11月

論文（pdfファイル:833kByte）発表用スライド（pdfファイル:1,163kByte）

※モデル検査支援ソフトウェア開発の背景・必要性について紹介しています。

「ソフトウェア開発現場におけるモデル検査教育カリキュラム」

早水公二、星野光勇、篠崎孝一、太田弘、今村哲典、吉田雅昭

第三回　システム検証の科学技術シンポジウム　2006年11月

論文（pdfファイル:264kByte）発表用スライド（pdfファイル:453kByte）

「モデル検査のデバックへの適用とモデル化作業支援」

篠崎孝一、太田弘、早水公二、星野光勇

ソフトウェアテストシンポジウム JaSST'06 in大阪　2006年5月

論文（pdfファイル:265kByte）^※ 発表用スライド（pdfファイル:697kByte）^※

※論文および発表資料はJaSST実行委員会より使用許可を得て掲載しております。

「モデル検査の実務導入2つのアプローチと最新の適用事例」

早水公二、篠崎孝一、太田弘、星野光勇

ソフトウェアテストシンポジウム JaSST'06 in大阪　2006年5月

発表用スライド（pdfファイル:398kByte）^※

※発表資料はJaSST実行委員会より使用許可を得て掲載しております。

「モデル検査のデバックへの適用」

篠崎孝一、太田弘、早水公二、星野光勇

ソフトウェアテストシンポジウム JaSST'06　2006年1月

論文（pdfファイル:42kByte）^※ 発表用スライド（pdfファイル:509kByte）^※

※論文および発表資料はJaSST実行委員会より使用許可を得て掲載しております。

「モデル検査の実務導入2つのアプローチ」

早水公二、星野光勇、篠崎孝一

ソフトウェアテストシンポジウム JaSST'06　2006年1月

発表用スライド（pdfファイル:473kByte）^※

※発表資料はJaSST実行委員会より使用許可を得て掲載しております。

「モデル検査の実用化に向けた取り組みと事例報告」

早水公二、篠崎孝一、星野光勇

第２回システム検証の科学技術シンポジウム　2005年10月
（産総研システム検証研究センターテクニカルレポート PS2005-017に採録）

「組込みソフトウェア開発のイン-デザインモデル検査」

篠崎孝一、水口大知、石井健志

ソフトウェアテストシンポジウム JaSST'04　2004年1月
（産総研システム検証研究センターテクニカルレポート PS2004-001に採録）（JaSSTホームページでも公開中）

「モデル検査器を用いた自動検針システムの仕様検証」

早水公二、篠崎孝一、高橋孝一、渡邊宏

情報処理学会　第43回プログラミング研究会にて発表　2003年3月
（産総研システム検証研究センターテクニカルレポート PS2003-005に採録）

オンラインサービス

支援ソフトウェア

Copyright(C) 2005-2011 Practical research group of Software Model checking. All Rights Reserved.