株式会社NTTデータ オートモビリジェンス研究所
NTTデータグループ

『ZIPC WATCHERS』

適用事例ダウンロード

ZIPC WATCHERS

『ZIPC WATCHERS』
適用事例ダウンロード

ZIPC WATCHERS Vol.11

Vol.11
Vol.11

特別寄稿 CAL編

Vol. 11-1
CALが目指すもの

陸先端科学技術大学院大学 情報科学研究科 教授
CATS先端研究所(CAL)所長(非常勤)
二木 厚吉

特別寄稿 ソフトウェア経済学編

Vol. 11-2
ゲーム理論で見るソフトウェア経済学の考え方

一橋大学 大学院経済学研究科 教授
岡田 章

Vol. 11-3
ソフトウェア経済学のすすめ-価値指向のソフトウェア開発アプローチ-

株式会社一(いち) 副社長/専任コンサルタント
CATS先端研究所(CAL)技術顧問
大槻 繁

適用事例

Vol. 11-4
VoIP製品におけるZIPCの活用とPC上のプロトタイプの有効性

サクサシステムエンジニアリング株式会社 技術本部 第一プロジェクト 調査役
十日市 勉

Vol. 11-5
UMLの要求仕様からZIPCを使用した状態遷移表でのモデル検証成果

株式会社ネットタッチソフトウェア 開発部 主任技師
須藤 崇

スポンサー寄稿

Vol. 11-6
企業のさらなる成長を実現するためのIBM R&Dイノベーション・サービス

アイ・ビー・エム ビジネスコンサルティング サービス株式会社
インダストリアル事業本部 R&Dイノベーション・サービス パートナー
安藤 充
日本アイ・ビー・エム株式会社 ラショナル事業部 事業開発部長
望木 純一

Vol. 11-7
ソフトウェア構成管理ツールのデファクトスタンダード
Serena PVCS Professional

セレナソフトウェア日本支社

Vol. 11-8
プログラムの処理フローに潜むエラーを自動検出 C++test7.0の「バグ探偵」機能

テクマトリックス株式会社 システムエンジニアリング事業部
ソフトウェアエンジニアリング技術部 部長
西田 啓一

社内寄稿

Vol. 11-9
組込みソフトウェアアセット

CATS社 取締役副社長
渡辺 政彦

Vol. 11-10
CESLにおける形式手法研究

CATS社 組込みソフトウェア研究所(CESL)所長
松本 充広

CATS ZIPC

『ZIPC WATCHERS』

Vol.21
Vol.20
Vol.19
Vol.18
Vol.17
Vol.16
Vol.15
Vol.14
Vol.13
Vol.12
Vol.11
Vol.10
Vol.09
Vol.08
Vol.07
Vol.06
Vol.05
Vol.04
Vol.03
Vol.02
Vol.01

CONTACT

導入に関する質問やご相談、サポートに関することなど、まずはお気軽にご相談ください。