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

Περίληψη

Στη διδακτορική αυτή διατριβή θα εξετάσουμε την ιδέα της χρήσης Τυπικών Μεθόδων (και συγκεκριμένα Αλγεβρικών Προδιαγραφών) για τη δημιουργία τυπικών προδιαγραφών προτύπων για να συμπληρώσουν ή να αντικαταστήσουν τις προδιαγραφές που συνοδεύουν ένα πρότυπο και είναι γραμμένες σε κάποια φυσική γλώσσα, σε μια προσπάθεια να ελαχιστοποιηθούν τα λάθη κατανόησης τέτοιων κειμένων που οφείλονται κυρίως στην ασάφεια που εμπεριέχουν οι φυσικές γλώσσες. Οι προδιαγραφές αυτές μπορεί να είναι εκτελέσιμες, δίνοντάς μας έτσι τη δυνατότητα να περιγράψουμε και να επαληθεύσουμε την ισχύ κάποιων απαιτούμενων ιδιοτήτων του προτύπου.Οι Τυπικές Μέθοδοι είναι τεχνικές που χρησιμοποιούνται για την μοντελοποίηση (και επαλήθευση) περίπλοκων συστημάτων σε μορφή μαθηματικών οντοτήτων. Η κατασκευή ενός τέτοιου αυστηρού μαθηματικού μοντέλου επιτρέπει την επαλήθευση ιδιοτήτων του συστήματος με τρόπο πολύ πιο αναλυτικό και ενδελεχή από τον εμπειρικό έλεγχο. Τα πλεονεκτήματα της χρήσης Τυπικών Μεθόδων φαίνεται να αντισ ...
περισσότερα

Περίληψη σε άλλη γλώσσα

Open standardization seems to be very popular among software developers as it simplifies the standard's adoption by the software engineering. Formal specification methods, while very promising, are being adopted very slowly as the industry seems to have little motivation to move into this territory. In this thesis, we will present the idea of applying formal specification techniques to (open) standards' specifications.We provide evidence for the advantages of the open standards formal specification over natural language documentations: Formal specifications are more concise, less ambiguous, more complete with respect to the original documentation and, when using certain kinds of specification languages, executable and reusable as they support module inheritance.The merging of formal specification methods and open standards allows i) a more concrete standard design; ii) an improved understanding of the environment under design; iii) an enforced certain level of precision into the specif ...
περισσότερα

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

DOI
10.12681/eadd/43218
Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/43218
ND
43218
Εναλλακτικός τίτλος
Algebraic specification of standards
Συγγραφέας
Μπάρλας, Κωνσταντίνος του Δημήτριος
Ημερομηνία
2018
Ίδρυμα
Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών
Εξεταστική επιτροπή
Κολέτσος Γεώργιος
Στεφανέας Πέτρος
Μπέρκη Ελένη
Σταφυλοπάτης Ανδρέας
Φράγκος Παναγιώτης
Στάμου Γεώργιος
Καβάσαλης Πέτρος
Αρβανιτάκης Αλέξανδρος
Επιστημονικό πεδίο
Φυσικές Επιστήμες
Επιστήμη Ηλεκτρονικών Υπολογιστών και Πληροφορική
Λέξεις-κλειδιά
Τυπικές μέθοδοι; Τυπικές προδιαγραφές; Αλγεβρικές Προδιαγραφές; Πρότυπα; Ανοικτά πρότυπα; Φυσικές γλώσσες; Κοινωνικά δίκτυα; Εκπαίδευση Τυπικών Μεθόδων
Χώρα
Ελλάδα
Γλώσσα
Ελληνικά
Άλλα στοιχεία
161 σ., εικ., πιν., σχημ.
Στατιστικά χρήσης
ΠΡΟΒΟΛΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής.
Πηγή: Google Analytics.
ΞΕΦΥΛΛΙΣΜΑΤΑ
Αφορά στο άνοιγμα του online αναγνώστη.
Πηγή: Google Analytics.
ΜΕΤΑΦΟΡΤΩΣΕΙΣ
Αφορά στο σύνολο των μεταφορτώσων του αρχείου της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
ΧΡΗΣΤΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
Σχετικές εγγραφές (με βάση τις επισκέψεις των χρηστών)