Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/9118
Τίτλος: | Αλγεβρικη Προδιαγραφη Προτυπων |
Συγγραφείς: | Κωνσταντίνος Μπάρλας Κολέτσος Γεώργιος |
Λέξεις κλειδιά: | τυπικες μεθοδοι τυπικες προδιαγραφες αλγεβρικες προδιαγραφες (ανοικτα) προτυπα φυσικες γλωσσες cafeobj abstract syntax notation one open document architecture rich site summary κοινωνικα δι- κτυα εκπαιδευση τυπικων μεθοδων. |
Ημερομηνία έκδοσης: | 29-Μαΐ-2018 |
Περίληψη: | Στη διδακτορικη αυτη διατριβη θα εξετασουμε την ιδεα της χρησης Τυπικων Μεθοδων (και συγκεκριμενα Αλγεβρικων Προδιαγραφων) για τη δημιουργια τυπικων προδιαγραφων προτυπων για να συμπληρωσουν η να αντικαταστησουν τις προδιαγραφες που συνοδευουν ενα προτυπο και ειναι γραμμενες σε καποια φυσικη γλωσσα, σε μια προσπαθεια να ελαχιστοποιηθουν τα λαθη κατανοησης τετοιων κειμενων που οφειλο- νται κυριως στην ασαφεια που εμπεριεχουν οι φυσικες γλωσσες. Οι προδιαγραφες αυτες μπορει να ειναι εκτελεσιμες, δινοντας μας ετσι τη δυνατοτητα να περιγραψουμε και να επαληθευσουμε την ισχυ καποιων απαιτουμενων ιδιοτητων του προτυπου.Οι Τυπικες Μεθοδοι ειναι τεχνικες που χρησιμοποιουνται για την μοντελοποιηση (και επαληθευση) περιπλοκων συστηματων σε μορφη μαθηματικων οντοτητων. Η κατασκευη ενος τετοιου αυστηρου μαθημα- τικου μοντελου επιτρεπει την επαληθευση ιδιοτητων του συστηματος με τροπο πολυ πιο αναλυτικο και ενδελεχη απο τον εμπειρικο ελεγχο. Τα πλεονεκτηματα της χρησης Τυπικων Μεθοδων φαινεται να αντισταθμι- ζονται καπως απο το υψηλο κοστος εφαρμογης τους, κατι που κανει τον ρυθμο αποδοχης τους απο τη βιομηχανια πολυ αργο.Ισχυριζομαστε πως η χρηση των τυπικων μεθοδων σε βιομηχανικα προτυπα βοηθαει τοσο τη βιομηχανια, αφου κανει τις προδιαγραφες των προτυπων πιο σαφεις και περιεκτικες, οσο και την κοινοτητα των τυπικων Μεθοδων. |
URI: | http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/9118 |
Εμφανίζεται στις συλλογές: | Διδακτορικές Διατριβές - Ph.D. Theses |
Αρχεία σε αυτό το τεκμήριο:
Αρχείο | Μέγεθος | Μορφότυπος | |
---|---|---|---|
PD2018-0012.pdf | 984.02 kB | Adobe PDF | Εμφάνιση/Άνοιγμα |
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα.