ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ
Εισαγωγή. <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 |
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 |