Please use this identifier to cite or link to this item: https://apothesis.eap.gr/handle/repo/12751
Title: Τυπικές Προδιαγραφές - Η τυπική γλώσσα Ζ (Τσιρίγκα-ΗΤ-ΠΛΗ42)
Authors: Τσιρίγκα, Βικτωρία
Advisor: Ξένος, Μιχάλης
Keywords: Σχήματα στην τυπική γλώσσα Ζ;Schemas in Z;Σχήμα κατάστασης;Αναλλοίωτο κατάστασης;Λειτουργίες;Διαχείριση σφαλμάτων;Συνδυασμός σχημάτων;Πράξεις επί συνόλων;Σχέσεις;Συναρτήσεις;State schema;State invariant;Z operations;Error handling schemas;Combining schemas;Set operations;Relations
Issue Date: 28-Nov-2008
Abstract: Σκοπός του συγκεκριμένου διδακτικού υλικού είναι να αποσαφηνίσει το βασικό συμβολισμό της τυπικής γλώσσας Ζ και να παρέχει μία σειρά από ολοκληρωμένα παραδείγματα μοντελοποίησης συστημάτων με τη βοήθεια της γλώσσας αυτής. Επίσης, περιλαμβάνονται στο διδακτικό υλικό και μία σειρά από ασκήσεις που ο φοιτητής πρέπει να επιλύσει και να συγκρίνει τη λύση του με τις ενδεικτικές λύσεις που παρέχονται. Το παρόν υλικό θα πρέπει να μελετηθεί σε συνδυασμό με το κεφάλαιο 7 του 1ου τόμου «Τυπικές Προδιαγραφές», καθώς και τα αντίστοιχα τμήματα webcast που προτείνονται σε κάποιες ασκήσεις που παρουσιάζονται.
Appears in Collections:ΠΛΗ42 Ψηφιακό Εκπαιδευτικό Υλικό (ΨΕΥ)

Files in This Item:
File Description SizeFormat 
PLH42_HT_TSIRIGA_Z_2008.ISO1.17 MBUnknownView/Open


This item is protected by original copyright



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