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

• Main Authors: Stefaneas, Petros, Koletsos, Georgios, Στεφανέας, Πέτρος, Κολέτσος, Γεώργιος
• Format: 7
• Language: Greek
• Published: 2016
• Subjects: ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ; Logic For Computer Science

Εισαγωγή. <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/>Παραδείγματα.