[SystemSafety] Candidates for the firing squad

[Steve Tockey]

Meh . . .

In a perfect world we would be using requirements specification techniques that a) prevented whole categories of requirements defects from ever happening in the first place, and b) making the requirements defects that do happen as visible as possible as soon as possible so they could be fixed while still cheap.

In a perfect world we would be using design techniques that a) prevented whole categories of design defects from ever happening in the first place, and b) making the design defects that do happen as visible as possible as soon as possible so they could be fixed while still cheap.

In a perfect world, programming language-level issues would be relegated to the tertiaty-at-best level at which they properly belong.


My two cents in under four minutes.




From: systemsafety <systemsafety-bounces at lists.techfak.uni-bielefeld.de<mailto:systemsafety-bounces at lists.techfak.uni-bielefeld.de>> on behalf of Olwen Morgan <olwen.morgan at btinternet.com<mailto:olwen.morgan at btinternet.com>>
Date: Thursday, September 20, 2018 at 10:56 AM
To: "systemsafety at lists.techfak.uni-bielefeld.de<mailto:systemsafety at lists.techfak.uni-bielefeld.de>" <systemsafety at lists.techfak.uni-bielefeld.de<mailto:systemsafety at lists.techfak.uni-bielefeld.de>>
Subject: Re: [SystemSafety] Candidates for the firing squad



On 20/09/18 17:31, Chris Hills wrote:

Of course in a perfect wold  we would be using Modula 3 or Oberon.


Oh, what a glorious excuse for a tribal culture war about programming languages!

Languages that I would/do prefer to C, depending on context of use, include:

1.    SPARK Ada without a runtime system but with all the SPARK tools,

2.    Erlang, if it were properly standardised, especially for telecoms systems

3.    FORTH, for small embedded applications (love the minimalist language concept)

4.    Tcl/Tk for GUIs (again, love the minimalist concept of the Tcl compiler)

5.    CPN-ML compiled to native code for critical embedded apps (because you can generate your code from a verified CPN model)

6.    Python (because we all need a language for quick-and-dirty hacks at some time or other)

Who now DARES to gainsay these?


4-minute warning timer started,
O

PS: We do not live in a perfect wold and Chris, like me, is both a lousy trypist and an even worse poofreader :-0



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20180920/6398c8c9/attachment.html>