Αλγεβρική Προδιαγραφή Προτύπων

Μπάρλας, Κωνσταντίνος; Barlas, Konstantinos

dc.contributor.author	Μπάρλας, Κωνσταντίνος	el
dc.contributor.author	Barlas, Konstantinos	en
dc.date.accessioned	2018-07-10T09:25:55Z
dc.date.available	2018-07-10T09:25:55Z
dc.date.issued	2018-07-10
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/47239
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.2962
dc.rights	Default License
dc.subject	Τυπικές Μέθοδοι, Τυπικές Προδιαγραφές, Αλγεβρικές Προδιαγραφές, Πρότυπα	el
dc.subject	Formal Methods, Formal Specifications, Algebraic Specifications, Standards	en
dc.title	Αλγεβρική Προδιαγραφή Προτύπων	el
heal.type	doctoralThesis
heal.classification	ΤΥΠΙΚΕΣ ΜΕΘΟΔΟΙ	el
heal.classification	Αλγεβρικές Προδιαγραφές	el
heal.classificationURI	http://data.seab.gr/concepts/1d86b586c3098498174b02c68bab55a0cb956014
heal.language	el
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2018-03-15
heal.abstract	Στη διδακτορική αυτή διατριβή θα εξετάσουμε την ιδέα της χρήσης Τυπικών Μεθόδων (και συγκεκριμένα Αλγεβρικών Προδιαγραφών) για τη δημιουργία τυπικών προδιαγραφών προτύπων για να συμπληρώσουν ή να αντικαταστήσουν τις προδιαγραφές που συνοδεύουν ένα πρότυπο και είναι γραμμένες σε κάποια φυσική γλώσσα, σε μια προσπάθεια να ελαχιστοποιηθούν τα λάθη κατανόησης τέτοιων κειμένων που οφείλονται κυρίως στην ασάφεια που εμπεριέχουν οι φυσικές γλώσσες. Οι προδιαγραφές αυτές μπορεί να είναι εκτελέσιμες, δίνοντάς μας έτσι τη δυνατότητα να περιγράψουμε και να επαληθεύσουμε την ισχύ κάποιων απαιτούμενων ιδιοτήτων του προτύπου. Οι Τυπικές Μέθοδοι είναι τεχνικές που χρησιμοποιούνται για την μοντελοποίηση (και επαλήθευση) περίπλοκων συστημάτων σε μορφή μαθηματικών οντοτήτων. Η κατασκευή ενός τέτοιου αυστηρού μαθηματικού μοντέλου επιτρέπει την επαλήθευση ιδιοτήτων του συστήματος με τρόπο πολύ πιο αναλυτικό και ενδελεχή από τον εμπειρικό έλεγχο. Τα πλεονεκτήματα της χρήσης Τυπικών Μεθόδων φαίνεται να αντισταθμίζονται κάπως από το υψηλό κόστος εφαρμογής τους, κάτι που κάνει τον ρυθμό αποδοχής τους από τη βιομηχανία πολύ αργό. Ισχυριζόμαστε πως η χρήση των τυπικών μεθόδων σε βιομηχανικά πρότυπα βοηθάει τόσο τη βιομηχανία, αφού κάνει τις προδιαγραφές των προτύπων πιο σαφείς και περιεκτικές, όσο και την κοινότητα των τυπικών Μεθόδων.	el
heal.advisorName	Κολέτσος, Γεώργιος	el
heal.committeeMemberName	Σταφυλοπάτης, Ανδρέας	el
heal.committeeMemberName	Φράγκος, Παναγιώτης	el
heal.committeeMemberName	Στάμου, Γεώργιος	el
heal.committeeMemberName	Καβάσαλης, Πέτρος	el
heal.committeeMemberName	Στεφανέας, Πέτρος	el
heal.committeeMemberName	Αρβανιτάκης, Αλέξανδρος	el
heal.committeeMemberName	Μπέρκη, Ελένη	el
heal.academicPublisher	Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών	el
heal.academicPublisherID	ntua
heal.numberOfPages	161
heal.fullTextAvailability	true