Beim Vergleich von Software-Engineering und Bauingenieurwesen war ich überrascht, dass jeder Bauingenieur weiß, dass man, wenn man eine kleine Hütte im Garten bauen möchte, einfach die Materialien holen und sie bauen kann, während man bauen möchte ein 10-stöckiges Haus (oder, zum Beispiel so etwas...
Wenn Sie in der Anwendung formaler Methoden (FM) für die Programmierung geschult wurden : Wie nützlich hast du es gefunden? Was umfasste Ihr FM-Training (z. B. einen Kurs, ein Buch)? Welche FM-Tools verwenden Sie? Welche Geschwindigkeits- / Qualitätsvorteile hat es Ihnen gegenüber der...
Geschlossen . Diese Frage ist meinungsbasiert . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage, damit sie mit Fakten und Zitaten beantwortet werden kann, indem Sie diesen Beitrag bearbeiten . Geschlossen vor 2 Jahren . Formale Methoden...
Googeln "Software-Test-Theorie" scheint nur Theorien im weichen Sinne des Wortes zu geben; Ich habe nichts gefunden, was als Theorie im mathematischen, informationstheoretischen oder in einem anderen wissenschaftlichen Sinne klassifiziert werden könnte. Was ich suche, ist etwas, das formalisiert,...
Ich überarbeite derzeit einen Teil einer großen Codebasis ohne Unit-Tests. Ich habe versucht, Code auf brutale Weise umzugestalten, dh indem ich versucht habe zu erraten, was der Code tut und welche Änderungen seine Bedeutung nicht ändern würden, aber ohne Erfolg: Es werden zufällig Funktionen rund...
Ich wurde kürzlich beauftragt, an einem kleinen Projekt zu arbeiten, das in Haskell umgesetzt wird. Ich komme aus einem OO / imperativen Hintergrund und bin es gewohnt, Anforderungen / User-Storys vor dem Codieren in Anwendungsfälle und Sequenzdiagramme umzuwandeln. Bei dem Haskell-Projekt, dem...