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

Files in This Item:
File Description SizeFormat 
PLH42_WC_TSIRIGA_2008.ISO54.41 MBUnknownView/Open


This item is protected by original copyright



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