Clave (software)
Este artículo es un resumen sobre el software y la informática teórica .
Puedes compartir tus conocimientos mejorándolos ( ¿cómo? ) Según las recomendaciones de los proyectos correspondientes .
El software KeY es una herramienta de verificación formal para programas Java . Inició en1998, el proyecto KeY está a cargo del Instituto de Tecnología de Karlsruhe , la Universidad Tecnológica de Darmstadt y el Politécnico de Chalmers . KeY acepta especificaciones escritas utilizando Java Modeling Language (JML).
Notas y referencias
- (en) Bernhard Beckert , Reiner Hähnle y Peter H. Schmitt , Verificación de software orientado a objetos: el enfoque KeY , Springer-Verlag ,2007, 658 p. ( ISBN 978-3-540-68977-5 y 3-540-68977-X , leer en línea )
- (en) " Proyecto clave: Diseño de software deductivo integrado " , en ira.uka.de ,27 de febrero de 2017(consultado el 29 de febrero de 2020 ) .