ANAHTAR (yazılım)
Bu makale, yazılım ve teorik bilgisayar bilimi ile ilgili bir taslaktır .
İlgili projelerin tavsiyelerine göre bilginizi geliştirerek ( nasıl ? ) paylaşabilirsiniz .
Key yazılımı , Java programları için resmi bir doğrulama aracıdır . Başladı1998, KEY projesi Karlsruhe Teknoloji Enstitüsü , Darmstadt Teknoloji Üniversitesi ve Chalmers Politeknik tarafından yürütülmektedir . KEY, Java Modelleme Dili (JML) kullanılarak yazılan özellikleri kabul eder .
Notlar ve referanslar
- (içinde) Bernhard Beckert , Reiner Hähnle ve Peter H. Schmitt , Nesneye Yönelik Yazılımın Doğrulanması: Anahtar Yaklaşım , Springer-Verlag ,2007, 658 s. ( ISBN 978-3-540-68977-5 ve 3-540-68977-X , çevrimiçi okuyun )
- (in) " ANAHTAR Proje: Entegre Tümdengelimli Yazılım Tasarımı " , ira.uka.de'de ,27 Şubat 2017( 29 Şubat 2020'de erişildi ) .