Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο: 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.pdf984.02 kBAdobe PDFΕμφάνιση/Άνοιγμα


Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα.