Please use this identifier to cite or link to this item: https://apothesis.eap.gr/handle/eap/660
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorΞΕΝΟΣ, ΜΙΧΑΛΗΣ (ΕΠΙΚΟΥΡΟΣ ΚΑΘΗΓΗΤΗΣ, ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ)el
dc.contributor.authorΤΣΙΡΙΓΚΑ, ΒΙΚΤΩΡΙΑ (Δρ. ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟΥ ΠΕΙΡΑΙΑ, Σ.Ε.Π. ΠΛΗ 42, ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ)el
dc.contributor.editorΞΕΝΟΣ, ΜΙΧΑΛΗΣ (ΕΠΙΚΟΥΡΟΣ ΚΑΘΗΓΗΤΗΣ, ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ)el
dc.contributor.otherΣΚΟΔΡΑΣ, ΑΘΑΝΑΣΙΟΣ (ΚΑΘΗΓΗΤΗΣ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΚΑΙ ΤΕΧΝΟΛΟΓΙΑΣ, ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ)el
dc.coverage.spatialΟ συνολικός χρόνος μελέτης του ΕΔΥ εξαρτάται από το είδος μελέτης του φοιτητή. Στην περίπτωση που το υλικό μελετάται για πρώτη φορά, ο φοιτητής θα πρέπει να παρακολουθήσει στο σύνολό της την κάθε διάλεξη. Καλό θα ήταν σε κάθε νέα έννοια που συναντά να διακόπτει τη διάλεξη και να μελετά το αντίστοιχο τμήμα του κεφαλαίου 7 και του αντίστοιχου τμήματος του ΕΔΥ τύπου hypertext για την τυπική γλώσσα Ζ. Υπολογίζεται ότι για το συγκεκριμένο τρόπο μελέτης, ο φοιτητής θα χρειαστεί περίπου 30 λεπτά για την παρακολούθηση του πρώτου τμήματος της διάλεξης και περίπου 45 λεπτά για το δεύτερο τμήμα της διάλεξης. (34 Λεπτά + 23 Δεύτερα)el
dc.date.accessioned2009-03-09T10:03:40Zel
dc.date.accessioned2013-12-13T14:50:53Z-
dc.date.available2009-03-09T10:03:40Zel
dc.date.available2013-12-13T14:50:53Z-
dc.date.issued2008el
dc.identifier.urihttp://apothesis.eap.gr/handle/eap/660-
dc.descriptionΜετά την παρακολούθηση των διαλέξεων ο φοιτητής θα πρέπει να μπορεί: να δημιουργεί σχήματα στην τυπική γλώσσα Ζ, να δημιουργεί σχήματα για την προδιαγραφή λειτουργιών, να διαχειρίζεται λανθασμένες περιπτώσεις εκτέλεσης μίας λειτουργίας, να δημιουργεί προδιαγραφές στη γλώσσα Ζ χρησιμοποιώντας τη θεωρία συνόλων, να συνδυάζει σχήματα με σκοπό τη μοντελοποίηση ενός ολοκληρωμένου συστήματος λογισμικού.el
dc.description.abstractΣκοπός του διδακτικού υλικού είναι να παρουσιάσει κάποια ολοκληρωμένα παραδείγματα του τρόπου που εργαζόμαστε για να παράγουμε τυπικές προδιαγραφές με τη βοήθεια της τυπικής γλώσσας Ζ. Συγκεκριμένα, στο πρώτο μέρος της διάλεξης παρουσιάζεται ο βασικός συμβολισμός της γλώσσας Ζ ενώ στο δεύτερο η χρήση της θεωρίας συνόλων για τη μοντελοποίηση συστημάτων.el
dc.language.isoelel
dc.relationΤο συγκεκριμένο ΕΔΥ συμπληρώνει το υπάρχον έντυπο εκπαιδευτικό υλικό και πιο συγκεκριμένα το Κεφάλαιο 7 με την επεξήγηση επιπλέον παραδειγμάτων. Τόμος Α - Τυπικές Προδιαγραφές - Κεφάλαιο 7: Η τυπική γλώσσα Ζ.el
dc.relation.requiresΟι προαπαιτούμενες γνώσεις που θα πρέπει να έχει ο φοιτητής πριν ασχοληθεί με το συγκεκριμένο ΕΔΥ περιορίζονται στο υπάρχον έντυπο εκπαιδευτικό υλικό και πιο συγκεκριμένα στο κεφάλαιο 7 του Τόμου Α της ΠΛΗ 42.el
dc.subjectσχήματα στην τυπική γλώσσα Ζ, σχήμα κατάστασης, αναλλοίωτο κατάστασης, λειτουργίες, διαχείριση σφαλμάτων, συνδυασμός σχημάτων, πράξεις επί συνόλων, schemas in z, state schema, state invariant, Z operations, error handling schemas, combining schemas, set operationsel
dc.titleΤυπικές Προδιαγραφές - Η τυπική γλώσσα Ζel
dc.typeWebcastel
dc.audienceΠΛΗ42 Ειδικά θέματα τεχνολογίας Λογισμικούel
Appears in Collections:ΠΛΗ42 Ψηφιακό Εκπαιδευτικό Υλικό (ΨΕΥ)

Files in This Item:
File Description SizeFormat 
plh 42_tsirigga.rar
  Restricted Access
50.11 MBUnknownView/Open


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