CafeOBJ
Το λήμμα παραθέτει τις πηγές του αόριστα, χωρίς παραπομπές. |
Η CafeOBJ είναι γλώσσα προγραμματισμού, η οποία είναι μέλος της ευρύτερης γλώσσας προγραμματισμού OBJ. Η γλώσσα περιέχει πολλά πρόσθετα χαρακτηριστικά σε σχέση με τη γλώσσα OBJ.
Η CafeOBJ είναι γλώσσα για τη συγγραφή τυπικών (π.χ. μαθηματικών) προδιαγραφών μοντέλου για ένα ευρύ φάσμα λογισμικού και συστημάτων και την επαλήθευση των ιδιοτήτων τους. Η CafeOBJ υλοποιείται με την εξισωτική λογική και μπορεί να χρησιμοποιηθεί ως ένα ισχυρό διαδραστικό σύστημα απόδειξης θεωρημάτων.
Άλλα μέλη της οικογένειας γλωσσών OBJ είναι οι Eqlog, FOOPS, Kumo, Maude και OBJ3.
Εξωτερικοί σύνδεσμοι[Επεξεργασία | επεξεργασία κώδικα]
- Офіційний сайт CafeOBJ Αρχειοθετήθηκε 2016-02-06 στο Wayback Machine. (στα αγγλικά)
- The OBJ family (στα αγγλικά)
- Verifying Specifications with Proof Scores in CafeOBJ, Kokichi Futatsugi, YouTube (στα αγγλικά)