[SystemSafety] Data on Proof effectiveness from real projects

[Peter Bernard Ladkin]

On 2016-04-03 09:58 , Les Chambers wrote:
> I should point out that while it is laudable for an organisation to collect these stats for the
> purposes of process improvement, they are rarely transferable across organisations (sometimes the're
> useless between projects in the same organisation) .....

Yes.

This point was made thirty-five years ago in a book called Software Engineering Economics by a
gentleman called Barry Boehm. It's a little odd that we should need to reiterate such basics here,
but kudos to Les for doing so.

As Martyn pointed out, and as may be read in the survey paper by Rod&Co, some SE organisations get
*really different* figures from those being used in this exchange.

PBL
Prof. Peter Bernard Ladkin, Faculty of Technology, University of Bielefeld, 33594 Bielefeld, Germany
Je suis Charlie
Tel+msg +49 (0)521 880 7319  www.rvs.uni-bielefeld.de





-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 455 bytes
Desc: OpenPGP digital signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20160403/cc0aac29/attachment.pgp>