Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > de.sci.electronics > #218389
| Path | csiph.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail |
|---|---|
| From | Hans-Peter Diettrich <DrDiettrich1@aol.com> |
| Newsgroups | de.sci.electronics |
| Subject | Re: Suche Erfahrungen mit Fritz! Smarthome |
| Date | Tue, 13 Dec 2016 09:59:22 +0100 |
| Lines | 21 |
| Message-ID | <eb9sipFlnn1U7@mid.individual.net> (permalink) |
| References | <o2k6hu$3ng$1@dont-email.me> <eb63cqFot57U1@mid.individual.net> <o2llnr$3te$1@dont-email.me> <o2m148$qjp$1@news.albasani.net> <o2m4ur$kui$1@dont-email.me> <o2m9jb$51a$1@news.albasani.net> <o2mge2$ks$1@dont-email.me> <o2mhnq$hba$1@news.albasani.net> <584EDDBF.73FF341D@B.Maus.De> <o2mo2v$2uu$1@news.albasani.net> <584EFA8F.48E175EF@B.Maus.De> |
| Mime-Version | 1.0 |
| Content-Type | text/plain; charset=ISO-8859-1; format=flowed |
| Content-Transfer-Encoding | 8bit |
| X-Trace | individual.net HYTbx/W3SngF0a+f3bqD0AWQ3zDYvx0oEuOnlaWY1mLeMuozMs |
| Cancel-Lock | sha1:SaMUU+32DWKJYQSMtEbRE5d4LYk= |
| User-Agent | Thunderbird 2.0.0.21 (Windows/20090302) |
| In-Reply-To | <584EFA8F.48E175EF@B.Maus.De> |
| Xref | csiph.com de.sci.electronics:218389 |
Show key headers only | View raw
Axel Berger schrieb: > Werner Holtfreter wrote: >> Bisher ist es unmöglich zu beweisen, dass Software fehlerfrei ist. > > Und? Für rein mechanische Bremsen und Lenkungen gilt dasselbe. Trotzdem > verlegt man den Alphatest dort nicht zum Kunden. Das eine hat mit dem anderen nichts zu tun. Hardware funktioniert wie sie soll, solange nichts kaputtgeht, und diese Funktion kann man konstruieren und überprüfen. Bei Software ist so eine Überprüfung zwar theoretisch möglich, scheitert aber an der Komplexität und damit am notwendigen Aufwand. Was sollte denn passieren, wenn in einem "sicheren" Programm Werte auftauchen, die außerhalb ihrer Spezifikation liegen? Wenn eine Klimaanlage nicht mehr funktioniert, weil in der Spezifikation so hohe Umgebungstemperaturen nicht vorgesehen waren, dann ist das kein Fehler der Implementierung, sondern mangelhafter Vorgaben. Wenn es schon bei Hardware so schwierig ist, die wenigen Vorgaben praxisgerecht festzulegen, wird das bei Software hoffnungslos unübersichtlich. DoDi
Back to de.sci.electronics | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-11 19:41 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Hartmut Kraus <hartmut.melina@web.de> - 2016-12-11 22:46 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Gerald Oppen <Gerald.Oppen@web.de> - 2016-12-11 23:47 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 09:06 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Christian Lotze <chrissi099@hotmail.com> - 2016-12-12 12:19 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 13:26 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Werner Holtfreter <Holtfreter@gmx.de> - 2016-12-12 14:44 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 16:42 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Werner Holtfreter <Holtfreter@gmx.de> - 2016-12-12 17:03 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 18:07 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Peter Thoms <dl6lat@darc.de> - 2016-12-12 18:24 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 18:55 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Peter Thoms <dl6lat@darc.de> - 2016-12-13 11:22 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-14 13:20 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Peter Thoms <dl6lat@darc.de> - 2016-12-16 20:42 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Werner Holtfreter <Holtfreter@gmx.de> - 2016-12-12 19:15 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Axel Berger <Axel_Berger@B.Maus.De> - 2016-12-12 20:27 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Werner Holtfreter <Holtfreter@gmx.de> - 2016-12-12 21:19 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Matthias Weingart <mwnews@pentax.boerde.de> - 2016-12-13 08:11 +0000
Re: Suche Erfahrungen mit Fritz! Smarthome Volker Bartheld <news2016@bartheld.net> - 2016-12-13 09:18 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Matthias Weingart <mwnews@pentax.boerde.de> - 2016-12-13 09:14 +0000
Re: Suche Erfahrungen mit Fritz! Smarthome OT Gerald Oppen <Gerald.Oppen@web.de> - 2016-12-13 20:41 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Rolf Bombach <rolfnospambombach@invalid.invalid> - 2016-12-18 23:23 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Matthias Weingart <mwnews@pentax.boerde.de> - 2016-12-19 11:06 +0000
Re: Suche Erfahrungen mit Fritz! Smarthome Axel Berger <Axel_Berger@B.Maus.De> - 2016-12-12 18:26 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Werner Holtfreter <Holtfreter@gmx.de> - 2016-12-12 18:51 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 18:56 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Werner Holtfreter <Holtfreter@gmx.de> - 2016-12-12 19:42 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Axel Berger <Axel_Berger@B.Maus.De> - 2016-12-12 20:29 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Hans-Peter Diettrich <DrDiettrich1@aol.com> - 2016-12-13 09:59 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Arno Welzel <usenet@arnowelzel.de> - 2016-12-16 20:43 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Hans-Peter Diettrich <DrDiettrich1@aol.com> - 2016-12-18 14:33 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Arno Welzel <usenet@arnowelzel.de> - 2016-12-21 10:06 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Hans-Peter Diettrich <DrDiettrich1@aol.com> - 2016-12-21 14:15 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Stefan Engler <Lehrerfreund@web.de> - 2016-12-12 14:16 -0800
Re: Suche Erfahrungen mit Fritz! Smarthome Hans-Peter Diettrich <DrDiettrich1@aol.com> - 2016-12-13 10:08 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Matthias Weingart <mwnews@pentax.boerde.de> - 2016-12-13 09:38 +0000
Re: Suche Erfahrungen mit Fritz! Smarthome Hans-Peter Diettrich <DrDiettrich1@aol.com> - 2016-12-14 14:21 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Gerald Oppen <Gerald.Oppen@web.de> - 2016-12-13 20:50 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Stefan Engler <Lehrerfreund@web.de> - 2016-12-13 13:49 -0800
Re: Suche Erfahrungen mit Fritz! Smarthome Gerald Oppen <Gerald.Oppen@web.de> - 2016-12-13 20:34 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Arno Welzel <usenet@arnowelzel.de> - 2016-12-16 20:36 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Christian Lotze <chrissi099@hotmail.com> - 2016-12-13 07:42 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Bernd Ohm <resistor5k6@online.de> - 2016-12-12 18:55 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 20:51 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Bernd Ohm <resistor5k6@online.de> - 2016-12-12 23:12 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Arno Welzel <usenet@arnowelzel.de> - 2016-12-16 20:33 +0100
csiph-web