ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ
Εισαγωγή. <br/>Τυπικές Μέθοδοι (Formal Methods) και αλγεβρικές προδιαγραφές. <br/>Η οικογένεια των γλωσσών OBJ. <br/>Επισκόπηση των προδιαγραφών σε CafeOBJ.<br/>Τμήματα (Modules). Τύποι (Sorts). Τελεστές (Οperators).<br/>Όροι (Terms). Reduction. <br/>Conditional E...
Κύριοι συγγραφείς: | , , , |
---|---|
Μορφή: | 7 |
Γλώσσα: | Greek |
Έκδοση: |
2016
|
Θέματα: | |
Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/4531 |
Περίληψη: | Εισαγωγή. <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/>Παραδείγματα. |
---|