新川 芳行

Publications36
h-index0
Citations0
Highly Influential Citations0
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.
  • Publications
  • Influence
VDM++によるBASEトランザクションのデータ整合性評価 (サービスコンピューティング)
CPNによるGoogle App Engineのモデル化と検証
O-002 分散環境におけるトランザクション分割(O分野:情報システム,一般論文)
時間制約が存在するUMLの正当性検証(次世代経営情報技術,一般)
D-17-2 B2B Internet Transactions
VDM++とCPNによるUMLクラス図-アクティビティ図間の整合性検証
UMLシーケンス図における時間制約の記述とその検証(次世代経営情報技術,その他)
CPNによるUMLクラス図とステートマシン図間の整合性検証(インタプライズモデル化,一般)
O-030 Business Modelの形式的記述(ビジネスモデリング,O分野:情報システム)
ユースケース-シーケンスモデル間の整合性検証(ワークショップ-Web2.0時代のビジネスモデル-)