ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ
Εισαγωγή. <br/>Τυπικές Μέθοδοι (Formal Methods) και αλγεβρικές προδιαγραφές. <br/>Η οικογένεια των γλωσσών OBJ. <br/>Επισκόπηση των προδιαγραφών σε CafeOBJ.<br/>Τμήματα (Modules). Τύποι (Sorts). Τελεστές (Οperators).<br/>Όροι (Terms). Reduction. <br/>Conditional E...
| Main Authors: | , , , |
|---|---|
| Format: | 7 |
| Language: | Greek |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://localhost:8080/jspui/handle/11419/4531 |
| id |
kallipos-11419-4531 |
|---|---|
| record_format |
dspace |
| spelling |
kallipos-11419-45312021-07-11T20:18:48Z ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ Stefaneas, Petros Koletsos, Georgios Στεφανέας, Πέτρος Κολέτσος, Γεώργιος ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ 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/>Παραδείγματα. 2016-02-27T14:42:44Z 2021-07-09T14:15:30Z 2016-02-27T14:42:44Z 2021-07-09T14:15:30Z 2016-02-27 7 http://localhost:8080/jspui/handle/11419/4531 el 1 application/pdf |
| institution |
Kallipos |
| collection |
DSpace |
| language |
Greek |
| topic |
ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ Logic For Computer Science |
| spellingShingle |
ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ Logic For Computer Science Stefaneas, Petros Koletsos, Georgios Στεφανέας, Πέτρος Κολέτσος, Γεώργιος ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ |
| description |
Εισαγωγή. <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/>Παραδείγματα. |
| format |
7 |
| author |
Stefaneas, Petros Koletsos, Georgios Στεφανέας, Πέτρος Κολέτσος, Γεώργιος |
| author_facet |
Stefaneas, Petros Koletsos, Georgios Στεφανέας, Πέτρος Κολέτσος, Γεώργιος |
| author_sort |
Stefaneas, Petros |
| title |
ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ |
| title_short |
ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ |
| title_full |
ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ |
| title_fullStr |
ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ |
| title_full_unstemmed |
ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ |
| title_sort |
εφαρμογεσ: οι αλγεβρικεσ προδιαγραφεσ |
| publishDate |
2016 |
| url |
http://localhost:8080/jspui/handle/11419/4531 |
| work_keys_str_mv |
AT stefaneaspetros epharmogesoialgebrikesprodiagraphes AT koletsosgeorgios epharmogesoialgebrikesprodiagraphes AT stephaneaspetros epharmogesoialgebrikesprodiagraphes AT koletsosgeōrgios epharmogesoialgebrikesprodiagraphes |
| _version_ |
1771301287627849728 |
