b-method

1La chaleur

1Répondre

Raffinement d'une spécification B

Considérez que je donne les résultats suivants dans la spécification B: - flower <: FLOWER age <: AGE owner <: OWNER Type <: flower * age Buyer : owner <-> flower moi Est-il possible de créer un

formal-verification formal-methods refinement-type b-method 2017-07-19

---

3La chaleur

3Répondre

Notation logique AMN et mathématique

Je ne suis pas sûr que ce soit approprié pour stackoverflow, mais je ne sais pas où demander d'autre. J'étudie la méthode B pour prouver la cohérence dans les spécifications des exigences, et j'ai un

math requirements software-quality b-method 2009-12-12

---

2La chaleur

2Répondre

Test d'un programme en langage b

Je ne suis pas sûr que ce soit approprié pour stackoverflow, mais je ne sais pas où demander d'autre. Pour un programme écrit en b language, (pas le langage B, prédécesseur de C et C++) et je voudrais

b-method 2012-11-01

---

5La chaleur

2Répondre

B-Method est-il une alternative aux langages de programmation traditionnels?

J'ai entendu parler de B-Method qui est inventé en France. Est-ce une alternative aux langages de programmation traditionnels comme C++ et java ou est-ce une chose complètement différente avec des but

programming-languages b-method 2010-02-23

---