klucz (oprogramowanie)

Artykuł stanowi zarys dotyczący oprogramowania i informatyki teoretycznej .

Możesz dzielić się swoją wiedzą doskonaląc ją ( jak? ) Zgodnie z zaleceniami odpowiednich projektów .

Oprogramowanie KEY to formalne narzędzie do weryfikacji programów Java . Rozpoczął w1998Projekt KEY jest realizowany przez Instytut Technologii w Karlsruhe, Politechnikę w Darmstadt i Politechnikę Chalmers . Key akceptuje specyfikacje napisane przy użyciu języka modelowania Java (JML).

Uwagi i referencje

  1. (w) Bernhard Beckert , Reiner Hähnle i Peter H. Schmitt , Weryfikacja oprogramowania obiektowego: The Key Approach , Springer-Verlag ,2007, 658  s. ( ISBN  978-3-540-68977-5 i 3-540-68977-X , czytaj online )
  2. (w) „  Projekt Key: Integrated Deduction Software Design  ” , na ira.uka.de ,27 lutego 2017 r.(dostęp 29 lutego 2020 r . ) .

Załączniki

Linki zewnętrzne