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

Files in This Item:
File Description SizeFormat 
plh 42_tsirigga.rar50.11 MBUnknownView/Open


This item is protected by original copyright



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