formal-methods

20La chaleur

7Répondre

Programmation pédagogique et méthodes formelles

Voici une sorte de question étrange. Je suis en train d'écrire un livre sur l'apprentissage de la programmation en utilisant des méthodes formelles, et je vais le cibler vers des personnes ayant une c

programming-languages dijkstra formal-methods 2009-05-07

---

3La chaleur

3Répondre

Langage de modélisation Java pour C?

Je me souviens avoir lu quelque chose à propos d'un langage de spécification formel pour C il y a un moment, mais je ne le trouve pas maintenant que j'en ai besoin. Il a été inspiré par JML, en utilis

c formal-methods 2010-10-06

---

4La chaleur

3Répondre

Logic pour la vérification du logiciel

je regarde les exigences de vérification du logiciel automatisé, soit un programme qui prend en code (code de procédure ordinaire écrite dans des langues comme C et Java), génère un tas de théorèmes e

logic verification formal-methods 2010-10-10

---

0La chaleur

1Répondre

Obtenir un article par sa date dans l'alliage

Je suis bloqué sur ce problème de devoirs de méthodes formelles et je ne suis pas sûr de ce que je ne comprends pas. J'ai deux signatures, point et ToDo qui sont définis comme si: sig Item { due

formal-methods alloy 2010-11-01

---