klucz (oprogramowanie)
![](https://upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Max-cut.svg/44px-Max-cut.svg.png)
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
-
(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 )
-
(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