[SystemSafety] C for OSs

[Peter Bernard Ladkin]

On 2019-09-16 09:05 , Gergely Buday wrote:
> "The problem is the industry was flooded with a huge number of self-taught programmers."
> 
> What book should we base the teaching of software engineers? Where is the holy grail of true
> software engineering?
Good question, but not the same thing. People I respect (including myself :-) ) estimate the
proportion of programming in SE to be around 10%.

For programming, John Barnes's SPARK book is a good start. For SE in general, the Tokeneer archive
is very helpful. For Requirements Engineering, Michael Jackson's Problem Frames is as good as it
gets. For an application to safety engineering, check out
http://people.csail.mit.edu/dnj/talks/veldhoven10/comments-on-leveson-interlock-example.pdf

Then there's SWEBOK............

PBL

Prof. Peter Bernard Ladkin, Bielefeld, Germany
MoreInCommon
Je suis Charlie
Tel+msg +49 (0)521 880 7319  www.rvs-bi.de





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