国民年金法の述語論理による記述と検証 SMTソルバーZ3Pyを用いたケーススタディ von 片山, 卓也

Volltext

ソフトウェア工学研究の回顧 von 片山, 卓也

Volltext

ソフトウェア進化はなぜ難しいか？ －いくつかの技術的チャレンジ von 片山, 卓也

Volltext

歯内治療におけるExtended RealityとCBCTの活用 von 浦羽, 真太郎, 片山, 卓也, 馬場, 聖, 鈴木, 規元

Volltext

ソフトウェアシステムの構成変更における整合性判定フレームワークの提案 von 谷崎, 裕明, 片山, 卓也

Volltext

個人防護具の装着が歯科用実体顕微鏡の使用に与える影響に関する基礎的検証 von 片山, 卓也, 浦羽, 真太郎, 馬場, 聖, 鈴木, 規元

Volltext

事例研究：定理証明によるファイアウォールサーバモデルの検証 von 矢竹, 健朗, 片山, 卓也

Volltext

特集「ディペンダブルソフトウェア」の編集にあたって von 片山, 卓也

Volltext

25aRL-9 オリゴチオフェン-金ナノ粒子ハイブリッドを用いた単一電子トランジスタにおけるdouble-dotの伝導特性(25aRL 分子デバイス・DNA,領域7(分子性固体・有機導体))... von 照井, 通文, 野口, 裕, 片山, 卓也, 松下, 未知雄, 菅原, 正

Volltext

発展ドメイン: ソフトウェア発展のための理論的枠組み von 片山, 卓也

Volltext

22pPSA-53 高出力遠赤外光の超短パルス化によるESRエコー装置の開発(22pPSA 領域3ポスターセッション(酸化物・f電子系磁性・スピングラス・量子スピン・フラストレーション系・実験技術・磁性一般),領域3(磁性,磁気共鳴))... von 光藤, 誠太郎, 中川, 智嗣, 佐古, 勝英, 大橋, 洋介, 片山, 卓也, 立松, 芳典, 小川, 勇, 出原, 敏孝, 斉藤, 輝雄

Volltext

オブジェクト指向分析モデルにおけるデータフローの形式化と解析手法 von 青木, 利晃, 片山, 卓也

Volltext

並行オブジェクトから並行処理列への変換法 von 岡崎, 光隆, 青木, 利晃, 片山, 卓也

Volltext

コラボレーションに基づくオブジェクト指向モデルの検証 von 矢竹, 健朗, 青木, 利晃, 片山, 卓也

Volltext

22aRC-9 オリゴチオフェン系ワイヤー分子-金ナノ粒子複合系のナノギャップ電極を用いた電気伝導特性(導電性高分子・分子デバイス,領域7,分子性固体・有機導体)... von 照井, 通文, 野口, 裕, 片山, 卓也, 松下, 未知雄, 上田, 里永子, 菅原, 正

Volltext

国際競争時代におけるSEC への期待 von 片山, 卓也

Volltext

歴代理事長座談会 von 大野, 豊, 片山, 卓也, 米澤, 明憲, 武市, 正人, 阿草, 清滋

Volltext

レーザ・フォーミングの三次元熱弾塑性解析 von 難波, 義治, 片山, 卓也

Volltext

さきがけ「機能と構成」領域研究報告 von 片山, 卓也

Volltext

A Framework of Consistency Check for Configuration Changes of Software Systems von TANIZAKI, Hiroaki, KATAYAMA, Takuya

Volltext