Please use this identifier to cite or link to this item: http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/9118
Full metadata record
DC FieldValueLanguage
dc.contributor.authorΚωνσταντίνος Μπάρλας
dc.date.accessioned2018-07-22T22:52:47Z-
dc.date.available2018-07-22T22:52:47Z-
dc.date.issued2018-5-29
dc.date.submitted2018-3-15
dc.identifier.urihttp://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/9118-
dc.description.abstractΣτη διδακτορικη αυτη διατριβη θα εξετασουμε την ιδεα της χρησης Τυπικων Μεθοδων (και συγκεκριμενα Αλγεβρικων Προδιαγραφων) για τη δημιουργια τυπικων προδιαγραφων προτυπων για να συμπληρωσουν η να αντικαταστησουν τις προδιαγραφες που συνοδευουν ενα προτυπο και ειναι γραμμενες σε καποια φυσικη γλωσσα, σε μια προσπαθεια να ελαχιστοποιηθουν τα λαθη κατανοησης τετοιων κειμενων που οφειλο- νται κυριως στην ασαφεια που εμπεριεχουν οι φυσικες γλωσσες. Οι προδιαγραφες αυτες μπορει να ειναι εκτελεσιμες, δινοντας μας ετσι τη δυνατοτητα να περιγραψουμε και να επαληθευσουμε την ισχυ καποιων απαιτουμενων ιδιοτητων του προτυπου.Οι Τυπικες Μεθοδοι ειναι τεχνικες που χρησιμοποιουνται για την μοντελοποιηση (και επαληθευση) περιπλοκων συστηματων σε μορφη μαθηματικων οντοτητων. Η κατασκευη ενος τετοιου αυστηρου μαθημα- τικου μοντελου επιτρεπει την επαληθευση ιδιοτητων του συστηματος με τροπο πολυ πιο αναλυτικο και ενδελεχη απο τον εμπειρικο ελεγχο. Τα πλεονεκτηματα της χρησης Τυπικων Μεθοδων φαινεται να αντισταθμι- ζονται καπως απο το υψηλο κοστος εφαρμογης τους, κατι που κανει τον ρυθμο αποδοχης τους απο τη βιομηχανια πολυ αργο.Ισχυριζομαστε πως η χρηση των τυπικων μεθοδων σε βιομηχανικα προτυπα βοηθαει τοσο τη βιομηχανια, αφου κανει τις προδιαγραφες των προτυπων πιο σαφεις και περιεκτικες, οσο και την κοινοτητα των τυπικων Μεθοδων.
dc.languageGreek
dc.subjectτυπικες μεθοδοι
dc.subjectτυπικες προδιαγραφες
dc.subjectαλγεβρικες προδιαγραφες
dc.subject(ανοικτα) προτυπα
dc.subjectφυσικες γλωσσες
dc.subjectcafeobj
dc.subjectabstract syntax notation one
dc.subjectopen document architecture
dc.subjectrich site summary
dc.subjectκοινωνικα δι- κτυα
dc.subjectεκπαιδευση τυπικων μεθοδων.
dc.titleΑλγεβρικη Προδιαγραφη Προτυπων
dc.typePhD Thesis
dc.description.pages161
dc.contributor.supervisorΚολέτσος Γεώργιος
dc.departmentΤομέας Τεχνολογίας Πληροφορικής & Υπολογιστών
dc.organizationΕΜΠ, Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
Appears in Collections:Διδακτορικές Διατριβές - Ph.D. Theses

Files in This Item:
File SizeFormat 
PD2018-0012.pdf984.02 kBAdobe PDFView/Open


Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.