ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ

Abstract

Εισαγωγή. <br/>Τυπικές Μέθοδοι (Formal Methods) και αλγεβρικές προδιαγραφές. <br/>Η οικογένεια των γλωσσών OBJ. <br/>Επισκόπηση των προδιαγραφών σε CafeOBJ.<br/>Τμήματα (Modules). Τύποι (Sorts). Τελεστές (Οperators).<br/>Όροι (Terms). Reduction. <br/>Conditional Equations. <br/>Εντολές.<br/>Αποδείξεις ως Proof Scores. <br/>Παραμετροποιημένα τμήματα (Parametrized Modules). <br/>Αποδείξεις με επαγωγή (Proofs by induction).<br/>Επαλήθευση ιδιοτήτων (Verification). <br/>Ορθότητα (Correctness). <br/>Συμπεριφοριακές προδιαγραφές (Behavioral specifications).<br/>Observational Transition Systems (OTS). <br/>Αναλλοίωτες ιδιότητες (Invariant properties). <br/>Αποδείξεις. <br/>Βασικές τεχνικές προδιαγραφών και επαλήθευσης. <br/>Παραδείγματα.