金指 文明 | (有)カラビナシステムズ
スポンサーリンク
概要
関連著者
-
富樫 敦
宮城大学事業構想学部
-
金指 文明
(有)カラビナシステムズ
-
富樫 敦
静岡大学情報学部
-
金指 文明
静岡大学大学院理工学研究科
-
塚崎 悟
静岡大学情報学部情報科学科
-
陸 暁松
静岡大学大学院理工学研究科
-
富樫 敦
静岡大学大学院理工学研究科
-
富樫 敦
静岡大学 情報学部
-
石井 基樹
静岡大学大学院理工学研究科
-
山田 将弘
静岡大学大学院理工学研究科
-
塚崎 悟
静岡大学工学部知能情報工学科
-
金指 文明
静岡大学工学部知能情報工学科
-
富樫 敦
静岡大学工学部知能情報工学科
-
陸 暁松
静岡大学 情報学部
-
金指 文明
静岡大学 情報学部
-
谷沢 智史
静岡大学情報学部情報学科
-
山田 智子
宮城大学大学院:(財)仙台応用情報学研究振興財団
-
中川 晋吾
静岡大学大学院理工学研究科
-
富樫 敦
宮城大学
-
金指 文明
有限会社カラビナシステムズ
-
山田 智子
(財)仙台応用情報学研究振興財団
-
庄子 栄光
(株)仙台ソフトウェアセンター
-
塚崎 悟
静岡大学大学院理工学研究科
-
伊藤 正
(株)色麻町産業開発公社
-
郡司 琢行
(株)仙台ソフトウェアセンター
-
山田 将弘
静岡大学情報学部理工学研究科
-
石井 基樹
静岡大学情報学部理工学研究科
-
金指 文明
静岡大学情報学部理工学研究科
著作論文
- 資源適合型アプリケーション統合開発環境の提案(ソフトウェア工学の基礎)
- π計算に対する視覚化システム
- 3J-4 地域農業活性化に資するユビキタス農業サービスの提案(社会への応用,一般セッション,コンピュータと人間社会,情報処理学会創立50周年記念)
- システム要求仕様化のための状態遷移システム表示インターフェースの開発
- 効果的なソフトウェア開発のためのシステムシミュレータ
- M-pi計算 : モジュール記述を持つ計算体系
- 3L-1 π計算に対する動作視覚化システム
- π計算に対する動作視覚化システム
- システム要求記述と形式仕様の導出 : デバッグ結果の反映方法
- π計算に対する様相証明システム
- システム要求からの形式仕様の導出方法(マルチメディア通信と分散処理)
- π計算に対する証明システム
- システム要求と仕様記述の検証
- An Effective Environment for Software Development