Wozu formale Methoden? mit Lars Hupel
カートのアイテムが多すぎます
ご購入は五十タイトルがカートに入っている場合のみです。
カートに追加できませんでした。
しばらく経ってから再度お試しください。
ウィッシュリストに追加できませんでした。
しばらく経ってから再度お試しください。
ほしい物リストの削除に失敗しました。
しばらく経ってから再度お試しください。
ポッドキャストのフォローに失敗しました
ポッドキャストのフォロー解除に失敗しました
Wozu formale Methoden? mit Lars Hupel
-
ナレーター：
-
著者：
Wenn Systeme bestimmte Eigenschaften wie Sicherheit garantieren müssen, können formale Methoden diese Eigenschaften beweisen - ähnlich wie bei einem mathematischen Beweis. In der Finanzbranche will man beispielsweise sicherstellen, dass nicht in den Systemen irgendwo Geld verschwindet. Welche Rolle spielen solche Methoden im Software-Architektur-Alltag und wie kann man sie gewinnbringend nutzen? Das diskutieren wir mit Dr. Lars Hupel, Chief Evangelist bei Giesecke+Devrient.
Lars spricht beim iSAQB Software Architecture Forum. Mit dem Code SATV15SAF gibt es 15% Rabatt.
adbl_web_anon_alc_button_suppression_t1
まだレビューはありません