Software engineering evolution
K Agusa - … . 7th International Workshop on Principles of Software …, 2004 - ieeexplore.ieee.org
A new software system is typically implemented with existing software, named reuse based
development. With the history of miseries of low reliability and delayed schedule of software …
development. With the history of miseries of low reliability and delayed schedule of software …
[PDF][PDF] 形式的手法に基づくJavaScript プログラムの型検査系の実現
大久保弘崇, 山本晋一郎, 坂部俊樹… - 信学技報, SS2004-3 …, 2004 - ist.aichi-pu.ac.jp
あらまし 我々は, 形式的手法の実際的応用を目指し, 次の 3 つの視点から研究を進めている. 第 1
は, 型のないオブジェクト指向言語である JavaScript に対する型検査手法を提案すること …
は, 型のないオブジェクト指向言語である JavaScript に対する型検査手法を提案すること …
モデル生成法に基づくJavaScript プログラム型検査の機械実行
大久保弘崇, 山本晋一郎, 坂部俊樹… - … 情報通信学会論文誌 D, 2006 - search.ieice.org
プログラムの実行の安全性を保証するために, プログラムに対する型検査がしばしば行われる.
本論文では, 型のないオブジェクト指向言語である JavaScript で書かれたプログラムの型検査 …
本論文では, 型のないオブジェクト指向言語である JavaScript で書かれたプログラムの型検査 …
[PDF][PDF] アクティビティグラフからのテストケース生成技術
片山朝子, 上原忠弘, 大橋恭子, 山本里枝子 - FIT2005, Sept., 2005 - ieice.org
ビジネスアプリケーション開発において, 品質保証のため顧客からのテストの品質強化要求が高まっ
ている. しかし今までテスト品質はテストケースを作成する開発者の経験, スキルの差異による …
ている. しかし今までテスト品質はテストケースを作成する開発者の経験, スキルの差異による …
[引用][C] Application Web avec framework Struts & Infrastructure C¹GRID
NT Tuyet, R BOLDUC, C SIMARD