Τυπικές Προδιαγραφές - Η τυπική γλώσσα Ζ (Τσιρίγκα-WC-ΠΛΗ42)

 
This item is provided by the institution :

Repository :
Institutional Repository of the Hellenic Open University
see the original item page
in the repository's web site and access all digital files if the item*
share



2008 (EN)
Τυπικές Προδιαγραφές - Η τυπική γλώσσα Ζ (Τσιρίγκα-WC-ΠΛΗ42)

ΤΣΙΡΙΓΚΑ, ΒΙΚΤΩΡΙΑ

ΣΚΟΔΡΑΣ, ΑΘΑΝΑΣΙΟΣ
ΞΕΝΟΣ, ΜΙΧΑΛΗΣ

Σκοπός του διδακτικού υλικού είναι να παρουσιάσει κάποια ολοκληρωμένα παραδείγματα του τρόπου που εργαζόμαστε για να παράγουμε τυπικές προδιαγραφές με τη βοήθεια της τυπικής γλώσσας Ζ. Συγκεκριμένα, στο πρώτο μέρος της διάλεξης παρουσιάζεται ο βασικός συμβολισμός της γλώσσας Ζ ενώ στο δεύτερο η χρήση της θεωρίας συνόλων για τη μοντελοποίηση συστημάτων.
Μελετώντας τις διαλέξεις του συγκεκριμένου ΕΔΥ θα μπορείτε να κατανοήσετε τον τρόπο που εργαζόμαστε για να μοντελοποιήσουμε ένα σύστημα λογισμικού με τη βοήθεια της τυπικής γλώσσας Ζ. Το συγκεκριμένο ΕΔΥ θα πρέπει να μελετηθεί σε συνδυασμό με το κεφάλαιο 7 του Τόμου Α της ΠΛΗ 42 (κεφάλαιο 7) και το αντίστοιχο ΕΔΥ μορφής hypertext για την τυπική γλώσσα Ζ. Οι διαλέξεις παρουσιάζουν δύο ολοκληρωμένα παραδείγματα σύνταξης τυπικών προδιαγραφών σε γλώσσα Ζ. Τα παραδείγματα αυτά, σε συνοπτική μορφή παρουσιάζονται και στο ΕΔΥ τύπου hypertext με τη μορφή ασκήσεων. Έτσι λοιπόν, καλό είναι να προσπαθήσετε πρώτα να λύσετε τις αντίστοιχες ασκήσεις και έπειτα να παρακολουθήσετε την αντίστοιχη διάλεξη για να κατανοήσετε τυχόν λάθη και ελλείψεις. Μετά την παρακολούθηση των διαλέξεων θα πρέπει να μπορείτε: 1)να δημιουργείτε σχήματα στην τυπική γλώσσα Ζ,2)να δημιουργείτε σχήματα για την προδιαγραφή λειτουργιών,3)να διαχειρίζεστε λανθασμένες περιπτώσεις εκτέλεσης μίας λειτουργίας,4)να δημιουργείτε προδιαγραφές στη γλώσσα Ζ χρησιμοποιώντας τη θεωρία συνόλων,5)να συνδυάζετε σχήματα με σκοπό τη μοντελοποίηση ενός ολοκληρωμένου συστήματος λογισμικού.

Schemas in Z,State schema,State invariant,Z operations, Error handling schemas,Combining schemas,Set operations
Σχήματα στην τυπική γλώσσα Ζ,Σχήμα κατάστασης,Αναλλοίωτο κατάστασης,Λειτουργίες,Διαχείριση σφαλμάτων,Συνδυασμός σχημάτων Πράξεις επί συνόλων

Ελληνικό Ανοικτό Πανεπιστήμιο (EL)
Hellenic Open University (EN)

2008-11-28T08:48:22Z
2013-12-13T09:03:48Z


Ο συνολικός χρόνος μελέτης του ΕΔΥ εξαρτάται από το είδος μελέτης που κάνετε. Στην περίπτωση που το υλικό μελετάται για πρώτη φορά, θα πρέπει να παρακολουθήσετε στο σύνολό της την κάθε διάλεξη. Καλό θα ήταν σε κάθε νέα έννοια που συναντάτε να διακόπτετε τη διάλεξη και να μελετάτε το αντίστοιχο τμήμα του κεφαλαίου 7 και του αντίστοιχου τμήματος του ΕΔΥ τύπου hypertext για την τυπική γλώσσα Ζ. Υπολογίζεται ότι για το συγκεκριμένο τρόπο μελέτης, θα χρειαστείτε περίπου 30 λεπτά για την παρακολούθηση του πρώτου τμήματος της διάλεξης και περίπου 45 λεπτά για το δεύτερο τμήμα της διάλεξης. Αν πάλι έχετε προσπαθήσει να λύσετε την αντίστοιχη άσκηση του ΕΔΥ τύπου hypertext και έχετε ήδη μελετήσει το αντίστοιχο κεφάλαιο του έντυπου διδακτικού υλικού, τότε αρκεί να παρακολουθήσετε τη διάλεξη και να εστιάσετε μόνο στα σημεία που έχετε κάνει λάθη. Για τον συγκεκριμένο τρόπο μελέτης, ο χρόνος παρακολούθησης είναι ίσος με τη διάρκεια των διαλέξεων. Τέλος, αν μελετάτε το συγκεκριμένο υλικό για επανάληψη, αρκεί να παρακολουθήσετε μόνο τα τμήματα των διαλέξεων στα οποία έχετε εντοπίσει δυσκολίες κατά την επανάληψη του κεφαλαίου 7 του Τόμου Α και του αντίστοιχου ΕΔΥ τύπου hypertext.



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)