Letzte Aktivität
-
WWhite_Fox antwortete auf das Thema Softwareverifikation in der Industrie I Hat jemand irgendwelche Erfahrungen?.Aha...und wo? Und selbst wenn: Ich sehe den Zusammenhang deines Posts zu meiner Aussage oder dem Thread immer noch nicht. Dann block...
-
SSimon.F reacted to White_Fox's post in the thread Softwareverifikation in der Industrie I Hat jemand irgendwelche Erfahrungen? with
Like.
Es gibt einen Markt, und der wird schon längst bedient. https://de.wikipedia.org/wiki/MISRA-C Automotive ist da das bekannteste... -
SSimon.F reacted to meientau's post in the thread Softwareverifikation in der Industrie I Hat jemand irgendwelche Erfahrungen? with Like.
Statische Codeanalyse (lint) und dynamische Codeanalyse (leak detection) sind für die von dir genannten Felder Automotive, Aviation...
-
Oneixee5 antwortete auf das Thema Softwareverifikation in der Industrie I Hat jemand irgendwelche Erfahrungen?.Für den Thread ist es sehr schade, ich erkenne aber Überheblichkeit und Geringschätzung. Ich hatte dich auch wegen ähnlicher Dinge fast... -
In Where-Bedingung kannst du mit LIKE arbeiten: where A like 'http://apf_stream_receiver/API/%' Bei SET geht das leider nicht. Du muss... -
WWhite_Fox antwortete auf das Thema Softwareverifikation in der Industrie I Hat jemand irgendwelche Erfahrungen?.@Oneixee Bist du dir sicher, daß du meinen Post verstanden hast? Bzw. überhaupt den Thread? ;)
-
Oneixee5 reacted to KonradN's post in the thread ChatGPT oder Gemini für Softwareentwicklung with Like.
Mit der Erfahrung der letzten Wochen/Tage: Was jetzt aktuell im Kommen ist und sehr stark ist: Agenten. Es geht also nicht mehr um...
-
Oneixee5 antwortete auf das Thema Softwareverifikation in der Industrie I Hat jemand irgendwelche Erfahrungen?.Mann o Mann ... Hier sind einige Beispiele für Software in purem C: Betriebssystemkerne: Viele Betriebssysteme, insbesondere...
-
Oneixee5 antwortete auf das Thema DB2 SQL UPDATE mit Wildcard?.In Where-Bedingung kannst du mit LIKE arbeiten: where A like 'http://apf_stream_receiver/API/%' Bei SET geht das leider nicht. Du muss...
-
AAlfred1 antwortete auf das Thema Sequenzdiagramm aus Java Code erstellen.@startuml actor GameController participant "ReversiGame" as RG participant "Board" as B GameController -> RG: makeMove(3, 4) activate...
-
AAlfred1 antwortete auf das Thema Sequenzdiagramm aus Java Code erstellen.Untitled ** * Datenschicht: Repräsentation des Spielfelds. * Beinhaltet ein 8x8-Array mit Werten für leer, schwarz und weiß. */...
-
AAlfred1 antwortete auf das Thema Sequenzdiagramm aus Java Code erstellen.Untitled ** * Datenschicht: Repräsentation des Spielfelds. * Beinhaltet ein 8x8-Array mit Werten für leer, schwarz und weiß. */...
-
Bei uns sieht A z. B. so aus: http://apf_stream_receiver/API/193458345342 http://apf_stream_receiver/API/193458345343 usw. Kann ich mit...
-
WWhite_Fox antwortete auf das Thema Softwareverifikation in der Industrie I Hat jemand irgendwelche Erfahrungen?.Es gibt einen Markt, und der wird schon längst bedient. https://de.wikipedia.org/wiki/MISRA-C Automotive ist da das bekannteste...
-
KonradN antwortete auf das Thema ChatGPT oder Gemini für Softwareentwicklung.Mit der Erfahrung der letzten Wochen/Tage: Was jetzt aktuell im Kommen ist und sehr stark ist: Agenten. Es geht also nicht mehr um...