本文に飛ぶ

年 〜
年

検索結果 2 件

Formal Engineering Methods for Software Development : ソフトウエア開発における形式的工学手法

Formal Engineering Methods for Software Development : ソフトウエア開発における形式的工学手法
紙図書
劉, 少英 (Liu, Shaoying) , 法政大学1999-2001<Y151-H11694173>
国立国会図書館
  • 件名形式工学手法 ソフトウエア検証 厳密なレビユ- 仕様テスト 仕様分析 形...

ソフトウェア開発の高信頼アジャイル形式工学手法に関する研究

ソフトウェア開発の高信頼アジャイル形式工学手法に関する研究
デジタル図書
劉, 少英, LIU, Shaoying2019-05-28科学研究費助成事業 研究成果報告書p.1-6
全国の図書館
  • 要約等...技術とした「SOFLアジャイル形式工学手法」を確立して、次の具体的な成果......した。（１）SOFLアジャイル形式工学手法のフレームワーク、（２）SOFL仕様のアニメーション化手法、...
  • 件名アジャイル開発手法 形式工学手法 ハイブリッド仕様 仕様アニメーション ソフトウェアテスト ...

検索結果は以上です。

RSS