Προτυποποίηση του συστήματος αρχείων EXT2 με χρήση τυπικών μεθόδων
Standarizing the EXT2 file systm using formal methods
Λέξεις-κλειδιά
Τυπικές μέθοδοι ; Τυπικές προδιαγραφές ; Σύστημα αρχείων EXT2Περίληψη
Η παρούσα διπλωματική εργασία ασχολείται με την χρήση των Τυπικών Μεθόδων μέσα από
την προτυποποίηση της διαδικασίας δημιουργίας αρχείων που χρησιμοποιεί το σύστημα
αρχείων ext2. Μέσα στην εργασία αυτή παρουσιάζονται πληροφορίες σχετικά με τις τυπικές
μεθόδους και τις πρακτικές που τις απαρτίζουν καθώς και διάφορες περιπτώσεις μελέτης που
εξετάζουν την προδιαγραφή που δημιουργήθηκε για την εργασία αυτή. Σκοπός της εργασίας
είναι η παρουσίαση των πρακτικών αυτών και η συνεισφορά των τυπικών μεθόδων στην
μηχανική λογισμικού και το πώς μπορεί κάποιος μέσα από τις πρακτικές αυτές να σχεδιάσει
και να υλοποιήσει ένα αξιόπιστο σύστημα λογισμικού
Περίληψη
This thesis deals with the use of the Formal Methods through the standardization of the file
creation process within the ext2 file system. In this paper, information is presented about the
formal methods and practices that make them up, as well as various case studies that examine
the specification created for this paper. The purpose of the work is the presentation of these
practices and the contribution of standard methods to engineering software and how one can
design and use a reliable software system through these practices.
Αριθμός σελίδων
86Σχολή
Σχολή ΜηχανικώνΑκαδημαϊκό Τμήμα
Τμήμα Μηχανικών Πληροφορικής και ΥπολογιστώνΓλώσσα
ΕλληνικάΣυλλογή
Εκτός από όπου επισημαίνεται κάτι διαφορετικό, το τεκμήριο διανέμεται με την ακόλουθη άδεια:
Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 4.0 Διεθνές
Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 4.0 Διεθνές