Re: Suche Erfahrungen mit Fritz! Smarthome

From	Gerald Oppen <Gerald.Oppen@web.de>
Newsgroups	de.sci.electronics
Subject	Re: Suche Erfahrungen mit Fritz! Smarthome
Date	2016-12-13 20:50 +0100
Message-ID	<ebb1o0FfuuU1@mid.individual.net> (permalink)
References	(6 earlier) <o2mge2$ks$1@dont-email.me> <o2mhnq$hba$1@news.albasani.net> <584EDDBF.73FF341D@B.Maus.De> <o2mo2v$2uu$1@news.albasani.net> <4b2dd3c3-9041-4b8d-a37d-9510129144f6@googlegroups.com>

Show all headers | View raw

Am 12.12.2016 um 23:16 schrieb Stefan Engler:
> Am Montag, 12. Dezember 2016 18:51:27 UTC+1 schrieb Werner Holtfreter:
>> Bisher ist es unmöglich zu beweisen, dass Software fehlerfrei ist.
>> Ich nehme an, daran wird sich auch nichts ändern. Folglich ist
>> immer damit zu rechnen, dass sogar in anerkannten und bewährten
>> Softwaremodulen plötzlich sicherheitsrelevante Bugs entdeckt
>> werden.
>
> Es gibt spezielle Programmiersprachen, die erlauben zu beweisen, dass ein
> Programm fehlerfrei funktioniert und funtionieren wird. Es müssen

Selbst wenn es das in perfekter Form gäbe - wie stellst Du sicher, dass
der Fehler nicht schon in der Spezifikation des Programmes besteht? 
Z.B. weil Annahmen getroffen worden sind, deren Gefahrenpotenzial nicht 
richtig eingeschätzt wurde.

Gerald

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