形式手法
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/24 14:45 UTC 版)
関連項目
- 自動定理証明
- 契約プログラミング
- 形式仕様記述
- 形式的検証
- 形式体系
- モデル検査
- ソフトウェア工学
- 仕様記述言語
- ベストプラクティス 形式手法が根拠となる理論に基づく科学的手法であるのに対し、現実の実践を元にする。
外部リンク
- Formal Methods Wiki
- Formal Methods Europe (FME)
- Formal method keyword on Microsoft Academic Search
- Foldoc:formal methods
- Evidence on Formal Methods uses and impact on Industry Supported by the DEPLOY project (EU FP7)
- ^ R. W. Butler (2001年8月6日). “What is Formal Methods?”. 2006年11月16日閲覧。
- ^ C. Michael Holloway. Why Engineers Should Consider Formal Methods. 16th Digital Avionics Systems Conference (27–30 October 1997). オリジナルの2006年11月16日時点におけるアーカイブ。 2006年11月16日閲覧。.
- ^ Monin & Hinchey 2003, pp. 3–4
- ^ Daniel Jackson and Jeannette Wing, "Lightweight Formal Methods", IEEE Computer, 1996年4月
- ^ Vinu George and Rayford Vaughn, "Application of Lightweight Formal Methods in Requirement Engineering", Crosstalk: The Journal of Defense Software Engineering, 2003年1月
- ^ Daniel Jackson, "Alloy: A Lightweight Object Modelling Notation", ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 11, Issue 2 (2002年4月), pp. 256-290
- ^ Richard Denney, Succeeding with Use Cases: Working Smart to Deliver Quality, Addison-Wesley Professional Publishing, 2005, ISBN 0-321-31643-6.
- ^ Sten Agerholm and Peter G. Larsen, "A Lightweight Approach to Formal Methods", In Proceedings of the International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, Springer-Verlag, 1998年10月
- ^ Backus, J.W. (1959). “The Syntax and Semantics of the Proposed International Algebraic Language of Zürich ACM-GAMM Conference”. Proceedings of the International Conference on Information Processing. UNESCO
- ^ Knuth, Donald E. (1964), Backus Normal Form vs Backus Naur Form. Communications of the ACM, 7(12):735–736.
- ^ フレデリック・ブルックス、『銀の弾などない』 (No Silver Bullet) 、1986年
固有名詞の分類
- 形式手法のページへのリンク