[SystemSafety] Software reliability (or whatever you would prefer to call it)

[David Haworth]

Derek, Yiannis,

How about

"A study of the spontaneous decay of unstable elements of C++"

where a "while" can decay into an "if" and a "goto".

Target date for publication is 2015-04-01, so we'd better hurry.

Although a fear we may have been beaten ito the mark on this one
as well, and by a long chalk.

All the best,
Dave



On 2015-03-10 15:55:41 +0000, Derek M Jones wrote:
> Yiannis,
> 
> >I propose a paper on "Quantum superposition in C++"
> 
> Industry is ahead of you:
> http://shape-of-code.coding-guidelines.com/2014/12/17/qcl/
> 
> -- 
> Derek M. Jones           Software analysis
> tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE

-- 
David Haworth B.Sc.(Hons.), OS Kernel Developer    david.haworth at elektrobit.com
Tel: +49 9131 7701-6154     Fax: -6333                  Keys: keyserver.pgp.com
Elektrobit Automotive GmbH           Am Wolfsmantel 46, 91058 Erlangen, Germany
Geschäftsführer: Alexander Kocher, Gregor Zink       Amtsgericht Fürth HRB 4886
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: Digital signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20150311/1da14e37/attachment.pgp>