Formal methods: the very idea - Some thoughts about why they work when they work

被引：24

作者：

Berry, DM

机构：

[1] Univ Waterloo, Dept Comp Sci, Waterloo, ON N2L 3G1, Canada

[2] GMD FIRST, D-12489 Berlin, Germany

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2002年 / 42卷 / 01期

关键词：

D O I：

10.1016/S0167-6423(01)00026-0

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The paper defines formal methods (FMs) and describes economic issues involved in their application. From these considerations and the concepts implicit in "No Silver Bullet", it becomes clear that FMs are best applied during requirements engineering. A explanation of why FMs work when they work is offered and it is suggested that FMs help the most when the applier is most ignorant about the problem domain. (C) 2002 Elsevier Science B.V. All rights reserved.

引用

页码：11 / 27

页数：17

共 28 条

[1]

[Anonymous], 1975, MYTHICAL MAN MONTH E

[2] THE IMPORTANCE OF IGNORANCE IN REQUIREMENTS ENGINEERING [J].