陸 暁松 | 静岡大学大学院理工学研究科
スポンサーリンク
概要
関連著者
-
陸 暁松
静岡大学大学院理工学研究科
-
富樫 敦
宮城大学事業構想学部
-
金指 文明
(有)カラビナシステムズ
-
富樫 敦
静岡大学情報学部
-
富樫 敦
静岡大学 情報学部
-
金指 文明
静岡大学大学院理工学研究科
-
陸 暁松
静岡大学 情報学部
-
金指 文明
静岡大学 情報学部
-
富樫 敦
静岡大学大学院理工学研究科
-
吉山 章
静岡大学大学院理工学研究科
-
包 卿
静岡大学大学院理工学研究科
著作論文
- システム要求記述と形式仕様の導出 : デバッグ結果の反映方法
- システム要求からの形式仕様の導出方法(マルチメディア通信と分散処理)
- システム要求と仕様記述の検証
- An Effective Environment for Software Development
- 階層リアクティブシステムの仕様記述