Ενότητα 11 (κεφάλαιο 27) Τυπική Προδιαγραφή
|
|
- Φιλομήνα Δαγκλής
- 7 χρόνια πριν
- Προβολές:
Transcript
1 ΕΠΛ362: Τεχνολογία Λογισμικού ΙΙ (μετάφραση στα ελληνικά των διαφανειών του βιβλίου Software Engineering, 9/E, Ian Sommerville, 2011) Ενότητα 11 (κεφάλαιο 27) Τυπική Προδιαγραφή Οι διαφάνειες αυτές έχουν συμπληρωματικό και επεξηγηματικό χαρακτήρα και σε καμία περίπτωση δεν υποκαθιστούν το βιβλίο Γιώργος Α. Παπαδόπουλος Τμήμα Πληροφορικής Πανεπιστήμιο Κύπρου 1 Περιεχόμενα Τυπική προδιαγραφή στη διαδικασία παραγωγής λογισμικού. Προδιαγραφή διασύνδεσης υποσυστημάτων. Προδιαγραφή συμπεριφοράς. 2 Τυπικές μέθοδοι Η τυπική προδιαγραφή είναι μέρος μίας πιο γενικής συλλογής τεχνικών γνωστών ως «τυπικών μεθόδων». Όλες αυτές οι τεχνικές βασίζονται στη μαθηματική αναπαράσταση και ανάλυση του λογισμικού. Στις τυπικές μεθόδους συγκαταλέγονται οι εξής: Τυπική προδιαγραφή. Ανάλυση και απόδειξη της προδιαγραφής. Μετασχηματιστική ανάπτυξη. Επαλήθευση του προγράμματος. 3 1
2 Αποδοχή των τυπικών μεθόδων Αντίθετα με τις προβλέψεις, οι τυπικές μέθοδοι δεν έχουν επικρατήσει ως τεχνικές ανάπτυξης λογισμικού. Στη βελτίωση της ποιότητας των συστημάτων είχαν επιτυχία και άλλες μέθοδοι τεχνολογίας λογισμικού. Έτσι η αναγκαιότητα των τυπικών μεθόδων περιορίστηκε. Οι αλλαγές της αγοράς έχουν καταστήσει ως κομβικό παράγοντα το χρόνο διάθεσης του λογισμικού στην αγορά αντί της παραγωγής ενός προϊόντος με μικρό πλήθος σφαλμάτων. Οι τυπικές μέθοδοι δεν μειώνουν το χρόνο διάθεσης του λογισμικού στην αγορά. Η εμβέλεια των τυπικών μεθόδων είναι περιορισμένη. Δεν είναι κατάλληλες για την προδιαγραφή διασυνδέσεων χρήστη και της αλληλεπίδρασης του λογισμικού με το χρήστη. Οι τυπικές μέθοδοι δύσκολα αναπροσαρμόζονται για μεγαλύτερα συστήματα. 4 Χρήση των τυπικών μεθόδων Τα βασικά οφέλη των τυπικών μεθόδων αφορούν τη μείωση των ελαττωμάτων που υπάρχουν στα συστήματα. Συνεπώς, ο βασικός τομέας εφαρμογής τους είναι η τεχνολογία κρίσιμων συστημάτων. Σε αυτόν τον τομέα έχουν υπάρξει πολλά επιτυχημένα έργα στα οποία έχουν χρησιμοποιηθεί με επιτυχία τυπικές μέθοδοι. Σε αυτόν τον τομέα, η χρήση τυπικών μεθόδων θα είναι πιθανότατα αποτελεσματική από άποψη κόστους επειδή πρέπει να αποφευχθεί το υψηλό κόστος των αστοχιών των συστημάτων αυτών. 5 Προδιαγραφή στη διαδικασία παραγωγής λογισμικού Η προδιαγραφή και ο σχεδιασμός είναι άρρηκτα αναμεμιγμένες έννοιες. Ο αρχιτεκτονικός σχεδιασμός είναι θεμελιώδης στη δόμηση μίας προδιαγραφής, αλλά και σε ολόκληρη τη διαδικασία εξαγωγής προδιαγραφών. Οι τυπικές προδιαγραφές εκφράζονται με μαθηματική σημειογραφία η οποία έχει συγκεκριμένο λεξιλόγιο, συντακτική δομή και σημασιολογία. 6 2
3 Προδιαγραφή και σχεδιασμός 7 Προδιαγραφή στη διαδικασία παραγωγής λογισμικού 8 Χρήση της τυπικής προδιαγραφής Η τυπική προδιαγραφή προϋποθέτει περισσότερο κόπο στις αρχικές φάσεις ανάπτυξης λογισμικού. Αυτό μειώνει τα σφάλματα στις απαιτήσεις αφού υποχρεώνει να γίνεται λεπτομερής ανάλυσή τους. Έτσι μπορούν να ανακαλύπτονται και να τακτοποιούνται ασυνέπειες και ημιτελή στοιχεία. Συνεπώς γίνεται εξοικονόμηση σε πολλούς τομείς καθώς μειώνεται ο όγκος της επανεπεξεργασίας εξαιτίας προβλημάτων στις απαιτήσεις. 9 3
4 Κατανομή κόστους Η χρήση της τυπικής προδιαγραφής σημαίνει ότι αλλάζει η κατανομή του κόστους ενός έργου. Υπάρχουν μεγαλύτερα προκαταβολικά έξοδα αφού αφιερώνεται περισσότερος χρόνος και εργασία στην ανάπτυξη της προδιαγραφής. Αλλά τα έξοδα υλοποίησης και επικύρωσης θα μειωθούν αφού η διαδικασία της προδιαγραφής ελαττώνει τα σφάλματα και τις διφορούμενες ερμηνείες των απαιτήσεων. 10 Κόστος ανάπτυξης λογισμικού με τυπική προδιαγραφή 11 Τεχνικές προδιαγραφής Αλγεβρική προδιαγραφή. Το σύστημα περιγράφεται με βάση τις λειτουργίες του και τις μεταξύ τους σχέσεις. Προδιαγραφή βάσει μοντέλου. Το σύστημα περιγράφεται με βάση ένα μοντέλο κατάστασης του συστήματος το οποίο δημιουργείται με τη χρήση μαθηματικών δομών όπως σύνολα και ακολουθίες. Οι λειτουργίες του συστήματος ορίζονται με βάση το πώς τροποποιούν την κατάσταση του συστήματος. 12 4
5 Γλώσσες τυπικής προδιαγραφής Ακολουθιακή Ταυτόχρονη Αλγεβρική Larch (Guttag κ.ά., 1993) OBJ (Futatsugi κ.ά., 1985) Lotos (Bolognesi και Brinksma, 1987) Βάσει μοντέλου Z (Spivey, 1992) VDM (Jones, 1980) B (Wordsworth, 1996) CSP (Hoare, 1985) Δίκτυα Petri (Peterson, 1981) 13 Προδιαγραφές διασύνδεσης Τα μεγάλα συστήματα συνήθως αποδομούνται σε υποσυστήματα τα οποία διαθέτουν πλήρως ορισμένες διασυνδέσεις για τη μεταξύ τους επικοινωνία. Η προδιαγραφή των διασυνδέσεων των υποσυστημάτων επιτρέπει την ανεξάρτητη ανάπτυξη κάθε υποσυστήματος. Οι διασυνδέσεις ορίζονται με τη μορφή αφηρημένων τύπων δεδομένων ή κλάσεων αντικειμένων. Η αλγεβρική προσέγγιση της τυπικής προδιαγραφής ταιριάζει απόλυτα στην προδιαγραφή διασυνδέσεων αφού επικεντρώνεται στις καθορισμένες λειτουργίες ενός αντικειμένου. 14 Διασυνδέσεις υποσυστημάτων 15 5
6 Η δομή μίας αλγεβρικής προδιαγραφής 16 Στοιχεία μίας προδιαγραφής Εισαγωγή. Δηλώνει το είδος (sort το όνομα του τύπου) της οντότητας που προδιαγράφεται και δηλώνει άλλες προδιαγραφές που χρησιμοποιούνται. Περιγραφή. Περιγράφονται άτυπα οι λειτουργίες. Υπογραφή. Καθορίζει τη σύνταξη των λειτουργιών της διασύνδεσης και των παραμέτρων τους. Αξιώματα. Ορίζεται η σημασιολογία των λειτουργιών μέσω ενός συνόλου αξιωμάτων που χαρακτηρίζουν τη συμπεριφορά. 17 Συστηματική αλγεβρική προδιαγραφή Οι αλγεβρικές προδιαγραφές ενός συστήματος μπορούν να αναπτυχθούν με συστηματικό τρόπο. Δόμηση της προδιαγραφής. Ονομασία προδιαγραφής. Επιλογή λειτουργιών. Άτυπη προδιαγραφή λειτουργιών. Ορισμός σύνταξης. Ορισμός αξιωμάτων. 18 6
7 Λειτουργίες προδιαγραφής Λειτουργίες κατασκευής. Δημιουργούν οντότητες του τύπου που ορίζεται στην προδιαγραφή. Λειτουργίες επιθεώρησης. Υπολογίζουν οντότητες του τύπου που ορίζεται στην προδιαγραφή. Για να καθορίσουμε τη συμπεριφορά, πρέπει να ορίσουμε τις λειτουργίες επιθεώρησης κάθε λειτουργίας κατασκευής. 19 Λειτουργία μίας λίστας ADT Λειτουργίες κατασκευής για τη δόμηση και ταξινόμηση της λίστας. Create, Cons και Tail. Λειτουργίες επιθεώρησης οι οποίες δέχονται ως παράμετρο την ταξινομημένη λίστα και επιστρέφουν κάποια άλλη ταξινομημένη τιμή. Head και Length. Η μέθοδος Tail μπορεί να οριστεί από τις πιο απλές μεθόδους κατασκευής Create και Cons. Δεν απαιτείται ο ορισμός των Head και Length με τη βοήθεια της Tail. 20 Προδιαγραφή λίστας 21 7
8 Αναδρομή στις προδιαγραφές Οι λειτουργίες ορίζονται πολλές φορές με αναδρομικό τρόπο. Tail (Cons (L, v)) = if L = Create then Create else Cons (Tail (L), v). Cons ([5, 7], 9) = [5, 7, 9]. Tail ([5, 7, 9]) = Tail (Cons ( [5, 7], 9)) = Cons (Tail ([5, 7]), 9) = Cons (Tail (Cons ([5], 7)), 9) = Cons (Cons (Tail ([5]), 7), 9) = Cons (Cons (Tail (Cons ([], 5)), 7), 9) = Cons (Cons ([Create], 7), 9) = Cons ([7], 9) = [7, 9]. 22 Προδιαγραφή διασυνδέσεων σε κρίσιμα συστήματα Θα εξετάσουμε ένα σύστημα ελέγχου εναέριας κυκλοφορίας, με βάση το οποίο τα αεροσκάφη κινούνται διαμέσου ελεγχόμενων τομέων του εναέριου χώρου. Κάθε τομέας μπορεί να περιλαμβάνει έναν αριθμό αεροσκαφών, αλλά αυτά θα πρέπει να έχουν μεταξύ τους κάποια απόσταση για λόγους ασφάλειας. Στο παράδειγμα προτείνεται η κατακόρυφη απόσταση των 300 μέτρων. Το σύστημα πρέπει να προειδοποιεί τον ελεγκτή αν κάποιο αεροσκάφος προσπαθήσει να λάβει θέση η οποία παραβιάζει αυτόν τον περιορισμό. 23 Ένα αντικείμενο τομέα Οι κρίσιμες λειτουργίες οι οποίες εφαρμόζονται στο αντικείμενο που αντιπροσωπεύει έναν ελεγχόμενο τομέα είναι: Enter (είσοδος). Προσθέτει ένα αεροσκάφος στον ελεγχόμενο εναέριο χώρο. Leave (αποχώρηση). Αφαιρεί ένα αεροσκάφος από τον ελεγχόμενο εναέριο χώρο. Move (μετακίνηση). Μετακινεί ένα αεροσκάφος από ένα ύψος σε κάποιο άλλο. Lookup (αναζήτηση). Με δεδομένο το αναγνωριστικό ενός αεροσκάφους, επιστρέφει το τρέχον ύψος του. 24 8
9 Απλούστερες λειτουργίες Μερικές φορές, για την απλούστευση της προδιαγραφής είναι απαραίτητος ο ορισμός επιπλέον λειτουργιών. Κατόπιν, όλες οι υπόλοιπες λειτουργίες μπορούν να οριστούν με τη χρήση αυτών των απλούστερων λειτουργιών. Απλούστερες λειτουργίες: Create (δημιουργία). Προκαλεί τη δημιουργία ενός κενού στιγμιότυπου τομέα. Put (τοποθέτηση). Προσθέτει ένα αεροσκάφος στον τομέα χωρίς έλεγχο περιορισμών ασφάλειας. In-space (στο χώρο). Προσδιορίζει αν ένα δεδομένο αεροσκάφος βρίσκεται στο συγκεκριμένο τομέα. Occupied (κατειλημμένο). Με δεδομένο ένα ύψος, προσδιορίζει αν υπάρχει κάποιο αεροσκάφος σε απόσταση 300 μέτρων από το συγκεκριμένο ύψος. 25 Προδιαγραφή τομέα (α) 26 Προδιαγραφή τομέα (β) 27 9
10 Σχόλια για την προδιαγραφή Χρησιμοποιήστε τις βασικές λειτουργίες Create και Put για να καθορίσετε άλλες. Ορίστε τις λειτουργίες Occupied και In-space με χρήση των Create και Put και χρησιμοποιήστε τις για να πραγματοποιήσετε ελέγχους των ορισμών άλλων λειτουργιών. Όλες οι λειτουργίες που επιφέρουν αλλαγές στον τομέα πρέπει να πληρούν το κριτήριο ασφάλειας. 28 Προδιαγραφή συμπεριφοράς Η αλγεβρική προδιαγραφή μπορεί να γίνει δύσχρηστη όταν οι λειτουργίες των αντικειμένων εξαρτώνται από την κατάσταση των αντικειμένων. Η προδιαγραφή βάσει μοντέλου αποκαλύπτει την κατάσταση του συστήματος και ορίζει τις λειτουργίες με βάση τις αλλαγές στην κατάσταση αυτή. H σημειογραφία Z είναι μία ώριμη τεχνική προδιαγραφής βάσει μοντέλου. Συνδυάζει τυπική και άτυπη περιγραφή και χρησιμοποιεί επισημάνσεις με γραφικά στοιχεία κατά την παρουσίαση προδιαγραφών. 29 Η δομή ενός σχήματος της σημειογραφίας Z 30 10
11 Αντλία ινσουλίνης που ελέγχεται με λογισμικό Χρησιμοποιείται από διαβητικούς για την εξομοίωση της λειτουργίας του παγκρέατος το οποίο παράγει την ινσουλίνη, μία απαραίτητη ορμόνη που μεταβολίζει το σάκχαρο του αίματος. Μετρά την περιεκτικότητα του αίματος σε γλυκόζη (σάκχαρο) με ένα μικροσκοπικό αισθητήρα και υπολογίζει τη δόση ινσουλίνης που απαιτείται για το μεταβολισμό της γλυκόζης. 31 Δομή αντλίας ινσουλίνης 32 Μοντέλο ροής δεδομένων της αντλίας ινσουλίνης 33 11
12 Μοντελοποίηση της αντλίας ινσουλίνης Το σχήμα Z που αναφέρεται στην αντλία ινσουλίνης δηλώνει διάφορες μεταβλητές κατάστασης στις οποίες συμπεριλαμβάνονται: Μεταβλητές εισόδου όπως οι switch? (ο διακόπτης λειτουργίας), InsulinReservoir? (η τρέχουσα ποσότητα ινσουλίνης στο δοχείο) και Reading? (η ένδειξη του αισθητήρα). Μεταβλητές εξόδου όπως οι alarm! (συναγερμός του συστήματος), display1!, display2! (οι ενδείξεις πάνω στην αντλία) και dose! (η δόση ινσουλίνης που πρόκειται να χορηγηθεί). 34 Αναλλοίωτες συνθήκες σχήματος Σε κάθε σχήμα Z υπάρχει ένα αναλλοίωτο τμήμα στο οποίο ορίζονται συνθήκες που ισχύουν πάντα. Για το σχήμα της αντλίας ινσουλίνης ισχύει πάντα ότι: Η δόση πρέπει να είναι μικρότερη ή ίση με τη χωρητικότητα του δοχείου της ινσουλίνης. Καμία δόση δεν μπορεί να υπερβαίνει τις 4 μονάδες ινσουλίνης, ενώ η συνολική δόση που χορηγείται σε μία συγκεκριμένη χρονική περίοδο δεν μπορεί να υπερβαίνει τις 25 μονάδες. Αυτός είναι περιορισμός ασφάλειας. Η μεταβλητή display2! δείχνει το ποσό της ινσουλίνης που πρέπει να χορηγηθεί. 35 Σχήμα για την αντλία ινσουλίνης INSULIN_PUMP_STATE //Ορισμός συσκευής εισόδου switch?: (off, manual, auto) ManualDeliveryButton?: Reading?: HardwareTest?: (OK, batterylow, pumpfail, sensorfail, deliveryfail) InsulinReservoir?: (present, notpresent) Needle?: (present, notpresent) clock?: TIME //Ορισμός συσκευής εξόδου alarm! = (on, off) display1!, string display2!: string clock!: TIME dose!: // Μεταβλητές κατάστασης που χρησιμοποιούνται για τον υπολογισμό της δόσης status: (running, warning, error) r0, r1, r2: capacity, insulin_available : max_daily_dose, max_single_dose, minimum_dose: safemin, safemax: CompDose, cumulative_dose: 36 12
13 Αναλλοίωτες συνθήκες κατάστασης r2 = Reading? dose! insulin_available insulin_available capacity // Η συνολική δόση ινσουλίνης που χορηγήθηκε μηδενίζεται μία φορά το 24ωρο clock? = cumulative_dose = 0 // Αν η συνολική δόση υπερβεί το όριο τότε αναστέλλεται η λειτουργία cumulative_dose max_daily_dose status = error display1! = Υπέρβαση ημερήσιας δόσης // Παράμετροι διευθέτησης αντλίας capacity = 100 safemin = 6 safemax = 14 max_daily_dose = 25 max_single_dose = 4 minimum_dose = 1 display2! = nat_to_string (dose!) clock! = clock? 37 Υπολογισμός δόσης Η αντλία ινσουλίνης υπολογίζει το ποσό της απαιτούμενης ινσουλίνης από τη σύγκριση της τρέχουσας ένδειξης με τις δύο προηγούμενες. Αν από αυτές προκύπτει ότι το επίπεδο του σακχάρου αυξάνεται, τότε χορηγείται ινσουλίνη. Αποθηκεύονται πληροφορίες σχετικές με τη συνολική δόση που χορηγήθηκε οι οποίες επιτρέπουν την εφαρμογή της αναλλοίωτης συνθήκης του ελέγχου ασφάλειας. Να σημειωθεί ότι αυτή η αναλλοίωτη συνθήκη ισχύει πάντα δεν χρειάζεται η επανάληψή της στον υπολογισμό της δόσης. 38 Σχήμα RUN (α) RUN INSULIN_PUMP_STATE switch? = auto _ status = running status = warning insulin_available max_single_dose cumulative_dose < max_daily_dose // Η δόση ινσουλίνης υπολογίζεται ανάλογα με το επίπεδο σακχάρου στο αίμα (SUGAR_LOW SUGAR_OK SUGAR_HIGH) // 1. Αν η δόση που υπολογίστηκε είναι μηδέν, δεν χορηγείται ινσουλίνη CompDose = 0 dose! = 0 // 2. Αν χορηγηθεί η δόση που υπολογίστηκε θα γίνει υπέρβαση της μέγιστης ημερήσιας δόσης, οπότε η χορηγούμενη δόση ορίζεται ως ίση με τη διαφορά μεταξύ της μέγιστης επιτρεπόμενης ημερήσιας δόσης και του συνόλου των δόσεων που έχουν χορηγηθεί μέχρι τώρα CompDose + cumulative_dose > max_daily_dose alarm! = on status' = warning dose! = max_daily_dose-cumulative_dose 39 13
14 Σχήμα RUN (β) // 3. Η κανονική κατάσταση. Χορηγείται η δόση που υπολογίστηκε αν δεν υπερβαίνει τη μέγιστη δόση. Αν η δόση που υπολογίστηκε είναι πολύ μεγάλη, η χορηγούμενη δόση περιορίζεται στη μέγιστη επιτρεπόμενη δόση. CompDose + cumulative_dose < max_daily_dose ( CompDose max_single_dose dose! = CompDose CompDose > max_single_dose dose! = max_single_dose ) insulin_available' = insulin_available dose! cumulative_dose' = cumulative_dose + dose! insulin_available max_single_dose * 4 status' = warning display1! = Χαμηλή ινσουλίνη r1' = r2 r0' = r1 40 Σχήμα Sugar OK SUGAR_OK r2 safemin r2 safemax // το επίπεδο σακχάρου είναι σταθερό ή πέφτει r2 r1 CompDose = 0 // το επίπεδο σακχάρου αυξάνεται αλλά ο ρυθμός αύξησης μειώνεται r2 > r1 (r2 r1) < (r1 r0) CompDose = 0 // το επίπεδο σακχάρου ανεβαίνει και ο ρυθμός αύξησης αυξάνεται: // υπολογισμός δόσης. Αν η υπολογισμένη δόση στρογγυλοποιείται στο // μηδέν, χορηγείται μια ελάχιστη δόση r2 > r1 (r2 r1) (r1 r0) (round ((r2 r1) / 4) = 0) CompDose = minimum_dose r2 > r1 (r2 r1) (r1 r0) (round ((r2 r1) / 4) > 0) CompDose = round ((r2 r1) / 4) 41 Κύρια σημεία (α) Οι μέθοδοι της τυπικής προδιαγραφής συστημάτων συμπληρώνουν τις άτυπες τεχνικές προδιαγραφής των απαιτήσεων. Οι τυπικές προδιαγραφές είναι ακριβείς και μονοσήμαντες. Ξεκαθαρίζουν αμφίβολα σημεία των προδιαγραφών. Η τυπική προδιαγραφή επιβάλλει ανάλυση των απαιτήσεων του συστήματος σε πρώιμο στάδιο. Η διόρθωση σφαλμάτων σε αυτό το στάδιο έχει μικρότερο κόστος από την τροποποίηση ενός συστήματος που έχει παραδοθεί. Οι τεχνικές της τυπικής προδιαγραφής εφαρμόζονται κυρίως στην ανάπτυξη κρίσιμων συστημάτων και προτύπων
15 Κύρια σημεία (β) Οι αλγεβρικές τεχνικές είναι κατάλληλες για την προδιαγραφή διασυνδέσεων, όπου η διασύνδεση ορίζεται ως ένα σύνολο κλάσεων αντικειμένων. Οι τεχνικές βάσει μοντέλου μοντελοποιούν το σύστημα χρησιμοποιώντας σύνολα και συναρτήσεις. Αυτό απλοποιεί ορισμένους τύπους προδιαγραφών συμπεριφοράς. Στην προδιαγραφή βάσει μοντέλου οι λειτουργίες ορίζονται μέσω προσυνθηκών και μετασυνθηκών που αφορούν την κατάσταση του συστήματος
ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΑΚΩΝ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΠΡΟΠΤΥΧΙΑΚΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΜΑΘΗΜΑ: ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ ΤΥΠΙΚΗ ΠΡΟΔΙΑΓΡΑΦΗ Διδάσκων: Γ. Χαραλαμπίδης, Επ. Καθηγητής
Διαβάστε περισσότεραΕνότητα 12 (κεφάλαιο 28) Αρχιτεκτονικές Εφαρμογών
ΕΠΛ362: Τεχνολογία Λογισμικού ΙΙ (μετάφραση στα ελληνικά των διαφανειών του βιβλίου Software Engineering, 9/E, Ian Sommerville, 2011) Ενότητα 12 (κεφάλαιο 28) Αρχιτεκτονικές Εφαρμογών Οι διαφάνειες αυτές
Διαβάστε περισσότεραΑνάλυση Απαιτήσεων Απαιτήσεις Λογισµικού
ΧΑΡΟΚΟΠΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΗΛΕΜΑΤΙΚΗΣ Ανάλυση Απαιτήσεων Απαιτήσεις Λογισµικού Μάρα Νικολαϊδου Αποτύπωση Απαιτήσεων Αποτύπωση απαιτήσεων Φυσική Γλώσσα Δοµηµένη γλώσσα Γραφική γλώσσα
Διαβάστε περισσότεραΔιαγράμματα UML στην Ανάλυση. Μέρος Γ Διαγράμματα Επικοινωνίας Διαγράμματα Ακολουθίας Διαγράμματα Μηχανής Καταστάσεων
Διαγράμματα UML στην Ανάλυση Μέρος Γ Διαγράμματα Επικοινωνίας Διαγράμματα Ακολουθίας Διαγράμματα Μηχανής Καταστάσεων περιεχόμενα παρουσίασης Διαγράμματα επικοινωνίας Διαγράμματα ακολουθίας Διαγράμματα
Διαβάστε περισσότεραΣυγγραφή κώδικα, δοκιμασία, επαλήθευση. Γιάννης Σμαραγδάκης
Συγγραφή κώδικα, δοκιμασία, επαλήθευση Γιάννης Σμαραγδάκης Προδιαγραφή απαιτήσεων Σχεδιασμός συνεπείς σχέσεις Υψηλό επίπεδο συνεπείς σχέσεις Χαμηλό επίπεδο συνεπείς σχέσεις Πλάνο δοκιμών Κώδικας Συγγραφή
Διαβάστε περισσότεραΑνάλυση Απαιτήσεων Απαιτήσεις Λογισµικού
ΧΑΡΟΚΟΠΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΗΛΕΜΑΤΙΚΗΣ Ανάλυση Απαιτήσεων Απαιτήσεις Λογισµικού Μάρα Νικολαϊδου Δραστηριότητες Διαδικασιών Παραγωγής Λογισµικού Καθορισµός απαιτήσεων και εξαγωγή προδιαγραφών
Διαβάστε περισσότεραΜΟΝΤΕΛΟΠΟΙΗΣΗ ΔΙΑΚΡΙΤΩΝ ΕΝΑΛΛΑΚΤΙΚΩΝ ΣΕ ΠΡΟΒΛΗΜΑΤΑ ΣΧΕΔΙΑΣΜΟΥ ΚΑΙ ΣΥΝΘΕΣΗΣ ΔΙΕΡΓΑΣΙΩΝ
ΜΕΡΟΣ ΙΙ ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΔΙΑΚΡΙΤΩΝ ΕΝΑΛΛΑΚΤΙΚΩΝ ΣΕ ΠΡΟΒΛΗΜΑΤΑ ΣΧΕΔΙΑΣΜΟΥ ΚΑΙ ΣΥΝΘΕΣΗΣ ΔΙΕΡΓΑΣΙΩΝ 36 ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΔΙΑΚΡΙΤΩΝ ΕΝΑΛΛΑΚΤΙΚΩΝ ΣΕ ΠΡΟΒΛΗΜΑΤΑ ΣΧΕΔΙΑΣΜΟΥ ΚΑΙ ΣΥΝΘΕΣΗΣ ΔΙΕΡΓΑΣΙΩΝ Πολλές από τις αποφάσεις
Διαβάστε περισσότεραΔιαδικασίες παραγωγής λογισμικού. Βασικές αρχές Τεχνολογίας Λογισμικού, 8η αγγ. έκδοση
Διαδικασίες παραγωγής λογισμικού Περιεχόμενα Παρουσίαση μοντέλων διεργασίας ανάπτυξης λογισμικού Περιγραφή τριών γενικών μοντέλων διεργασίας ανάπτυξης λογισμικού Γενική περιγραφή των διαδικασιών που περιλαμβάνονται
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΑΚΩΝ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΠΡΟΠΤΥΧΙΑΚΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΜΑΘΗΜΑ: ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ ΜΟΝΤΕΛΑ ΣΥΣΤΗΜΑΤΟΣ Διδάσκων: Γ. Χαραλαμπίδης, Επ. Καθηγητής
Διαβάστε περισσότεραΕνότητα 8 (κεφάλαιο 21) Θεματοκεντρική Τεχνολογία Λογισμικού
ΕΠΛ362: Τεχνολογία Λογισμικού ΙΙ (μετάφραση στα ελληνικά των διαφανειών του βιβλίου Software Engineering, 9/E, Ian Sommerville, 2011) Ενότητα 8 (κεφάλαιο 21) Θεματοκεντρική Τεχνολογία Λογισμικού Οι διαφάνειες
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΑΚΩΝ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΠΡΟΠΤΥΧΙΑΚΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΜΑΘΗΜΑ: ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ ΔΙΑΔΙΚΑΣΙΕΣ ΠΑΡΑΓΩΓΗΣ ΛΟΓΙΣΜΙΚΟΥ Διδάσκων: Γ. Χαραλαμπίδης,
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΑΚΩΝ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΠΡΟΠΤΥΧΙΑΚΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΜΑΘΗΜΑ: ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ ΑΠΑΙΤΗΣΕΙΣ ΛΟΓΙΣΜΙΚΟΥ Διδάσκων: Γ. Χαραλαμπίδης, Επ. Καθηγητής
Διαβάστε περισσότεραΔιαδικασίες παραγωγής λογισμικού. Βασικές αρχές Τεχνολογίας Λογισμικού, 8η αγγ. έκδοση
Διαδικασίες παραγωγής λογισμικού Περιεχόμενα Παρουσίαση μοντέλων διεργασίας ανάπτυξης λογισμικού Περιγραφή τριών γενικών μοντέλων διεργασίας ανάπτυξης λογισμικού Γενική περιγραφή των διαδικασιών που περιλαμβάνονται
Διαβάστε περισσότεραΠρόβλημα 37 / σελίδα 207
Πρόβλημα 37 / σελίδα 207 2.5. Ôåóô áõôïáîéïëüãçóçò Δίνονται οι παρακάτω ομάδες προτάσεων. Σε κάθε μία από αυτές, να κάνετε τις απαραίτητες διορθώσεις ώστε να ισχύουν οι προτάσεις 1. Η αναπαράσταση
Διαβάστε περισσότεραΕΙΣΑΓΩΓΗ ΣΤΗΝ ΑΝΑΛΥΣΗ ΑΛΓΟΡΙΘΜΩΝ
ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΑΝΑΛΥΣΗ ΑΛΓΟΡΙΘΜΩΝ Ενότητα 3: Ασυμπτωτικός συμβολισμός Μαρία Σατρατζέμη Τμήμα Εφαρμοσμένης Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.
Διαβάστε περισσότεραFORTRAN και Αντικειμενοστραφής Προγραμματισμός
FORTRAN και Αντικειμενοστραφής Προγραμματισμός Παραδόσεις Μαθήματος 2016 Δρ Γ Παπαλάμπρου Επίκουρος Καθηγητής ΕΜΠ georgepapalambrou@lmentuagr Εργαστήριο Ναυτικής Μηχανολογίας (Κτίριο Λ) Σχολή Ναυπηγών
Διαβάστε περισσότεραΤυχαίοι αριθμοί struct Αρχεία Διαμορφώσεις Συναρτήσεις Χειρισμός σφαλμάτων ΠΕΜΠΤΗ ΔΙΑΛΕΞΗ
ΠΕΜΠΤΗ ΔΙΑΛΕΞΗ Γεννήτρια τυχαίων αριθμών Η C++ παρέχει στο συναρτήσεις και κλάσεις και κλάσεων για την παραγωγή τυχαίων αριθμών. Υπάρχουν Μηχανισμοί παραγωγής σειράς τυχαίων bits. Κάθε bit έχει ίδια πιθανότητα
Διαβάστε περισσότεραΑπαιτήσεις λογισμικού. I. Sommerville 2006 Βασικές αρχές Τεχνολογίας Λογισμικού, 8η αγγ. έκδοση Κεφ. 6
Απαιτήσεις λογισμικού Στόχοι Τι είναι "απαιτήσεις χρήστη" Τι είναι "απαιτήσεις συστήματος" Περιγραφή λειτουργικών και μη λειτουργικών απαιτήσεων του λογισμικού Εξήγηση του τρόπου οργάνωσης των απαιτήσεων
Διαβάστε περισσότεραΑνάλυση Συστηµάτων και Τεχνολογία Λογισµικού
ΧΑΡΟΚΟΠΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΗΛΕΜΑΤΙΚΗΣ Ανάλυση Συστηµάτων και Τεχνολογία Λογισµικού Μάρα Νικολαϊδου Αντικείµενο & Σκοπός Παρουσίαση και ανάλυση όλων των σταδίων της διαδικασίας ανάπτυξης
Διαβάστε περισσότεραΠεριεχόμενα. Κεφάλαιο 2 Κοινωνικοτεχνικά συστήματα 49
Περιεχόμενα Πρόλογος 5 Μέρος 1 Επισκόπηση 27 Κεφάλαιο 1 Εισαγωγή 29 1.1 Συχνές ερωτήσεις για την τεχνολογία λογισμικού 31 1.2 Επαγγελματική και ηθική ευθύνη 41 Κύρια σημεία 46 Πρόσθετες πηγές 46 Ασκήσεις
Διαβάστε περισσότεραΑ2. Να γράψετε στο τετράδιο σας τον αριθμό 1-4 κάθε πρότασης και δίπλα το γράμμα που δίνει τη σωστή επιλογή.
ΑΡΧΗ 1ΗΣ ΣΕΛΙΔΑΣ Γ ΤΑΞΗ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΚΑΙ ΕΠΑΛ (ΟΜΑΔΑ Β ) ΚΥΡΙΑΚΗ 23/04/2017 - ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΑΕΠΠ ΣΥΝΟΛΟ ΣΕΛΙΔΩΝ: ΕΠΤΑ ( 7) ΘΕΜΑ Α Α1. Να χαρακτηρίσετε τις προτάσεις που ακολουθούν γράφοντας στο
Διαβάστε περισσότεραΠεριεχόμενα. Περιεχόμενα
Περιεχόμενα xv Περιεχόμενα 1 Αρχές της Java... 1 1.1 Προκαταρκτικά: Κλάσεις, Τύποι και Αντικείμενα... 2 1.1.1 Βασικοί Τύποι... 5 1.1.2 Αντικείμενα... 7 1.1.3 Τύποι Enum... 14 1.2 Μέθοδοι... 15 1.3 Εκφράσεις...
Διαβάστε περισσότεραΕισαγωγή στην Επιστήμη Υπολογιστών. Εισαγωγή στην Python
Εισαγωγή στην Επιστήμη Υπολογιστών Εισαγωγή στην Python Β Μέρος Δομή Ελέγχου if-elif-else Επαναληπτική Δομή Ελέγχου while Επαναληπτική Δομή Ελέγχου for Αλληλεπίδραση χρήστη-προγράμματος Συναρτήσεις Η δομή
Διαβάστε περισσότεραΔιαδικασίες παραγωγής λογισμικού. I. Sommerville 2006 Βασικές αρχές Τεχνολογίας Λογισμικού, 8η αγγ. έκδοση Κεφ. 4
Διαδικασίες παραγωγής λογισμικού Στόχοι Παρουσίαση μοντέλων παραγωγής λογισμικού Περιγραφή τριών γενικών μοντέλων παραγωγής λογισμικού και πότε μπορούν να χρησιμοποιούνται Γενική περιγραφή των μοντέλων
Διαβάστε περισσότεραΔιαδικασίες παραγωγής λογισμικού. I. Sommerville 2006 Βασικές αρχές Τεχνολογίας Λογισμικού, 8η αγγ. έκδοση Κεφ. 4
Διαδικασίες παραγωγής λογισμικού Περιεχόμενα Παρουσίαση μοντέλων διεργασίας ανάπτυξης λογισμικού Περιγραφή τριών γενικών μοντέλων διεργασίας ανάπτυξης λογισμικού Γενική περιγραφή των διαδικασιών που περιλαμβάνονται
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ. ΕΠΛ 035: οµές εδοµένων και Αλγόριθµοι για Ηλεκτρολόγους Μηχανικούς και Μηχανικούς Υπολογιστών
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 035: οµές εδοµένων και Αλγόριθµοι για Ηλεκτρολόγους Μηχανικούς και Μηχανικούς Υπολογιστών Ακαδηµαϊκό έτος 2010 2011, Χειµερινό εξάµηνο Ασκήσεις Επανάληψης Ενδιάµεσης
Διαβάστε περισσότεραΚεφάλαιο 3 Η Σημασιολογία των Γλωσσών Προγραμματισμού
Κεφάλαιο 3 Η Σημασιολογία των Γλωσσών Προγραμματισμού Προπτυχιακό μάθημα Αρχές Γλωσσών Προγραμματισμού Π. Ροντογιάννης 1 Εισαγωγή Γνώση γλώσσας από τη σκοπιά Του συντακτικού (syntax) Περιγραφή με γραμματικές
Διαβάστε περισσότεραΠαιδαγωγικές δραστηριότητες μοντελοποίησης με χρήση ανοικτών υπολογιστικών περιβαλλόντων
Παιδαγωγικές δραστηριότητες μοντελοποίησης με χρήση ανοικτών υπολογιστικών περιβαλλόντων Βασίλης Κόμης, Επίκουρος Καθηγητής Ερευνητική Ομάδα «ΤΠΕ στην Εκπαίδευση» Τμήμα Επιστημών της Εκπαίδευσης και της
Διαβάστε περισσότερατις αναδρομικές ακολουθίες (recursive sequences) στις οποίες ορίζαμε
Κεφάλαιο 9: Αναδρομή Ο τρόπος με τον οποίο σκεφτήκαμε και σχεδιάσαμε τις συναρτήσεις στο προηγούμενο κεφάλαιο ακολουθούσε τη φιλοσοφία του προγραμματισμού που είχαμε αναπτύξει σε όλο το προηγούμενο βιβλίο.
Διαβάστε περισσότεραΣΥΝΟΛΟ ΣΕΛΙ ΩΝ: ΕΠΤΑ (7)
ΑΡΧΗ 1ΗΣ ΣΕΛΙ ΑΣ ΠΑΝΕΛΛΑ ΙΚΕΣ ΕΞΕΤΑΣΕΙΣ ΗΜΕΡΗΣΙΩΝ ΕΣΠΕΡΙΝΩΝ ΕΠΑΓΓΕΛΜΑΤΙΚΩΝ ΛΥΚΕΙΩΝ ΤΡΙΤΗ 11 ΙΟΥΝΙΟΥ 2019 ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΥΠΟΛΟΓΙΣΤΩΝ ΣΥΝΟΛΟ ΣΕΛΙ ΩΝ: ΕΠΤΑ (7) ΘΕΜΑ Α Α1. Να χαρακτηρίσετε
Διαβάστε περισσότεραΑΣΚΗΣΗ 4 ΠΡΟΒΛΗΜΑΤΑ ΛΟΓΙΚΗΣ ΣΧΕΔΙΑΣΗΣ
ΑΣΚΗΣΗ 4 ΠΡΟΒΛΗΜΑΤΑ ΛΟΓΙΚΗΣ ΣΧΕΔΙΑΣΗΣ 4.1 ΣΚΟΠΟΣ Σκοπός αυτής της εργαστηριακής άσκησης είναι να παρουσιάσει τις βασικές αρχές της σχεδίασης λογικών (ψηφιακών) κυκλωμάτων για πρακτικές εφαρμογές. Στα προηγούμενα
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΑΚΩΝ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΠΡΟΠΤΥΧΙΑΚΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΜΑΘΗΜΑ: ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ ΔΟΚΙΜΕΣ ΛΟΓΙΣΜΙΚΟΥ Διδάσκων: Γ. Χαραλαμπίδης, Επ. Καθηγητής
Διαβάστε περισσότεραΕλεγχος, Αξιοπιστία και Διασφάλιση Ποιότητας Λογισµικού Πολυπλοκότητα
Ελεγχος, Αξιοπιστία και Διασφάλιση Ποιότητας Λογισµικού Πολυπλοκότητα Τµήµα Διοίκησης Επιχειρήσεων Τει Δυτικής Ελλάδας Μεσολόγγι Δρ. Α. Στεφανή Διάλεξη 5 2 Εγκυροποίηση Λογισµικού Εγκυροποίηση Λογισµικού
Διαβάστε περισσότεραΔιαδικασίες της τεχνολογίας απαιτήσεων. I. Sommerville 2006 Βασικές αρχές Τεχνολογίας Λογισμικού, 8η αγγ. έκδοση Κεφ. 7
Διαδικασίες της τεχνολογίας απαιτήσεων 1 Περιεχόμενα Μελέτες σκοπιμότητας Εξαγωγή και ανάλυση απαιτήσεων Δομημένη ανάλυση & Διαγράμματα Ροής Δεδομένων Επικύρωση απαιτήσεων Διαχείριση απαιτήσεων 2 Διαδικασία
Διαβάστε περισσότεραΕισαγωγή στην τεχνολογία λογισμικού. I. Sommerville 2006 Βασικές αρχές Τεχνολογίας Λογισμικού, 8η αγγ. έκδοση Κεφ. 1
Εισαγωγή στην τεχνολογία λογισμικού Στόχοι Έννοια της τεχνολογίας λογισμικού (ΤΛ) και ερμηνεία της σημασίας της Απαντήσεις σε θεμελιώδεις ερωτήσεις για την ΤΛ Ανάδειξη ηθικών και επαγγελματικών ζητημάτων
Διαβάστε περισσότεραΑπαιτήσεις λογισμικού. I. Sommerville 2006 Βασικές αρχές Τεχνολογίας Λογισμικού, 8η αγγ. έκδοση Κεφ. 6
Απαιτήσεις λογισμικού Στόχοι Παρουσίαση των εννοιών "απαιτήσεις χρήστη" και "απαιτήσεις συστήματος" Περιγραφή λειτουργικών και μη λειτουργικών απαιτήσεων του λογισμικού Εξήγηση του τρόπου οργάνωσης των
Διαβάστε περισσότεραΕΞΕΤΑΣΤΕΑ ΥΛΗ (SYLLABUS) ADVANCED αντικειμενοστραφής προγραμματισμός ΕΚΔΟΣΗ 1.0. Σόλωνος 108,Τηλ Φαξ
ΕΞΕΤΑΣΤΕΑ ΥΛΗ (SYLLABUS) ADVANCED αντικειμενοστραφής προγραμματισμός ΕΚΔΟΣΗ 1.0 ΤΙ ΕΙΝΑΙ ΤΟ ADVANCED Οι Advanced θεματικές ενότητες είναι κατάλληλες για άτομα που επιθυμούν να συνεχίσουν σπουδές στο χώρο
Διαβάστε περισσότεραΠΑΝΕΛΛΑΔΙΚΕΣ ΕΞΕΤΑΣΕΙΣ ΗΜΕΡΗΣΙΩΝ ΕΠΑΛ ΤΡΙΤΗ 11 ΙΟΥΝΙΟΥ 2019 ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΥΠΟΛΟΓΙΣΤΩΝ
ΠΑΝΕΛΛΑΔΙΚΕΣ ΕΞΕΤΑΣΕΙΣ ΗΜΕΡΗΣΙΩΝ ΕΠΑΛ ΤΡΙΤΗ 11 ΙΟΥΝΙΟΥ 2019 ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΥΠΟΛΟΓΙΣΤΩΝ ΘΕΜΑ Α Α1. Να χαρακτηρίσετε τις προτάσεις που ακολουθούν, γράφοντας στο τετράδιό σας, δίπλα στο
Διαβάστε περισσότεραΔΕΙΓΜΑ ΠΡΙΝ ΤΙΣ ΔΙΟΡΘΩΣΕΙΣ - ΕΚΔΟΣΕΙΣ ΚΡΙΤΙΚΗ
Συναρτήσεις Προεπισκόπηση Κεφαλαίου Τα μαθηματικά είναι μια γλώσσα με ένα συγκεκριμένο λεξιλόγιο και πολλούς κανόνες. Πριν ξεκινήσετε το ταξίδι σας στον Απειροστικό Λογισμό, θα πρέπει να έχετε εξοικειωθεί
Διαβάστε περισσότεραΑνάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4)
Ανάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Η διαδικαστική γλώσσα προγραμματισμού WHILE Τριάδες Hoare Μερική και Ολική Ορθότητα Προγραμμάτων Κανόνες
Διαβάστε περισσότεραΔΟΜΙΚΗ ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΚΑΙ ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΣΥΜΠΕΡΙΦΟΡΑΣ (9)
ΤΕΙ ΔΥΤΙΚΗΣ ΕΛΛΑΔΑΣ ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ (ΜΕΣΟΛΟΓΓΙ) ΑΝΑΛΥΣΗ ΚΑΙ ΣΧΕΔΙΑΣΜΟΣ ΠΛΗΡΟΦΟΡΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΔΟΜΙΚΗ ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΚΑΙ ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΣΥΜΠΕΡΙΦΟΡΑΣ (9) ΓΙΩΡΓΟΣ ΜΟΥΡΚΟΥΣΗΣ Μηχανικός Η/Υ & Πληροφορικής
Διαβάστε περισσότεραΑνάπτυξη & Σχεδίαση Λογισμικού (ΗΥ420)
Ανάπτυξη & Σχεδίαση Λογισμικού (ΗΥ420) Διάλεξη 8: Σχεδίαση Συστήματος Σχεδίαση Συστήματος 2 Διεργασία μετατροπής του προβλήματος σε λύση. Από το Τί στο Πώς. Σχέδιο: Λεπτομερής περιγραφή της λύσης. Λύση:
Διαβάστε περισσότεραΠεριεχόμενα. Μέρος 1: Βασικές έννοιες Πληροφορικής και επικοινωνιών Μέρος 2: Χρήση υπολογιστή και διαχείριση αρχείων Πρόλογος...
Περιεχόμενα Πρόλογος...11 Μέρος 1: Βασικές έννοιες Πληροφορικής και επικοινωνιών... 13 1.1 Εισαγωγή στους υπολογιστές... 15 1.2 Μονάδες μέτρησης... 27 1.3 Οι βασικές λειτουργίες ενός ηλεκτρονικού υπολογιστή...
Διαβάστε περισσότεραοκιμασία και πλάνο δοκιμασίας
οκιμασία και πλάνο ς Γιάννης Σμαραγδάκης Η επιχειρεί να απαντήσει Κάνει το λογισμικό αυτό που υποτίθεται; Πότε μπορεί να έχει πρόβλημα; Πόσο γρήγορα τρέχει; Πόσο ακριβή είναι τα αποτελέσματα; Όταν έχει
Διαβάστε περισσότεραΚύρια σημεία. Η έννοια του μοντέλου. Έρευνα στην εφαρμοσμένη Στατιστική. ΈρευναστηΜαθηματικήΣτατιστική. Αντικείμενο της Μαθηματικής Στατιστικής
Κύρια σημεία Ερευνητική Μεθοδολογία και Μαθηματική Στατιστική Απόστολος Μπουρνέτας Τμήμα Μαθηματικών ΕΚΠΑ Αναζήτηση ερευνητικού θέματος Εισαγωγή στην έρευνα Ολοκλήρωση ερευνητικής εργασίας Ο ρόλος των
Διαβάστε περισσότεραΕισαγωγή στην επιστήμη των υπολογιστών. Λογισμικό Υπολογιστών Κεφάλαιο 8ο Αλγόριθμοι
Εισαγωγή στην επιστήμη των υπολογιστών Λογισμικό Υπολογιστών Κεφάλαιο 8ο Αλγόριθμοι 1 Έννοια Ανεπίσημα, ένας αλγόριθμος είναι μια βήμα προς βήμα μέθοδος για την επίλυση ενός προβλήματος ή την διεκπεραίωση
Διαβάστε περισσότεραΤηλεπικοινωνιακά Συστήματα ΙΙ
Τηλεπικοινωνιακά Συστήματα ΙΙ Διάλεξη 13: Συνελικτικοί Κώδικες Δρ. Μιχάλης Παρασκευάς Επίκουρος Καθηγητής 1 Κώδικες: Εισαγωγή Συνελικτικοί κώδικες Ατζέντα Ιστορική αναδρομή Μαθηματικό υπόβαθρο Αναπαράσταση
Διαβάστε περισσότεραΑλγόριθμοι και Πολυπλοκότητα
Αλγόριθμοι και Πολυπλοκότητα Ροή Δικτύου Δημήτρης Μιχαήλ Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Μοντελοποίηση Δικτύων Μεταφοράς Τα γραφήματα χρησιμοποιούνται συχνά για την μοντελοποίηση
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Δομές Δεδομένων. Ιωάννης Γ. Τόλλης Τμήμα Επιστήμης Υπολογιστών Πανεπιστήμιο Κρήτης
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Δομές Δεδομένων Ιωάννης Γ. Τόλλης Τμήμα Επιστήμης Υπολογιστών Πανεπιστήμιο Κρήτης Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού
Διαβάστε περισσότεραΛίγα λόγια για τους συγγραφείς 16 Πρόλογος 17
Περιεχόμενα Λίγα λόγια για τους συγγραφείς 16 Πρόλογος 17 1 Εισαγωγή 21 1.1 Γιατί χρησιμοποιούμε τη στατιστική; 21 1.2 Τι είναι η στατιστική; 22 1.3 Περισσότερα για την επαγωγική στατιστική 23 1.4 Τρεις
Διαβάστε περισσότεραΑσφαλή Συστήματα Μέθοδοι ελέγχου και εξακρίβωσης ορθής λειτουργίας
Λειτουργικά Συστήματα Πραγματικού Χρόνου 2006-07 Ασφαλή Συστήματα Μέθοδοι ελέγχου και εξακρίβωσης ορθής λειτουργίας Μ.Στεφανιδάκης Ενσωματωμένα Συστήματα: Απαιτήσεις Αξιοπιστία (reliability) Χρηστικότητα
Διαβάστε περισσότερα3 Αλληλεπίδραση Αντικειμένων
Αφαίρεση και Αρθρωσιμότητα 3 Αλληλεπίδραση Αντικειμένων Πώς συνεργάζονται τα αντικείμενα που δημιουργούμε Αφαίρεση (abstraction) είναι η δυνατότητα να αγνοούμε τις λεπτομέρειες και να εστιάζουμε την προσοχή
Διαβάστε περισσότεραΑλγόριθμοι και Δομές Δεδομένων (Ι) (εισαγωγικές έννοιες)
Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής Εισαγωγή στην Επιστήμη των Υπολογιστών 2015-16 Αλγόριθμοι και Δομές Δεδομένων (Ι) (εισαγωγικές έννοιες) http://di.ionio.gr/~mistral/tp/csintro/ Μ.Στεφανιδάκης Τι είναι
Διαβάστε περισσότεραΠερί της Ταξινόμησης των Ειδών
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης Σχολή Θετικών Επιστημών Τμήμα Φυσικής 541 24 Θεσσαλονίκη Καθηγητής Γεώργιος Θεοδώρου Tel.: +30 2310998051, Ιστοσελίδα: http://users.auth.gr/theodoru Περί της Ταξινόμησης
Διαβάστε περισσότεραΔιδάσκων: Κωνσταντίνος Κώστα Διαφάνειες: Δημήτρης Ζεϊναλιπούρ
Διάλεξη 9: Στοίβες:Υλοποίηση & Εφαρμογές Στην ενότητα αυτή θα μελετηθεί η χρήση στοιβών στις εξής εφαρμογές: Υλοποίηση Στοιβών με Δυναμική Δέσμευση Μνήμης Εφαρμογή Στοιβών 1: Αναδρομικές συναρτήσεις Εφαρμογή
Διαβάστε περισσότεραΠ3.1 ΣΧΕΔΙΟ ΑΞΙΟΛΟΓΗΣΗΣ
Π3.1 ΣΧΕΔΙΟ ΑΞΙΟΛΟΓΗΣΗΣ Αριθμός Έκδοσης: ΕΚΕΤΑ ΙΜΕΤ ΕΜ Β 2014 13 Παραδοτέο ΙΜΕΤ Τίτλος Έργου: «Ολοκληρωμένο σύστημα για την ασφαλή μεταφορά μαθητών» Συγγραφέας: Δρ. Μαρία Μορφουλάκη Κορνηλία Μαρία ΘΕΣΣΑΛΟΝΙΚΗ,
Διαβάστε περισσότεραΠεριεχόμενα Ορισμός και λειτουργία των μηχανών Turing Θεωρία Υπολογισμού Ενότητα 20: Μηχανές Turing: Σύνθεση και Υπολογισμοί Επ. Καθ. Π. Κατσαρός Τμήμ
Θεωρία Υπολογισμού Ενότητα 20: Μηχανές Turing: Σύνθεση και Υπολογισμοί Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,
Διαβάστε περισσότεραΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΛΗ42 - ΕΙ ΙΚΑ ΘΕΜΑΤΑ ΤΕΧΝΟΛΟΓΙΑΣ ΛΟΓΙΣΜΙΚΟΥ
ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΛΗ42 - ΕΙ ΙΚΑ ΘΕΜΑΤΑ ΤΕΧΝΟΛΟΓΙΑΣ ΛΟΓΙΣΜΙΚΟΥ 2η ΓΡΑΠΤΗ ΕΡΓΑΣΙΑ ΑΚΑ ΗΜΑΪΚΟΥ ΕΤΟΥΣ 2007-2008 1 ος Τόµος ΓΡΑΠΤΗ ΕΡΓΑΣΙΑ 2 (ΣΥΝΟΛΟ ΒΑΘΜΩΝ 100) ΥΠΟΕΡΓΑΣΙΑ 2.Α Βαθµοί:....... 60
Διαβάστε περισσότεραΣου προτείνω να τυπώσεις τις επόμενες τέσσερις σελίδες σε ένα φύλο διπλής όψης και να τις έχεις μαζί σου για εύκολη αναφορά.
AeppAcademy.com facebook.com/aeppacademy Γεια. Σου προτείνω να τυπώσεις τις επόμενες τέσσερις σελίδες σε ένα φύλο διπλής όψης και να τις έχεις μαζί σου για εύκολη αναφορά. Καλή Ανάγνωση & Καλή Επιτυχία
Διαβάστε περισσότεραFAIL PASS PASS οριακά
AEM 0001 0002 COMMENTS οριακά -Το πρόγραµµά σου δουλεύει λάθος για τις εισόδους: 7 -Δεν έχεις µεριµνήσει για την περίπτωση step=1. Μπορούσες να θεωρήσεις ειδική περίπτωση και να την υλοποιείς σε άλλον
Διαβάστε περισσότεραΚεφάλαιο 10 Υποπρογράμματα. Καραμαούνας Πολύκαρπος
Κεφάλαιο 10 Υποπρογράμματα 1 10.1 Τμηματικός προγραμματισμός Τμηματικός προγραμματισμός ονομάζεται η τεχνική σχεδίασης και ανάπτυξης των προγραμμάτων ως ένα σύνολο από απλούστερα τμήματα προγραμμάτων.
Διαβάστε περισσότεραΤι είναι αλγόριθμος; Υποπρογράμματα (υποαλγόριθμοι) Βασικές αλγοριθμικές δομές
Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής Εισαγωγή στην Επιστήμη των Υπολογιστών 2015-16 Αλγόριθμοι και Δομές Δεδομένων (Ι) (εισαγωγικές έννοιες) http://di.ionio.gr/~mistral/tp/csintro/ Μ.Στεφανιδάκης Τι είναι
Διαβάστε περισσότεραΑΣΚΗΣΗ 3 ΣΥΝΔΥΑΣΤΙΚΑ ΛΟΓΙΚΑ ΚΥΚΛΩΜΑΤΑ: ΑΝΑΛΥΣΗ ΚΑΙ ΣΧΕΔΙΑΣΗ
ΑΣΚΗΣΗ 3 ΣΥΝΔΥΑΣΤΙΚΑ ΛΟΓΙΚΑ ΚΥΚΛΩΜΑΤΑ: ΑΝΑΛΥΣΗ ΚΑΙ ΣΧΕΔΙΑΣΗ Αντικείμενο της άσκησης: Μεθοδολογία ανάλυσης και σχεδίασης συνδυαστικών λογικών κυκλωμάτων και λειτουργική εξομοίωση με το λογισμικό EWB. Συνδυαστικά
Διαβάστε περισσότεραΚεφάλαιο 10 Υποπρογράμματα. Καραμαούνας Πολύκαρπος
Κεφάλαιο 10 Υποπρογράμματα 1 10.1 Τμηματικός προγραμματισμός Τμηματικός προγραμματισμός ονομάζεται η τεχνική σχεδίασης και ανάπτυξης των προγραμμάτων ως ένα σύνολο από απλούστερα τμήματα προγραμμάτων.
Διαβάστε περισσότεραΑριθμητική Ανάλυση & Εφαρμογές
Αριθμητική Ανάλυση & Εφαρμογές Διδάσκων: Δημήτριος Ι. Φωτιάδης Τμήμα Μηχανικών Επιστήμης Υλικών Ιωάννινα 2017-2018 Υπολογισμοί και Σφάλματα Παράσταση Πραγματικών Αριθμών Συστήματα Αριθμών Παράσταση Ακέραιου
Διαβάστε περισσότεραΠροδιαγραφές Απαιτήσεων Επικύρωση Απαιτήσεων
Προδιαγραφές Απαιτήσεων Επικύρωση Απαιτήσεων περιεχόμενα παρουσίασης Προδιαγραφές Απαιτήσεων Έγγραφο Προδιαγραφών Απαιτήσεων λογισμικού (ΕΠΑΛ) Επικύρωση απαιτήσεων Ιχνηλάτηση απαιτήσεων προδιαγραφές απαιτήσεων
Διαβάστε περισσότεραΠεριεχόμενα. 2 Αριθμητικά συστήματα
Περιεχόμενα Πρόλογος 1 Εισαγωγή 1.1 Το μοντέλο Turing 1.2 Το μοντέλο von Neumann 1.3 Συστατικά στοιχεία υπολογιστών 1.4 Ιστορικό 1.5 Κοινωνικά και ηθικά ζητήματα 1.6 Η επιστήμη των υπολογιστών ως επαγγελματικός
Διαβάστε περισσότεραΔιάλεξη 06: Συνδεδεμένες Λίστες & Εφαρμογές Στοιβών και Ουρών
ΕΠΛ231 Δομές Δεδομένων και Αλγόριθμοι 1 Διάλεξη 06: Συνδεδεμένες Λίστες & Εφαρμογές Στοιβών και Ουρών Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: - Υλοποίηση ΑΤΔ με Συνδεδεμένες Λίστες -
Διαβάστε περισσότεραάλγεβρα και αλγεβρική σκέψη στην πρώτη σχολική περίοδο (Νηπιαγωγείο Δημοτικό) μαρία καλδρυμίδου
άλγεβρα και αλγεβρική σκέψη στην πρώτη σχολική περίοδο (Νηπιαγωγείο Δημοτικό) μαρία καλδρυμίδου κάποια ερωτήματα τι είναι η άλγεβρα; τι περιλαμβάνει η άλγεβρα; ποια η σχέση της με την αριθμητική; γιατί
Διαβάστε περισσότεραΜεταγλωττιστές Βελτιστοποίηση
Μεταγλωττιστές Βελτιστοποίηση Νίκος Παπασπύρου nickie@softlab.ntua.gr Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχ. και Μηχ. Υπολογιστών Εργαστήριο Τεχνολογίας Λογισμικού Πολυτεχνειούπολη, 15780
Διαβάστε περισσότεραΣυστήματα Αυτομάτου Ελέγχου ΙΙ
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ Ανώτατο Εκπαιδευτικό Ίδρυμα Πειραιά Τεχνολογικού Τομέα Συστήματα Αυτομάτου Ελέγχου ΙΙ Ενότητα #1: Ποιοτικά Χαρακτηριστικά Συστημάτων Κλειστού Βρόχου Δημήτριος Δημογιαννόπουλος Τμήμα
Διαβάστε περισσότεραΔιαδικασιακός Προγραμματισμός
Τμήμα ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕ ΤΕΙ ΔΥΤΙΚΗΣ ΕΛΛΑΔΑΣ Διαδικασιακός Προγραμματισμός Διάλεξη 12 η Αναζήτηση/Ταξινόμηση Πίνακα Οι διαλέξεις βασίζονται στο βιβλίο των Τσελίκη και Τσελίκα C: Από τη Θεωρία στην
Διαβάστε περισσότεραΕνότητα 9 (κεφάλαιο 24) Διαχείριση Ποιότητας
ΕΠΛ362: Τεχνολογία Λογισμικού ΙΙ (μετάφραση στα ελληνικά των διαφανειών του βιβλίου Software Engineering, 9/E, Ian Sommerville, 2011) Ενότητα 9 (κεφάλαιο 24) Διαχείριση Ποιότητας Οι διαφάνειες αυτές έχουν
Διαβάστε περισσότεραγρηγορότερα. Αν θέλουμε να μηδενίσουμε όλα τα υπόλοιπα bit μπορούμε να χρησιμοποιήσουμε την εντολή:
A. Tips 1. Τοποθέτηση σημαίας ή bit ενός καταχωρητή ή μεταβλητής... 2 2. Καθάρισμα σημαίας ή bit ενός καταχωρητή ή μεταβλητής... 2 3. Σύγκριση μονοδιάστατων πινάκων (στο παράδειγμα 5 στοιχείων)... 2 4.
Διαβάστε περισσότεραΤεχνολογία Λογισμικού. Ενότητα 1: Εισαγωγή στην UML Καθηγητής Εφαρμογών Ηλίας Γουνόπουλος Τμήμα Διοίκησης Επιχειρήσεων (Γρεβενά)
Τεχνολογία Λογισμικού Ενότητα 1: Εισαγωγή στην UML Καθηγητής Εφαρμογών Ηλίας Γουνόπουλος Τμήμα Διοίκησης Επιχειρήσεων (Γρεβενά) Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΙΑΣ ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΙΑΣ ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΑΝΑΠΤΥΞΗ ΚΑΙ ΣΧΕΔΙΑΣΗ ΛΟΓΙΣΜΙΚΟΥ Η γλώσσα προγραμματισμού C ΕΡΓΑΣΤΗΡΙΟ 2: Εκφράσεις, πίνακες και βρόχοι 14 Απριλίου 2016 Το σημερινό εργαστήριο
Διαβάστε περισσότεραΕνότητα 3 (κεφάλαιο 16) Επαναχρησιμοποίηση Λογισμικού
ΕΠΛ362: Τεχνολογία Λογισμικού ΙΙ (μετάφραση στα ελληνικά των διαφανειών του βιβλίου Software Engineering, 9/E, Ian Sommerville, 2011) Ενότητα 3 (κεφάλαιο 16) Επαναχρησιμοποίηση Λογισμικού Οι διαφάνειες
Διαβάστε περισσότεραΕννοιολογική Ομοιογένεια
Ιόνιο Πανεπιστήμιο Τμήμα Αρχειονομίας Βιβλιοθηκονομίας Εργαστήριο Ψηφιακών Βιβλιοθηκών και Ηλεκτρονικής Δημοσίευσης Εννοιολογική Ομοιογένεια Αξιοποίηση Ταξινομικών Συστημάτων Γεωργία Προκοπιάδου, Διονύσης
Διαβάστε περισσότεραΑλγόριθμοι και Πολυπλοκότητα
Αλγόριθμοι και Πολυπλοκότητα Ανάλυση Αλγορίθμων Δημήτρης Μιχαήλ Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ανάλυση Αλγορίθμων Η ανάλυση αλγορίθμων περιλαμβάνει τη διερεύνηση του τρόπου
Διαβάστε περισσότεραΤεχνολογία Πολυμέσων. Ενότητα # 3: Συστήματα πολυμέσων Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής
Τεχνολογία Πολυμέσων Ενότητα # 3: Συστήματα πολυμέσων Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του
Διαβάστε περισσότεραΕνότητες 3 & 4: Δένδρα, Σύνολα & Λεξικά Ασκήσεις και Λύσεις
Ενότητες 3 & 4: Δένδρα, Σύνολα & Λεξικά Ασκήσεις και Λύσεις Άσκηση 1 Γράψτε μία αναδρομική συνάρτηση που θα παίρνει ως παράμετρο ένα δείκτη στη ρίζα ενός δυαδικού δένδρου και θα επιστρέφει το βαθμό του
Διαβάστε περισσότερα5. (Λειτουργικά) Δομικά Διαγράμματα
5. (Λειτουργικά) Δομικά Διαγράμματα Γενικά, ένα λειτουργικό δομικό διάγραμμα έχει συγκεκριμένη δομή που περιλαμβάνει: Τις δομικές μονάδες (λειτουργικά τμήματα ή βαθμίδες) που συμβολίζουν συγκεκριμένες
Διαβάστε περισσότεραΣήμερα. Εργαστήρια Τεχνικών Προγραμματισμού. Διαδικαστικά 19/3/2015. ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ και Τεχνικές Προγραμματισμού
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ και Τεχνικές Προγραμματισμού http://eclass.di.uoa.gr/d419/ domes@di.uoa.gr Τμήμα Α - A2 Τετάρτη 11-13 και Πέμπτη 11-13 Τμήμα Β -Α2 Τετάρτη 15-17 και Πέμπτη 16-18 Παρακολουθείτε όποιο Τμήμα
Διαβάστε περισσότεραΚεφάλαιο 5 Κριτήρια απόρριψης απόμακρων τιμών
Κεφάλαιο 5 Κριτήρια απόρριψης απόμακρων τιμών Σύνοψη Στο κεφάλαιο αυτό παρουσιάζονται δύο κριτήρια απόρριψης απομακρυσμένων από τη μέση τιμή πειραματικών μετρήσεων ενός φυσικού μεγέθους και συγκεκριμένα
Διαβάστε περισσότεραΠΑΡΑΔΕΙΓΜΑ ΣΤΟ BIZAGI ΕΘΝΙΚΗ ΣΧΟΛΗ ΔΗΜΟΣΙΑΣ ΔΙΟΙΚΗΣΗΣ & ΑΥΤΟΔΙΟΙΚΗΣΗΣ
Ανάλυση - Προσομοίωση ΠΑΡΑΔΕΙΓΜΑ ΣΤΟ BIZAGI ΕΘΝΙΚΗ ΣΧΟΛΗ ΔΗΜΟΣΙΑΣ ΔΙΟΙΚΗΣΗΣ & ΑΥΤΟΔΙΟΙΚΗΣΗΣ 1 Προσομοίωση Η προσομοίωση είναι μέθοδος μελέτης ενός συστήματος και εξοικείωσης με τα χαρακτηριστικά του με
Διαβάστε περισσότεραάλγεβρα και αλγεβρική σκέψη μαρία καλδρυμίδου
άλγεβρα και αλγεβρική σκέψη μαρία καλδρυμίδου άλγεβρα από την επίλυση εξισώσεων στη μελέτη των μεταβολών, των σχέσεων, των κανονικοτήτων και δομών, σε ένα περιβάλλον αναλυτικού συμβολικού συλλογισμού με
Διαβάστε περισσότεραΔΙΑΧΕΙΡΙΣΗ ΥΔΑΤΙΚΩΝ ΠΟΡΩΝ
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΧΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ ΔΙΑΧΕΙΡΙΣΗ ΥΔΑΤΙΚΩΝ ΠΟΡΩΝ Συνδυασμένη χρήση μοντέλων προσομοίωσης βελτιστοποίησης. Η μέθοδος του μητρώου μοναδιαίας απόκρισης Νικόλαος
Διαβάστε περισσότεραΟΔΗΓΟΣ ΟΘΟΝΗΣ ΣΥΣΚΕΥΗΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ Για χρήση με τα Προγραμματιζόμενα Συστήματα Έγχυσης Prometra
ΟΔΗΓΟΣ ΟΘΟΝΗΣ ΣΥΣΚΕΥΗΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ Για χρήση με τα Προγραμματιζόμενα Συστήματα Έγχυσης Prometra Περιεχόμενα Εισαγωγή...1 Οθόνες της συσκευής προγραμματισμού...1 Λειτουργία της συσκευής προγραμματισμού...1
Διαβάστε περισσότεραΓλώσσες προγραµµατισµού. Ανάπτυξη Συστηµάτων Λογισµικού
ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ http://courses.softlab.ntua.gr/softeng/ ιδάσκοντες: (nickie@softlab.ntua.gr) Βασίλης Βεσκούκης (bxb@softlab.ntua.gr) Γλώσσες Προγραµµατισµού και Ανάπτυξη Συστηµάτων Λογισµικού ΤΛ
Διαβάστε περισσότεραΣχεδίαση μαθησιακών δραστηριοτήτων λογιστικά φύλλα υπερμεσικά περιβάλλοντα προσομοιώσεις
Σχεδίαση μαθησιακών δραστηριοτήτων λογιστικά φύλλα υπερμεσικά περιβάλλοντα προσομοιώσεις Καθηγητής Τ. Α. Μικρόπουλος Προδιαγραφές Βασικό και αφετηριακό σημείο για τη σχεδίαση μαθησιακών δραστηριοτήτων
Διαβάστε περισσότεραΕπιμορφωτικό Σεμινάριο Διδακτικής των Μαθηματικών με ΤΠΕ
ΞΑΝΘΗ ΔΕΚΕΜΒΡΙΟΣ 2016 ΙΑΝΟΥΑΡΙΟΣ 2017 Επιμορφωτικό Σεμινάριο Διδακτικής των Μαθηματικών με ΤΠΕ ΕΠΙΜΟΡΦΩΤΗΣ : ΓΙΑΝΝΗΣ ΚΟΥΤΙΔΗΣ Μαθηματικός www.kutidis.gr Διδακτική της Άλγεβρας με χρήση ψηφιακών τεχνολογιών
Διαβάστε περισσότεραΕισαγωγή στην επιστήμη των Υπολογιστών & Τηλεπικοινωνιών
Εισαγωγή στην επιστήμη των Υπολογιστών & Τηλεπικοινωνιών Λογισμικό Υπολογιστών Αλγόριθμοι 1 Έννοια Ανεπίσημα, ένας αλγόριθμος είναι μια βήμα προς βήμα μέθοδος για την επίλυση ενός προβλήματος ή την διεκπεραίωση
Διαβάστε περισσότεραΕπιλέξτε Σωστό ή Λάθος για καθένα από τα παρακάτω:
Επιλέξτε Σωστό ή Λάθος για καθένα από τα παρακάτω: 1ο ΓΕΛ Καστοριάς Βασικές Έννοιες Αλγορίθμων Δομή Ακολουθίας (κεφ. 2 και 7 σχολικού βιβλίου) 1. Οι μεταβλητές αντιστοιχίζονται από τον μεταγλωττιστή κάθε
Διαβάστε περισσότεραΕΝΟΤΗΤΑ III ΒΑΣΙΚΕΣ ΜΕΘΟ ΟΙ ΑΝΑΛΥΣΗΣ
ΕΝΟΤΗΤΑ III ΒΑΣΙΚΕΣ ΜΕΘΟ ΟΙ ΑΝΑΛΥΣΗΣ Βασικός τελικός στόχος κάθε επιστηµονικής τεχνολογικής εφαρµογής είναι: H γενική βελτίωση της ποιότητας του περιβάλλοντος Η βελτίωση της ποιότητας ζωής Τα µέσα µε τα
Διαβάστε περισσότεραΠεριεχόμενο του μαθήματος
ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ Η Αντικειμενοστρεφής Τεχνολογία Δρ Βαγγελιώ Καβακλή Τμήμα Πολιτισμικής Τεχνολογίας και Επικοινωνίας Πανεπιστήμιο Αιγαίου Εαρινό Εξάμηνο 202-203 Περιεχόμενο του μαθήματος Η έννοια
Διαβάστε περισσότεραΚεφάλαιο 14: Διαστασιολόγηση αγωγών και έλεγχος πιέσεων δικτύων διανομής
Κεφάλαιο 14: Διαστασιολόγηση αγωγών και έλεγχος πιέσεων δικτύων διανομής Έλεγχος λειτουργίας δικτύων διανομής με χρήση μοντέλων υδραυλικής ανάλυσης Βασικό ζητούμενο της υδραυλικής ανάλυσης είναι ο έλεγχος
Διαβάστε περισσότεραΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ ΠΡΟΣΟΜΟΙΩΣΗΣ ΠΑΝΕΛΛΑΔΙΚΩΝ ΣΧΟΛΙΚΟΥ ΕΤΟΥΣ
Θέμα Α ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ ΠΡΟΣΟΜΟΙΩΣΗΣ ΠΑΝΕΛΛΑΔΙΚΩΝ ΣΧΟΛΙΚΟΥ ΕΤΟΥΣ 2016-2017 Πάτρα 3/5/2017 Ονοματεπώνυμο:.. Α1. Να γράψετε στην κόλλα σας τον αριθμό
Διαβάστε περισσότεραΕισαγωγή. Όλες οι (άλλες) επιστήµες µηχανικών βασίζονται σε σταθερό θεωρητικό (µαθηµατικό) υπόβαθρο
ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ http://courses.softlab.ntua.gr/softeng/ ιδάσκοντες: (nickie@softlab.ntua.gr) Γιάννης Μαΐστρος (maistros@cs.ntua.gr) Βασίλης Βεσκούκης (bxb@softlab.ntua.gr) Τυπικές Μέθοδοι στην Ανάπτυξη
Διαβάστε περισσότεραΠΜΣ 513 ΤΕΧΝΟΛΟΓΙΑ ΗΛΕΚΤΡΟΝ ΙΚΟΥ ΕΜΠΟΡΙΟΥ ΥΠΟΧΡΕΩΤΙΚΗ ΕΡΓΑΣΙΑ 2015
ΠΜΣ 513 ΤΕΧΝΟΛΟΓΙΑ ΗΛΕΚΤΡΟΝ ΙΚΟΥ ΕΜΠΟΡΙΟΥ ΥΠΟΧΡΕΩΤΙΚΗ ΕΡΓΑΣΙΑ 2015 19 Ιουλίου 2015 Αντικείµενο της παρούσης εργασίας είναι η ανάπτυξη ενός πληροφοριακού συστήµατος για την υποστήριξη των λειτουργιών προσφοράς/ανάθεσης
Διαβάστε περισσότεραΤυπικές Μέθοδοι στην Ανάπτυξη Συστηµάτων Λογισµικού
ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ http://coursessoftlabntuagr/softeng/ ιδάσκοντες: (nickie@softlabntuagr) Γιάννης Μαΐστρος (maistros@csntuagr) Βασίλης Βεσκούκης (bxb@softlabntuagr) Τυπικές Μέθοδοι στην Ανάπτυξη Συστηµάτων
Διαβάστε περισσότερα