Προτυποποίηση του συστήματος αρχείων EXT2 με χρήση τυπικών μεθόδων

Ρουμπάτι, Ματέο

dc.contributor.advisor	Μπάρλας, Κωνσταντίνος
dc.contributor.author	Ρουμπάτι, Ματέο
dc.date.accessioned	2023-09-13T09:46:37Z
dc.date.available	2023-09-13T09:46:37Z
dc.date.issued	2023-07-18
dc.identifier.uri	https://polynoe.lib.uniwa.gr/xmlui/handle/11400/5061
dc.identifier.uri	http://dx.doi.org/10.26265/polynoe-4899
dc.description.abstract	Η παρούσα διπλωματική εργασία ασχολείται με την χρήση των Τυπικών Μεθόδων μέσα από την προτυποποίηση της διαδικασίας δημιουργίας αρχείων που χρησιμοποιεί το σύστημα αρχείων ext2. Μέσα στην εργασία αυτή παρουσιάζονται πληροφορίες σχετικά με τις τυπικές μεθόδους και τις πρακτικές που τις απαρτίζουν καθώς και διάφορες περιπτώσεις μελέτης που εξετάζουν την προδιαγραφή που δημιουργήθηκε για την εργασία αυτή. Σκοπός της εργασίας είναι η παρουσίαση των πρακτικών αυτών και η συνεισφορά των τυπικών μεθόδων στην μηχανική λογισμικού και το πώς μπορεί κάποιος μέσα από τις πρακτικές αυτές να σχεδιάσει και να υλοποιήσει ένα αξιόπιστο σύστημα λογισμικού	el
dc.format.extent	86	el
dc.language.iso	el	el
dc.publisher	Πανεπιστήμιο Δυτικής Αττικής	el
dc.rights	Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 4.0 Διεθνές	*
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Διεθνές	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.subject	Τυπικές μέθοδοι	el
dc.subject	Τυπικές προδιαγραφές	el
dc.subject	Σύστημα αρχείων EXT2	el
dc.title	Προτυποποίηση του συστήματος αρχείων EXT2 με χρήση τυπικών μεθόδων	el
dc.title.alternative	Standarizing the EXT2 file systm using formal methods	el
dc.type	Διπλωματική εργασία	el
dc.contributor.committee	Φατούρος, Σταύρος
dc.contributor.committee	Troussas, Christos
dc.contributor.faculty	Σχολή Μηχανικών	el
dc.contributor.department	Τμήμα Μηχανικών Πληροφορικής και Υπολογιστών	el
dc.description.abstracttranslated	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.	el

Αρχεία σε αυτό το τεκμήριο

Όνομα:: Rubati__71347122.pdf
Μέγεθος:: 4.180Mb
Τύπος:: PDF

Προβολή/Άνοιγμα

Αυτό το τεκμήριο εμφανίζεται στις ακόλουθες συλλογές

Διπλωματικές εργασίες
Διπλωματικές εργασίες τμήματος Μηχανικών Πληροφορικής και Υπολογιστών

Εμφάνιση απλής εγγραφής

Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 4.0 Διεθνές

Εκτός από όπου επισημαίνεται κάτι διαφορετικό, το τεκμήριο διανέμεται με την ακόλουθη άδεια:
Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 4.0 Διεθνές