Schlagwort: TLA+
-
Gute Anwendungsfälle für formale Architekturverifikation
von
in Beweis, diga, Digitale Gesundheitsanwendung, ePA, ePA für alle, formal architecture verification, formale architekturverifikation, formale verification, formale verifikation, gematik, Gesundheit, gesundheitsanwendung, Gesundheitsheitswesen, KIS, LIS, Medizin, medizinprodukt, QA, QS, Qualitätssicherung, TLA+Wir haben formale Architekturverifikation als überraschend günstiges, effektives und breit einsetzbares Werkzeug der Qualitätssicherung entdeckt. TLA+ ist eine der verbreiteten Technologien in dem Kontext. Man sollte sich nicht von der etwas alt anmutenden Projektwebseite abschrecken lassen. Amazon hat zum Beispiel TLA+ für DynamoDB eingesetzt und andere große Firmen nutzen es, seitdem wie davor, auch immer wieder.…
Du muss angemeldet sein, um einen Kommentar zu veröffentlichen.