ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-1
|
|
- Μύρων Ζαχαρίου
- 7 χρόνια πριν
- Προβολές:
Transcript
1 Εισαγωγή Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Ο ρόλος της ανάλυσης και επαλήθευσης συστημάτων Τεχνικές ανάλυσης συστημάτων Στόχοι του μαθήματος ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-1
2 Διδασκαλία Διαλέξεις: Πέμπτη, Φροντιστήριο /Εργαστήριο : 1½ ώρα εβδομαδιαίως Ιστοσελίδα μαθήματος: ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-2
3 Tο μάθημα θα μελετήσει: Περιγραφή Πρότυπα μοντελοποίησης συστημάτων: Συστήματα μεταβάσεων Άλγεβρες Διεργασιών Αυτόματα Τεχνικές ανάλυσης συστημάτων: Μοντελοέλεγχος (model-checking) Ισοδυναμίες (simulations) Εφαρμογή πειραμάτων (testing) Εργαλεία που επιτρέπουν την αυτοματοποιημένη ανάλυση συστημάτων: SPIN UPPAAL Παράλληλα συστήματα, κατανεμημένα συστήματα, πρωτόκολλα επικοινωνίας, κλπ ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-3
4 Στόχοι του μαθήματος Εξοικείωση με διάφορες τεχνικές επαλήθευσης συστημάτων Αναγνώριση δυνατοτήτων και περιορισμών της κάθε μιας από αυτές Εξοικείωση με εργαλεία επαλήθευσης συστημάτων Διαδικασία: Επιλογή εργαλείου, μοντελοποίηση, ανάλυση, εύρεση λαθών Ειδικά θέματα: Χρόνος, πιθανότητα, ασφάλεια ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-4
5 Αξιολόγηση 5 σειρές ασκήσεων 3θεωρητικές 2 πρακτικές 3 5 = 15% 2 5 = 10% Ενδιάμεση Εξέταση 25% Τελική εξέταση 50% ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-5
6 Βιβλιογραφία D. Peled, Software Reliability Methods. Springer-Verlag, Christel Baier, Joost-Pieter Katoen, Principles of Model Checking. MIT Press, May 2008 M. Huth and A. Ryan. Logic in Computer Science: Modeling and Reasoning about Concurrent Systems. Cambridge University Press, 2 nd edition, A. W. Roscoe, The Theory and Practice of Concurrency. Prentice Hall, Επιλεγμένα άρθρα βιβλιογραφίας. ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-6
7 Γιατί ανάλυση συστημάτων; Ανάγκη για ανάλυση και επαλήθευση συστημάτων. Η κοινωνία της πληροφορίας είναι γεγονός. Υπολογιστές και προγράμματα έχουν εξαπλωθεί σε πολλαπλούς τομείς της ζωής μας: ενθυλακωμένα συστήματα (embedded systems) e-banking και e-shopping μεταφορικά μέσα ιατρική Η αξιοπιστία υλικού και λογισμικού είναι κύριας σημασίας Λάθη μπορεί να αποβούν όχι μόνο δαπανηρά (FDIV στο Pentium-II 475 εκατομμύρια USD) αλλά και μοιραία (Therac-25) It is fair to state, that in this digital era correct systems for information processing are more valuable than gold. ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-7
8 Αξιοπιστία λογισμικού και επιπτώσεις New Year Mobile Bug, 2011 Goce gravity satellite failure, 2010 Blackout, 2003 Ariane-5 crash, 1996 Atlanta airport, 2008 ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-8
9 Επαλήθευση Συστημάτων Διαδεδομένες τεχνικές επαλήθευσης λογισμικού Εξέταση κώδικα από τρίτο στατική τεχνική αναγνωρίζει από 31% μέχρι και το 90% των λαθών δύσκολα λάθη, π.χ. αλγοριθμικά λάθη ή λάθη που προκύπτουν από παραλληλισμό στο πρόγραμμα, δεν εντοπίζονται εύκολα Τesting Επαλήθευση συστημάτων αφορά στον έλεγχο κατά πόσο ένα σύστημα ικανοποιεί τις απαιτήσεις που υπάρχουν από αυτό. δυναμική τεχνική όπου ο κώδικας εκτελείται 30-50% του κόστους διεκπεραίωσης ενός λογισμικού προγράμματος αφιερώνεται στο testing. Ο χρόνος και η προσπάθεια που ξοδεύεται στον έλεγχο ενός συστήματος είναι συχνά μεγαλύτερος από αυτόν της κατασκευής του. Τυπική πυκνότητα λαθών: 1.5 λάθη ανά 1000 γραμμές κώδικα. ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-9
10 Τυπικές Μέθοδοι Formal Methods Το ΕΠΛ664 θα μελετήσει την θεωρία και πρακτική της Επαλήθευση και Ανάλυσης Συστημάτων βασισμένη σε τυπικές μεθόδους (formal methods). Τι είναι οι τυπικές μέθοδοι; εφαρμοσμένα μαθηματικά για τη μοντελοποίηση και ανάλυση υπολογιστικών συστημάτων Παρά του ότι βασίζονται σε μαθηματικά μπορούν να τύχουν χρήσης από οποιοδήποτε! Προσφέρουν τη δυνατότητα της επαλήθευσης συστημάτων από τη φάση σχεδιασμού αποδοτικές και αυστηρές μεθόδους ελέγχου συστημάτων (πιο μεγάλη κάλυψη και ψηλότερη εγγύηση ορθότητας) μείωση του χρόνου/κόστους που απαιτείται για επαλήθευση ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-10
11 Τυπικές Μέθοδοι Formal Methods Συστήνονται για δημιουργία λογισμικού κριτικής ασφάλειας από οργανισμούς όπως τους ESA (European Space Agency FAA (Federal Aviation Authority) NASA Formal methods should be part of the education of every computer scientist and software engineer, just as the appropriate branch of applied maths is a necessary part of the education of all other engineers. NASA ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-11
12 Τυπικές μέθοδοι ανάλυσης συστημάτων Στόχος: η απόδειξη της ορθότητας ενός συστήματος με μαθηματική ακρίβεια Χρήση τυπικών τεχνικών σε συνδυασμό με εργαλεία Διαφορετικές προσεγγίσεις: τεχνικές ελέγχου μοντέλου (model-checking) παραγωγικές μέθοδοι (deductive methods) τυπικός έλεγχος πειραμάτων (formal testing) ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-12
13 Το σύστημα ικανοποιεί την απαίτηση ; Παραγωγικές μέθοδοι μέθοδος: δώσε μια λογική απόδειξη ότι η ιδιότητα ισχύει εργαλεία: theorem prover ή proof checker εφαρμόζεται αν: το σύστημα έχει τη μορφή μαθηματικής θεωρίας Προσομοιώσεις και πειράματα μέθοδος: έλεγξε κατά πόσο ισχύει η σε κάθε εκτέλεση του συστήματος εργαλεία: προσομοιωτής/tester εφαρμόζεται αν: το σύστημα είναι εκτελέσιμο Μοντέλο-έλεγχος μέθοδος: συστηματικός έλεγχος της ιδιότητας στις καταστάσεις του μοντέλου. εργαλεία: model-checker εφαρμόζεται αν: το σύστημα παράγει ένα (πεπερασμένο) μοντέλο συμπεριφοράς ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-13
14 Βασική διαδικασία: Προσομοιώσεις και πειράματα Δημιούργησε ένα μοντέλο (προσομοιώσεις) ή μια υλοποίηση (πειράματα) και προσομοίωσε τη συμπεριφορά που παράγεται με κάποια δεδομένα εισόδου. Παρατήρησε κατά πόσο η αντίδραση του συστήματος είναι η επιθυμητή. Μειονεκτήματα ο αριθμός των πιθανών συμπεριφορών είναι συχνά τεράστιος ή/και μηπεπερασμένος κάποια από τις συμπεριφορές που δεν ελέγχθηκαν πιθανόν να περιέχει το μοιραίο λάθος Οι προσομοιώσεις και τα πειράματα μπορούν να δείξουν την ύπαρξη λαθών αλλά όχι την απουσία τους ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-14
15 Testing μοντέλο ή πρωτότυπο Σύστημα / μοντέλο συστήματος Παραγωγή πειραμάτων Εκτέλεση πειραμάτων σουίτα πειραμάτων pass fail ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-15
16 Είναι χρήσιμη τεχνική όταν Testing Είναι δύσκολο να κτιστεί μοντέλο του συστήματος Υπομέρη του συστήματος (π.χ. συσκευές) δεν μπορούν να μοντελοποιηθούν Ο κώδικας δεν είναι διαθέσιμος Συμπληρωματική μέθοδος προς τον μοντέλο-έλεγχο αφού ελέγχει το ίδιο το σύστημα και όχι κάποιο μοντέλο αυτού. ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-16
17 Model-checking Επαναστατική μέθοδος για την αυτοματοποιημένη επαλήθευση συστημάτων Ελέγχει κατά πόσο ένα μοντέλο ικανοποιεί μια τροπική ιδιότητα π.χ. Το σύστημα δίνει πάντα το σωστό αποτέλεσμα; Το σύστημα περιέχει αδιέξοδα (deadlock); Για παράδειγμα όταν δύο παράλληλα προγράμματα περιμένουν το ένα το άλλο, σταματώντας με αυτό τον τρόπο ολόκληρο το σύστημα. Μπορεί να εμφανιστεί αδιέξοδο μέσα σε μια ώρα από την εκκίνηση της εκτέλεσης του συστήματος; Η απάντηση δίνεται πάντα μέσα σε 8 λεπτά; Βασίζεται σε συστηματικό έλεγχο του συνόλου καταστάσεων ενός συστήματος. Ο μοντέλο-έλεγχος απαιτεί μια ακριβή και ξεκάθαρη δήλωση των ιδιοτήτων που θα ελεγχθούν. Αυτό γίνεται συνήθως σε μια χρονική λογική (temporal logic). ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-17
18 Model-checking απαιτήσεις σύστημα Τυπική διατύπωση Μοντελοποίηση σύνολο από ιδιότητες μοντέλο συστήματος Model Checking TRUE ανεπάρκεια μνήμης FALSE και αντιπαράδειγμα Προσομοίωση εύρεση λάθους ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-18
19 Πλεονεκτήματα του μοντέλο-ελέγχου Εφαρμόζεται σε πολλά συστήματα (υλικό, λογισμικό, πρωτόκολλα, ) Ύπαρξη εργαλείων Σε περίπτωση μη ικανοποίησης μας δίνει αντιπαράδειγμα Μαθηματικά αποδεδειγμένη Κοιτάζει όλες τις δυνατές εκτελέσεις Το ενδιαφέρον της βιομηχανίας για αυτό συνεχώς αυξάνεται ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-19
20 And the Turing award goes to Milner, 1991: for the developments of logical formalisms in computer science (LCF, the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction). Pnueli, 1996: For seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification. Clarke, Emerson, Sifakis, 2007: For [their roles] in developing model checking into a highly effective verification technology, widely adopted in the hardware and software industries. Robin Milner ( ) Amir Pnueli ( ) E. Allen Emerson Edmund M. Clarke, (1945- ) Ιωσήφ Σιφάκης ( ) ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 6-20
21 Περιορισμοί του μοντέλο-ελέγχου Ασχολείται κυρίως με εφαρμογές με πολύπλοκη ροή και όχι επεξεργασία δεδομένων Τα αποτελέσματα βασίζονται στην ποιότητα του μοντέλου Η πολυπλοκότητα (state-space explosion problem) μπορεί να αποτελέσει εμπόδιο Η δημιουργία κατάλληλων μοντέλων απαιτεί πείρα. ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-21
22 Παραδείγματα Εφαρμογών Ασφάλεια: To πρωτόκολλο Needham Schroeder Εύρεση λάθους 17 χρόνια μετά από τη δημιουργία και διαδεδομένη χρήση του Λογισμικό σε διαστημικούς πυραύλους Το Mars Pathfinder της NASA Συστήματα συγκοινωνιών Μοντέλο τραίνων με καταστάσεις Εργαλεία μοντελο-ελέγχου για τις C, Java, C++ ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-22
23 Τυπικό πρόβλημα παρεμβολής process Inc = while true do if x < 200 then x = x + 1 od process Dec = while true do if x > 0 then x = x 1 od process Reset = while true do if x = 200 then x = 0 od Είναι πάντα το x ανάμεσα στο 0 και το 200; ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-23
24 Παράδειγμα μοντέλο-ελέγχου int x = 0; proctype Inc(){ do :: true -> if :: (x < 200) -> x = x + 1 fi od } proctype Dec(){ do :: true -> if :: (x > 0) -> x = x 1 fi od } proctype Reset(){ do :: true -> if :: (x = 200) -> x = 0 fi od } init{ atomic{ run Inc(); run Dec(); run Reset()} } ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-24
25 Παράδειγμα μοντέλο-ελέγχου Για να ελέγξουμε τις τιμές του x εισάγουμε μία διεργασία που ελέγχει ότι x proctype Check(){ assert (x >= 0 && x <= 200) } init{ atomic{ run Inc(); run Dec(); run Reset(); run Check()} } Με αυτό το δεδομένο το εργαλείο μας δίνει μήνυμα λάθους: pan: assertion violated (x >= 0 && x <= 200) (at depth 1802) Depth reached 3598, errors 1, states stored. ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-25
26 Το αντιπαράδειγμα : proc 1 (Inc) line 9 (state 2) [(x<200)] 607: proc 1 (Inc) line 9 (state 3) [(x=x+1)] 608: proc 1 (Inc) line 9 (state 1) [(1)] 609: proc 3 (Reset) line 13 (state 2) [(x==200)] 610: proc 3 (Reset) line 13 (state 3) [(x = 0)] 611: proc 3 (Reset) line 13 (state 1) [(1)] 612: proc 2 (Dec) line 5 (state 3) [(x=x-1)] 613: proc 2 (Dec) line 5 (state 1) [(1)] spin: line 17 Error: assertion violated ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-26
27 Διόρθωση του λάθους int x = 0; proctype Inc(){ do :: true -> atomic{if :: (x < 200) -> x=x+1 fi} od } proctype Dec(){ do :: true -> atomic{ if :: (x > 0) -> x=x 1 fi} od } proctype Reset(){ do :: true -> atomic{if :: (x = 200) -> x = 0 fi} od } init{ atomic{ run Inc(); run Dec(); run Reset()} } ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-27
ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-1
Εισαγωγή Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Ο ρόλος της ανάλυσης και επαλήθευσης συστημάτων Τεχνικές ανάλυσης συστημάτων Στόχοι του μαθήματος ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-1
Διαβάστε περισσότεραΕΠΛ664 ΑΝΑΛΥΣΗ ΚΑΙ ΕΠΑΛΗΘΕΥΣΗ ΣΥΣΤΗΜΑΤΩΝ
ΕΠΛ664 ΑΝΑΛΥΣΗ ΚΑΙ ΕΠΑΛΗΘΕΥΣΗ ΣΥΣΤΗΜΑΤΩΝ Περιγραφή του μαθήματος Στόχοι του μαθήματος Αξιολόγηση Βιβλιογραφία ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-1 Διδασκαλία Διαλέξεις: Δευτέρα και Πέμπτη, 15:00-16:30
Διαβάστε περισσότεραΓραμμική Χρονική Λογική (Linear Temporal Logic) (ΗR Κεφάλαιο 3.1 και 3.2)
Γραμμική Χρονική Λογική (Linear Temporal Logic) (ΗR Κεφάλαιο 3.1 και 3.2) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Επαλήθευση Συστημάτων και Μοντελοέλεγχος Σύνταξη της PLTL Δομές Kripke και Σημασιολογία
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 664: Ανάλυση και Επαλήθευση Συστημάτων ΕΝΔΙΑΜΕΣΗ ΕΞΕΤΑΣΗ ΗΜΕΡΟΜΗΝΙΑ : Πέμπτη, 21 Μαρτίου 2013 ΔΙΑΡΚΕΙΑ : 14:00 16:00 ΔΙΔΑΣΚΟΥΣΑ : Άννα Φιλίππου Ονοματεπώνυμο:
Διαβάστε περισσότεραΗΥ Λογική. Διδάσκων: Δημήτρης Πλεξουσάκης Καθηγητής
ΗΥ 180 - Λογική Διδάσκων: Καθηγητής E-mail: dp@csd.uoc.gr Ώρες διδασκαλίας: Δευτέρα, Τετάρτη 4-6 μμ, Αμφ. Β Ώρες φροντιστηρίου: Πέμπτη 4-6 μμ, Αμφ. Β Ώρες γραφείου: Δευτέρα, Τετάρτη 2-4 μμ, Κ.307 Web site:
Διαβάστε περισσότεραΑσφαλή Συστήματα Μέθοδοι ελέγχου και εξακρίβωσης ορθής λειτουργίας
Λειτουργικά Συστήματα Πραγματικού Χρόνου 2006-07 Ασφαλή Συστήματα Μέθοδοι ελέγχου και εξακρίβωσης ορθής λειτουργίας Μ.Στεφανιδάκης Ενσωματωμένα Συστήματα: Απαιτήσεις Αξιοπιστία (reliability) Χρηστικότητα
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Ενότητα 1: Εισαγωγή. Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Ενότητα 1: Εισαγωγή Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια χρήσης Creative Commons
Διαβάστε περισσότεραΜΑΘΗΜΑ: Εισαγωγή στις Αρχές της Επιστήμης των Η/Υ. 1 η ΘΕΜΑΤΙΚΗ ΕΝΟΤΗΤΑ: ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ
ΜΑΘΗΜΑ: Εισαγωγή στις Αρχές της Επιστήμης των Η/Υ 1 η ΘΕΜΑΤΙΚΗ ΕΝΟΤΗΤΑ: ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ Στόχος Θεματικής Ενότητας Οι μαθητές να περιγράφουν τους βασικούς τομείς της Επιστήμης των Υπολογιστών και να μπορούν
Διαβάστε περισσότεραΛογική στην Πληροφορική - Εισαγωγή
Λογική στην Πληροφορική - Εισαγωγή Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Οργάνωση του Μαθήματος Αναδρομή στην Ιστορία της Λογικής ΕΠΛ 412 Λογική στην Πληροφορική 1-1 Διδασκαλία Διαλέξεις:
Διαβάστε περισσότεραΑυτοματοποιημένη Επαλήθευση
Αυτοματοποιημένη Επαλήθευση Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Έλεγχος Μοντέλου Αλγόριθμοι γράφων Αλγόριθμοι αυτομάτων Αυτόματα ως προδιαγραφές ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 4-1
Διαβάστε περισσότεραΣυγγραφή κώδικα, δοκιμασία, επαλήθευση. Γιάννης Σμαραγδάκης
Συγγραφή κώδικα, δοκιμασία, επαλήθευση Γιάννης Σμαραγδάκης Προδιαγραφή απαιτήσεων Σχεδιασμός συνεπείς σχέσεις Υψηλό επίπεδο συνεπείς σχέσεις Χαμηλό επίπεδο συνεπείς σχέσεις Πλάνο δοκιμών Κώδικας Συγγραφή
Διαβάστε περισσότεραΤυπικές Μέθοδοι Ανάλυσης Συστημάτων: Ο Ελεγκτής Μοντέλων SPIN
Τμήμα Πληροφορικής Α.Π.Θ. Μεταπτυχιακό Πρόγραμμα Σπουδών Ακαδημαϊκό Έτος 2006 2007 2007 Τυπικές Μέθοδοι Ανάλυσης Συστημάτων: Ο Ελεγκτής Μοντέλων SPIN Τρίτη 24 Απριλίου 2007 Ιστορική αναδρομή: Το κόστος
Διαβάστε περισσότεραΑνάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4)
Ανάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Η διαδικαστική γλώσσα προγραμματισμού WHILE Τριάδες Hoare Μερική και Ολική Ορθότητα Προγραμμάτων Κανόνες
Διαβάστε περισσότεραΕλεγχος, Αξιοπιστία και Διασφάλιση Ποιότητας Λογισµικού Πολυπλοκότητα
Ελεγχος, Αξιοπιστία και Διασφάλιση Ποιότητας Λογισµικού Πολυπλοκότητα Τµήµα Διοίκησης Επιχειρήσεων Τει Δυτικής Ελλάδας Μεσολόγγι Δρ. Α. Στεφανή Διάλεξη 5 2 Εγκυροποίηση Λογισµικού Εγκυροποίηση Λογισµικού
Διαβάστε περισσότεραBlum Complexity. Αλγόριθμοι και Πολυπλοκότητα ΙΙ. Παναγιώτης Γροντάς. Δεκέμβριος
Blum Complexity Αλγόριθμοι και Πολυπλοκότητα ΙΙ Παναγιώτης Γροντάς µπλ Δεκέμβριος 2011 Ιστορικά Στοιχεία Manuel Blum (1938, Caracas Venezuela) Turing Award (1995) Foundations Of Computational Complexity
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
6 Οκτωβρίου 2016 Παναγιώτα Παναγοπούλου Σκοπός του μαθήματος Κατανόηση των βασικών προβλημάτων που αντιμετωπίζουν τα κατανεμημένα συστήματα υπολογιστών Μελέτη ορισμένων χαρακτηριστικών μηχανισμών για την
Διαβάστε περισσότεραΑ Typing System for Privacy
Α Typing System for Privacy Dimitrios Kouzapas * and Anna Philippou * * Department of Computing, Imperial College London ** Department of Computer Science, University of Cyprus 18 Μαρτίου 2014 ΕΠΛ671 Ερευνητικές
Διαβάστε περισσότεραΟΡΓΑΝΙΣΜΟΣ ΒΙΟΜΗΧΑΝΙΚΗΣ ΙΔΙΟΚΤΗΣΙΑΣ
ΟΡΓΑΝΙΣΜΟΣ ΒΙΟΜΗΧΑΝΙΚΗΣ ΙΔΙΟΚΤΗΣΙΑΣ Ο Οργανισμός Βιομηχανικής Ιδιοκτησίας (Ο.Β.Ι.) ιδρύθηκε το 1987 (Ν.1733/1987), είναι νομικό πρόσωπο ιδιωτικού δικαίου, οικονομικά ανεξάρτητο και διοικητικά αυτοτελές.
Διαβάστε περισσότεραΑνάλυση της Ορθότητας Προγραμμάτων
Ανάλυση της Ορθότητας Προγραμμάτων Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Η διαδικαστική γλώσσα προγραμματισμού WHILE Τριάδες Hoare Μερική και Ολική Ορθότητα Προγραμμάτων ΚανόνεςΑπόδειξηςΜερικήςΟρθότητας
Διαβάστε περισσότεραΑτομική Διπλωματική Εργασία ΈΛΕΓΧΟΣ ΛΟΓΙΣΜΙΚΟΥ ΜΕ ΤΗ ΧΡΗΣΗ ΜΟΝΤΕΛΩΝ : ΘΕΩΡΗΤΙΚΗ ΠΡΟΣΑΡΜΟΓΗ ΑΚΟΛΟΥΘΙΑΚΩΝ ΔΙΑΓΡΑΜΜΑΤΩΝ.
Ατομική Διπλωματική Εργασία ΈΛΕΓΧΟΣ ΛΟΓΙΣΜΙΚΟΥ ΜΕ ΤΗ ΧΡΗΣΗ ΜΟΝΤΕΛΩΝ : ΘΕΩΡΗΤΙΚΗ ΠΡΟΣΑΡΜΟΓΗ ΑΚΟΛΟΥΘΙΑΚΩΝ ΔΙΑΓΡΑΜΜΑΤΩΝ Ευγενία Βασιλείου ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ Μάϊος 2009 ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ
Διαβάστε περισσότεραοκιμασία και πλάνο δοκιμασίας
οκιμασία και πλάνο ς Γιάννης Σμαραγδάκης Η επιχειρεί να απαντήσει Κάνει το λογισμικό αυτό που υποτίθεται; Πότε μπορεί να έχει πρόβλημα; Πόσο γρήγορα τρέχει; Πόσο ακριβή είναι τα αποτελέσματα; Όταν έχει
Διαβάστε περισσότεραΔιάλεξη 17: Έλεγχος Λογισμικού
Τμήμα Πληροφορικής Πανεπιστήμιο Κύπρου ΕΠΛ132 Αρχές Προγραμματισμού II Διάλεξη 17: Έλεγχος Λογισμικού (Κεφάλαιο 24.1-24.2, KNK-2ED) Δημήτρης Ζεϊναλιπούρ http://www.cs.ucy.ac.cy/courses/epl132 17-1 Μεγάλης
Διαβάστε περισσότεραΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ
1. ΓΕΝΙΚΑ ΣΧΟΛΗ ΤΜΗΜΑ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ ΟΡΓΑΝΩΣΗΣ ΚΑΙ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ ΔΙΑΧΕΙΡΙΣΗΣ ΠΟΛΙΤΙΣΜΙΚΟΥ ΠΕΡΙΒΑΛΛΟΝΤΟΣ ΚΑΙ ΝΕΩΝ ΤΕΧΝΟΛΟΓΙΩΝ ΠΡΟΠΤΥΧΙΑΚΟ ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ Τ808 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ
Διαβάστε περισσότεραΒασικές Δομές μοντέλων Petri Nets. C.A. Petri
Βασικές Δομές μοντέλων Petri Nets C.A. Petri - 1962 Γιατί χρήση Petri model? Φυσικό Πρόβλημα! Μοντέλο Petri abstract Software Simulation ανάλυση σε μοντέλο Petri Net Βασικές δομές μοντέλων Petri Διαδοχική
Διαβάστε περισσότερακεφάλαιο Βασικές Έννοιες Επιστήμη των Υπολογιστών
κεφάλαιο 1 Βασικές Έννοιες Επιστήμη 9 1Εισαγωγή στις Αρχές της Επιστήμης των Η/Υ Στόχοι Στόχος του κεφαλαίου είναι οι μαθητές: να γνωρίσουν βασικές έννοιες και τομείς της Επιστήμης. Λέξεις κλειδιά Επιστήμη
Διαβάστε περισσότεραΘεμελιώδη Θέματα Επιστήμης Υπολογιστών
http://www.corelab.ntua.gr/courses/ Θεμελιώδη Θέματα Επιστήμης Υπολογιστών 5ο εξάμηνο ΣΕΜΦΕ Ενότητα 0: Εισαγωγή Διδάσκοντες: Στάθης Ζάχος, Άρης Παγουρτζής Υπεύθυνη εργαστηρίου / ασκήσεων: Δώρα Σούλιου
Διαβάστε περισσότεραBIM The new technology that reduces the cost and improves the quality of building construction
Building Information Modeling Leader: Apostolos Konstantinidis Structural and Software Engineer Inventor and Author BIM The new technology that reduces the cost and improves the quality of building construction
Διαβάστε περισσότεραΚωδικοποίηση και Έλεγχος Ορθότητας
Κωδικοποίηση και Έλεγχος Ορθότητας περιεχόμενα περουσίασης Κωδικοποίηση Πρότυπα και διαδικασίες κωδικοποίησης Τεκμηρίωση Διαχείριση εκδόσεων Έλεγχος ορθότητας λογισμικού κωδικοποίηση διαχείριση εκδόσεων
Διαβάστε περισσότεραΔιάλεξη 10: Αλγόριθμοι Αμοιβαίου Αποκλεισμού σε περιβάλλον ανταλλαγής μηνυμάτων. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 10: Αλγόριθμοι Αμοιβαίου Αποκλεισμού σε περιβάλλον ανταλλαγής μηνυμάτων ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Αλγόριθμος Χρήση Συντονιστή Αλγόριθμος του Lamport Αλγόριθμος LeLann:
Διαβάστε περισσότεραΑυτόματος έλεγχος μοντέλων με το εργαλείο SPIN : Εφαρμογή σε μοντέλο συγχρονισμού αντικειμενοστρεφούς λογισμικού
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης Τμήμα Πληροφορικής, Ακαδημαϊκό Έτος 2003-2004 Θέμα Διπλωματικής Εργασίας : Αυτόματος έλεγχος μοντέλων με το εργαλείο SPIN : Εφαρμογή σε μοντέλο συγχρονισμού αντικειμενοστρεφούς
Διαβάστε περισσότεραCTL - Λογική Δένδρου Υπολογισμού
CTL - Λογική Δένδρου Υπολογισμού Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Διακλαδωμένες Χρονικές λογικές CTL σύνταξη και ερμηνεία Έλεγχος μοντέλου για τη CTL Σύγκριση των PLTL και CTL Δικαιοσύνη
Διαβάστε περισσότεραΕλληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 1 : Σύνολα & Σχέσεις (1/2) Αλέξανδρος Τζάλλας
1 Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου Θεωρία Υπολογισμού Ενότητα 1 : Σύνολα & Σχέσεις (1/2) Αλέξανδρος Τζάλλας 2 Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Τμήμα Μηχανικών Πληροφορικής
Διαβάστε περισσότεραΕπιστημονικοί Υπολογισμοί - Μέρος ΙΙΙ: Παράλληλοι Υπολογισμοί
Επιστημονικοί Υπολογισμοί - Μέρος ΙΙΙ: Παράλληλοι Υπολογισμοί Χαρμανδάρης Βαγγέλης, Τμήμα Εφαρμοσμένων Μαθηματικών Πανεπιστήμιο Κρήτης, Εαρινό Εξάμηνο 2013/14 Κεφάλαιο 4: Παράλληλοι Αλγόριθμοι Ταξινόμηση
Διαβάστε περισσότεραΠρογραμματισμός Μεθόδων Επίλυσης Προβλημάτων. 1. Εισαγωγή. Ιωάννης Κατάκης. ΕΠΛ 032: Προγραμματισμός Μεθόδων Επίλυσης Προβλημάτων
Προγραμματισμός Μεθόδων Επίλυσης Προβλημάτων 1. Εισαγωγή Ιωάννης Κατάκης Συστάσεις Σήμερα o Συμβόλαιο Μαθήματος o Περιγραφή Μαθήματος o Ιστορική Αναδρομή o Υλικό Υπολογιστή (Computer Hardware) o Λογισμικό
Διαβάστε περισσότεραΕγκατάσταση λογισμικού και αναβάθμιση συσκευής Device software installation and software upgrade
Για να ελέγξετε το λογισμικό που έχει τώρα η συσκευή κάντε κλικ Menu > Options > Device > About Device Versions. Στο πιο κάτω παράδειγμα η συσκευή έχει έκδοση λογισμικού 6.0.0.546 με πλατφόρμα 6.6.0.207.
Διαβάστε περισσότεραΘέματα στη Μοντελοποίηση Συστημάτων
Θέματα στη Μοντελοποίηση Συστημάτων Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Σειριακά και συντρέχοντα συστήματα Συστήματα μεταβάσεων Δικαιοσύνη Σημασιολογία παρεμβαλλόμενης διάταξης Σημασιολογία
Διαβάστε περισσότεραΕισαγωγή στην πληροφορική
Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Αγρονόµων Τοπογράφων Μηχανικών Εισαγωγή στην πληροφορική Βασίλειος Βεσκούκης ρ. Ηλεκτρολόγος Μηχανικός & Μηχανικός Υπολογιστών ΕΜΠ v.vescoukis@cs.ntua.gr Σχετικά µε το
Διαβάστε περισσότεραΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 6-1
Εισαγωγή στη SPIN Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: O model-checker SPIN H γλώσσα προδιαγραφής συστημάτων Promela Εντολές, διεργασίες και μοντέλο επικοινωνίας Σημασιολογία εκτέλεσης ΕΠΛ 664
Διαβάστε περισσότεραΓραμμική και διακλαδωμένη χρονική λογική
CTL - Λογική Δένδρου Υπολογισμού Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Διακλαδωμένες Χρονικές λογικές CTL σύνταξη και ερμηνεία Έλεγχος μοντέλου για τη CTL Σύγκριση των PLTL και CTL Δικαιοσύνη
Διαβάστε περισσότεραΧρόνος και Άλγεβρες Διεργασιών
Χρόνος και Άλγεβρες Διεργασιών Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Συστήματα μεταβάσεων με χρόνος Η Χρονική CCS: σύνταξη και σημασιολογία ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 12-1 Συστήματα
Διαβάστε περισσότεραΒασικές έννοιες. Κατανεμημένα Συστήματα 1
Βασικές έννοιες Κατανεμημένα Συστήματα 1 lalis@inf.uth.gr Ορισμός κατανεμημένου συστήματος Ένα σύστημα από ξεχωριστές ενεργές οντότητες (ονομάζονται «κόμβοι» ή «διεργασίες») που εκτελούνται ταυτόχρονα/ανεξάρτητα
Διαβάστε περισσότεραAdvanced Subsidiary Unit 1: Understanding and Written Response
Write your name here Surname Other names Edexcel GE entre Number andidate Number Greek dvanced Subsidiary Unit 1: Understanding and Written Response Thursday 16 May 2013 Morning Time: 2 hours 45 minutes
Διαβάστε περισσότεραΠΛΗΡΟΦΟΡΙΚΗ Ι JAVA Τμήμα θεωρίας με Α.Μ. σε 3, 7, 8 & 9 8/11/07
Ακαδ έτος 2007-2008 ΠΛΗΡΟΦΟΡΙΚΗ Ι Φερεντίνος 8/11/07 Συμπλήρωμα προηγούμενης εβδομάδας: ΠΛΗΡΟΦΟΡΙΚΗ Ι JAVA Τμήμα θεωρίας με ΑΜ σε 3, 7, 8 & 9 8/11/07 Τι συμβαίνει όταν στην ίδια έκφραση υπάρχει πάνω από
Διαβάστε περισσότεραΑνάλυση της Ορθότητας Προγραμμάτων
Ανάλυση της Ορθότητας Προγραμμάτων Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Η διαδικαστική γλώσσα προγραμματισμού WHILE Τριάδες Hoare Μερική και Ολική Ορθότητα Προγραμμάτων Κανόνες Απόδειξης Μερικής
Διαβάστε περισσότεραΔιάλεξη 05: Αφηρημένοι Τύποι Δεδομένων
Διάλεξη 05: Αφηρημένοι Τύποι Δεδομένων Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Αφηρημένοι Τύποι Δεδομένων (ΑΤΔ) Οι ΑΤΔ Στοίβα και Ουρά Υλοποίηση των ΑΤΔ Στοίβα και Ουρά ΕΠΛ231 Δομές Δεδομένων
Διαβάστε περισσότεραΕΠΛ231 Δομές Δεδομένων και Αλγόριθμοι 5. Αφηρημένοι Τύποι Δεδομένων / Στοίβες και Ουρές
ΕΠΛ231 Δομές Δεδομένων και Αλγόριθμοι 5. Αφηρημένοι Τύποι Δεδομένων / Στοίβες και Ουρές ΕΠΛ231 Δομές Δεδομένων και Αλγόριθμοι 2 Διάλεξη 05: Αφηρημένοι Τύποι Δεδομένων Στην ενότητα αυτή θα μελετηθούν τα
Διαβάστε περισσότεραΤεχνολογίες Υλοποίησης Αλγορίθµων
Τεχνολογίες Υλοποίησης Αλγορίθµων Χρήστος Ζαρολιάγκης Καθηγητής Τµήµα Μηχ/κων Η/Υ & Πληροφορικής Πανεπιστήµιο Πατρών email: zaro@ceid.upatras.gr Ενότητα 3 1 / 25 Ενότητα 3 οκιµή Προγραµµάτων (Program Testing)
Διαβάστε περισσότεραCWB-NC: The Concurrency Workbench of the New Century
CWB-NC: The Concurrency Workbench of the New Century Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Εισαγωγή στο Concurrency Workbench Χρήσιµες Εντολές Γλώσσα µοντελοποίησης και γλώσσα µοντελο-ελέγχου
Διαβάστε περισσότεραΕισαγωγή στο εργαλείο SPIN
Εισαγωγή στο εργαλείο SPIN Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: O model-checker SPIN H γλώσσα προδιαγραφής συστημάτων Promela Εντολές, διεργασίες και μοντέλο επικοινωνίας Σημασιολογία εκτέλεσης
Διαβάστε περισσότεραΣΧΟΛΗ ΔΙΟΙΚΗΣΗΣ ΚΑΙ ΟΙΚΟΝΟΜΙΑΣ ΤΜΗΜΑ ΔΙΟΙΚΗΣΗ ΕΠΙΧΕΙΡΗΣΕΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Προπτυχιακό ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ GD2690
ΣΧΟΛΗ ΔΙΟΙΚΗΣΗΣ ΚΑΙ ΟΙΚΟΝΟΜΙΑΣ ΤΜΗΜΑ ΔΙΟΙΚΗΣΗ ΕΠΙΧΕΙΡΗΣΕΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Προπτυχιακό ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ GD2690 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ Έκτο ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ Αγγλικά για Τεχνολογία Πληροφορικής ΑΥΤΟΤΕΛΕΙΣ ΔΙΔΑΚΤΙΚΕΣ
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
ΕΠΛ664: Ανάλυση και Επαλθευση Συστημάτων Τμμα Πληροφορικς Άσκηση 1 Σειρά Προβλημάτων 1 Λύσεις (α) Χρησιμοποιούμε τις επιπλέον μεταβλητές PC0, PC1, (program counters) οι οποίες παίρνουν ως τιμές ονόματα
Διαβάστε περισσότεραΕισαγωγή Συμβόλαιο Μαθήματος
ΗΜΥ 212 Οργάνωση Υπολογιστών και Μικροεπεξεγραστές Εαρινό Εξάμηνο 2007 Συμβόλαιο Μαθήματος 1 Γενικές Πληροφορίες Διαλέξεις: Διδάσκων: Βοηθός Μαθήματος: Δευτέρα και Πέμπτη, 16:30 18:00 μ.μ. Πανεπιστημιούπολη,
Διαβάστε περισσότεραΠροσομοίωση Βιομηχανικής Παραγωγής & Επιχειρήσεων
Προσομοίωση Βιομηχανικής Παραγωγής & Επιχειρήσεων Ζ Εξάμηνο 2Θ+2Ε jdim@staff.teicrete.gr ΠΡΟΣΟΜΟΙΩΣΗ 1 ΠΡΟΣΟΜΟΙΩΣΗ: ΟΡΙΣΜΟΣ Wikipedia: Simulation is the imitation of the operation of a real-world process
Διαβάστε περισσότεραΕισαγωγή. Όλες οι (άλλες) επιστήµες µηχανικών βασίζονται σε σταθερό θεωρητικό (µαθηµατικό) υπόβαθρο
ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ http://courses.softlab.ntua.gr/softeng/ ιδάσκοντες: (nickie@softlab.ntua.gr) Γιάννης Μαΐστρος (maistros@cs.ntua.gr) Βασίλης Βεσκούκης (bxb@softlab.ntua.gr) Τυπικές Μέθοδοι στην Ανάπτυξη
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 1 Λύσεις (α) Χρησιμοποιούμε τις επιπλέον μεταβλητές PC 0, PC 1, (program counters) οι οποίες παίρνουν ως τιμές ονόματα των γραμμών του κώδικα όπως φαίνεται πιο κάτω. P[0] P[1]
Διαβάστε περισσότεραΒΙΟΜΗΧΑΝΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ
ΠΜΣ - ΕΠΙΣΤΗΜΗ ΚΑΙ ΤΕΧΝΟΛΟΓΙΑ ΤΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΒΙΟΜΗΧΑΝΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ (Industrial Informatics) Α. ΒΕΛΩΝΗ Σ. ΦΑΤΟΥΡΟΣ ΒΙΟΜΗΧΑΝΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ Η Βιομηχανική Πληροφορική είναι ο εξειδικευμένος
Διαβάστε περισσότεραΤυπικές Μέθοδοι στην Ανάπτυξη Συστηµάτων Λογισµικού
ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ http://coursessoftlabntuagr/softeng/ ιδάσκοντες: (nickie@softlabntuagr) Γιάννης Μαΐστρος (maistros@csntuagr) Βασίλης Βεσκούκης (bxb@softlabntuagr) Τυπικές Μέθοδοι στην Ανάπτυξη Συστηµάτων
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΛΟΠΟΝΝΗΣΟΥ ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ & ΤΕΧΝΟΛΟΓΙΑΣ ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ ΣΥΜΠΙΕΣΗ ΚΑΙ ΜΕΤΑΔΟΣΗ ΠΟΛΥΜΕΣΩΝ. Εισαγωγή. Κλήμης Νταλιάνης Λέκτορας ΠΔ 407/80
ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΛΟΠΟΝΝΗΣΟΥ ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ & ΤΕΧΝΟΛΟΓΙΑΣ ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ ΣΥΜΠΙΕΣΗ ΚΑΙ ΜΕΤΑΔΟΣΗ ΠΟΛΥΜΕΣΩΝ Εισαγωγή Κλήμης Νταλιάνης Λέκτορας ΠΔ 407/80 Γενικά Ι Η μετάδοση πολυμεσικού υλικού (συνδυασμού βίντεο
Διαβάστε περισσότεραΔιδάσκων: Κωνσταντίνος Κώστα Διαφάνειες: Δημήτρης Ζεϊναλιπούρ
Διάλεξη 8: Αφηρημένοι Τύποι Δεδομένων Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Αφηρημένοι Τύποι Δεδομένων (ΑΤΔ) Οι ΑΤΔ Στοίβα και Ουρά Υλοποίηση των ΑΤΔ Στοίβα και Ουρά με Στατική Δέσμευση
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΕΙΣΑΓΩΓΙΚΗ ΚΑΤΕΥΘΥΝΣΗ: ΣΤΑΤΙΣΤΙΚΗΣ & ΑΝΑΛΟΓΙΣΤΙΚΩΝ ΧΡΗΜΑΤΟΟΙΚΟΝΟΜΙΚΩΝ ΜΑΘΗΜΑΤΙΚΩΝ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΕΙΣΑΓΩΓΙΚΗ ΚΑΤΕΥΘΥΝΣΗ: ΣΤΑΤΙΣΤΙΚΗΣ & ΑΝΑΛΟΓΙΣΤΙΚΩΝ ΧΡΗΜΑΤΟΟΙΚΟΝΟΜΙΚΩΝ ΜΑΘΗΜΑΤΙΚΩΝ Καρλόβασι, 27/10/2016 ΑΝΑΚΟΙΝΩΣΗ Ημερομηνίες Δηλώσεων Μαθημάτων
Διαβάστε περισσότεραΕντολές επιλογής Επαναλήψεις (if, switch, while)
Εντολές επιλογής Επαναλήψεις (if, switch, while) Οι σημειώσεις αυτές έχουν σαν στόχο την μάθηση εντολών επιλογής (if, switch, while) που ελέγχουν τη ροή εκτέλεσης ενός προγράμματος. Πρώτα όμως, είναι αναγκαίο
Διαβάστε περισσότεραΠΡΟΔΙΑΓΡΑΦΕΣ - ΟΔΗΓΙΕΣ ΔΙΑΜΟΡΦΩΣΗΣ ΘΕΜΑΤΩΝ ΓΙΑ ΤΟ ΜΑΘΗΜΑ
ΠΡΟΔΙΑΓΡΑΦΕΣ - ΟΔΗΓΙΕΣ ΔΙΑΜΟΡΦΩΣΗΣ ΘΕΜΑΤΩΝ ΓΙΑ ΤΟ ΜΑΘΗΜΑ Μαθηματικά (Άλγεβρα - Γεωμετρία) Α ΤΑΞΗ ΗΜΕΡΗΣΙΟΥ και Α, Β ΤΑΞΕΙΣ ΕΣΠΕΡΙΝΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ Α ΤΑΞΗ ΗΜΕΡΗΣΙΟΥ και Α ΤΑΞΗ ΕΣΠΕΡΙΝΟΥ ΕΠΑΛ ΚΕΝΤΡΙΚΗ
Διαβάστε περισσότεραΚεφάλαιο 4: Λογισμικό Συστήματος
Κεφάλαιο 4: Λογισμικό Συστήματος Ερωτήσεις 1. Να αναφέρετε συνοπτικά τις κατηγορίες στις οποίες διακρίνεται το λογισμικό συστήματος. Σε ποια ευρύτερη κατηγορία εντάσσεται αυτό; Το λογισμικό συστήματος
Διαβάστε περισσότεραΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ. Μάθημα 2 ο : Βασικές έννοιες. Γεώργιος Πετάσης. Ακαδημαϊκό Έτος:
ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ Μάθημα 2 ο : Βασικές έννοιες Γεώργιος Πετάσης Ακαδημαϊκό Έτος: 2012 2013 ΤMHMA MHXANIKΩΝ Η/Υ & ΠΛΗΡΟΦΟΡΙΚΗΣ, Πανεπιστήμιο Πατρών, 2012 2013 Γλωσσική Τεχνολογία, Μάθημα 2 ο, Βασικές
Διαβάστε περισσότεραΥπολογίσιμες Συναρτήσεις
Υπολογίσιμες Συναρτήσεις Σ Π Υ Ρ Ι Δ Ω Ν Τ Ζ Ι Μ Α Σ Δ Τ Ο Μ Ε Α Σ Τ Μ Η Μ Α Μ Α Θ Η Μ Α Τ Ι Κ Ω Ν Σ Χ Ο Λ Η Θ Ε Τ Ι Κ Ω Ν Ε Π Ι Σ Τ Η Μ Ω Ν Π Α Ν Ε Π Ι Σ Τ Η Μ Ι Ο Ι Ω Α Ν Ν Ι Ν Ω Ν Υπολογίσιμες Συναρτήσεις
Διαβάστε περισσότεραMaude 6. Maude [1] UIUC J. Meseguer. Maude. Maude SRI SRI. Maude. AC (Associative-Commutative) Maude. Maude Meseguer OBJ LTL SPIN
78 Maude 1 Maude [1] UIUC J. Meseguer ( 1 ) ( ) Maude Maude SRI 90 UIUC SRI Maude SRI S. Eker C++ Maude 2 Maude Meseguer OBJ 1983-84 OBJ2[3] OBJ Maude OBJ 1 CafeOBJ 3 Maude 4 Maude CafeOBJ Maude: A Computer
Διαβάστε περισσότεραΆλγεβρες ιεργασιών και Τροπικές Λογικές
Άλγεβρες ιεργασιών και Τροπικές Λογικές Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Οι λογικές HML και WHML Ο λογικός χαρακτηρισµός των ~ και Η λογική CTL- ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστηµάτων
Διαβάστε περισσότεραΑνοχή απέναντι σε Σφάλµατα Fault Tolerance
Ανοχή απέναντι σε Σφάλµατα Fault Tolerance Μαρία Ι. Ανδρέου ΗΜΥ417, ΗΜΥ 663 Κατανεµηµένα Συστήµατα Χειµερινό Εξάµηνο 2006-2007 Τµήµα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Πανεπιστήµιο Κύπρου Βασικές
Διαβάστε περισσότεραΑκολουθιακές εντολές. (Peter Ashenden, The Students Guide to VHDL)
Ακολουθιακές εντολές (Peter Ashenden, The Students Guide to VHDL) Εντολή If Τα βασικά χαρακτηριστικά της είναι τα εξής: Μπορεί να χρησιµοποιηθεί για τον έλεγχο µίας ή περισσοτέρων συνθηκών. Η πρώτη συνθήκη
Διαβάστε περισσότεραΣυλλογιστική εξαγωγής συμπερασμάτων από συγκεκριμένες υποθέσεις δοθείσα μεθοδολογία διαδικασία της σκέψης, πρέπει να «συλλογιστεί» υπόθεση/παραγωγή
REASON ING Η Συλλογιστική, είναι η πράξη εξαγωγής συμπερασμάτων από συγκεκριμένες υποθέσεις χρησιμοποιώντας μία δοθείσα μεθοδολογία. Στην ουσία είναι η ίδια η διαδικασία της σκέψης, μία λογική διαμάχη,
Διαβάστε περισσότεραΠληροφορική. Μάθημα Κατεύθυνσης
Πληροφορική Μάθημα Κατεύθυνσης Σκοπός Μαθήματος Οι μαθητές που θα ακολουθήσουν το μάθημα αυτό θα είναι ικανοί να λύνουν προβλήματα με αλγοριθμικό τρόπο, ακολουθούν τα βήματα του κύκλου ανάπτυξης, ώστε
Διαβάστε περισσότεραH ΒΑΣΙΣΜΕΝΗ ΣΤΟΝ Η.Υ. ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΤΗΣ ΚΙΝΗΣΗΣ ΩΣ ΕΡΓΑΛΕΙΟ ΚΑΤΑΝΟΗΣΗΣ ΤΩΝ ΓΡΑΦΙΚΩΝ ΠΑΡΑΣΤΑΣΕΩΝ ΣΤΗΝ ΚΙΝΗΜΑΤΙΚΗ
2 Ο ΣΥΝΕΔΡΙΟ ΣΤΗ ΣΥΡΟ ΤΠΕ ΣΤΗΝ ΕΚΠΑΙΔΕΥΣΗ 495 H ΒΑΣΙΣΜΕΝΗ ΣΤΟΝ Η.Υ. ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΤΗΣ ΚΙΝΗΣΗΣ ΩΣ ΕΡΓΑΛΕΙΟ ΚΑΤΑΝΟΗΣΗΣ ΤΩΝ ΓΡΑΦΙΚΩΝ ΠΑΡΑΣΤΑΣΕΩΝ ΣΤΗΝ ΚΙΝΗΜΑΤΙΚΗ Τσιπουριάρη Βάσω Ανώτατη Σχολή Παιδαγωγικής
Διαβάστε περισσότεραΕΠΙΧΕΙΡΗΣΙΑΚΗ EΡΕΥΝΑ & ΔΙΟΙΚΗΤΙΚΗ ΕΠΙΣΤΗΜΗ OPERATIONS RESEARCH & MANAGEMENT SCIENCE
ΕΠΙΧΕΙΡΗΣΙΑΚΗ EΡΕΥΝΑ & ΔΙΟΙΚΗΤΙΚΗ OPERATIONS RESEARCH & MANAGEMENT SCIENCE ΚΑΤΕΥΘΥΝΣΗ ΣΠΟΥΔΩΝ Τμήμα Διοικητικής Επιστήμης & Τεχνολογίας Οικονομικό Πανεπιστήμιο Αθηνών 1. Κ. Πραματάρη, Δ.Ε.Τ. / Ο.Π.Α. The
Διαβάστε περισσότεραΔιάλεξη 16: Πρόβλημα Συμφωνίας. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 16: Πρόβλημα Συμφωνίας ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Ορισμός του προβλήματος Συμφωνίας Αλγόριθμος Συμφωνίας με Σφάλματα Κατάρρευσης ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 1 Πρόβλημα
Διαβάστε περισσότεραΘέματα Μεταγλωττιστών
Γιώργος Δημητρίου Ενότητα 2 η : Συστήματα τύπων Συστήματα Τύπων (ΣΤ) Το σύστημα τύπων μιας γλώσσας προγραμματισμού με τύπους είναι ένα σύνολο από κανόνες στους οποίους πρέπει να υπακούουν οι τύποι της
Διαβάστε περισσότεραΕΠΛ 003: ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΕΠΙΣΤΗΜΗ ΤΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΕΠΛ 003: ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΕΠΙΣΤΗΜΗ ΤΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ Δρ. Κόννης Γιώργος Πανεπιστήμιο Κύπρου - Τμήμα Πληροφορικής Προγραμματισμός Στόχοι 1 Να περιγράψουμε τις έννοιες του Υπολογιστικού Προβλήματος και του Προγράμματος/Αλγορίθμου
Διαβάστε περισσότεραΒασικές έννοιες. Κατανεμημένα Συστήματα 1
Βασικές έννοιες Κατανεμημένα Συστήματα 1 lalis@inf.uth.gr Ορισμός κατανεμημένου συστήματος Ένα σύστημα από ξεχωριστές ενεργές οντότητες (ονομάζονται «κόμβοι» ή «διεργασίες») που εκτελούνται ταυτόχρονα/ανεξάρτητα
Διαβάστε περισσότεραECTS ΕΥΡΩΠΑΪΚΟ ΣΥΣΤΗΜΑ ΜΕΤΑΦΟΡΑΣ ΑΚΑΔΗΜΑΪΚΩΝ ΜΟΝΑΔΩΝ ΣΤΗΝ ΕΥΡΩΠΑΪΚΗ ΕΝΩΣΗ. (Α) Λίστα με τα στοιχεία των μαθημάτων στα ελληνικά
ECTS ΕΥΡΩΠΑΪΚΟ ΣΥΣΤΗΜΑ ΜΕΤΑΦΟΡΑΣ ΑΚΑΔΗΜΑΪΚΩΝ ΜΟΝΑΔΩΝ ΣΤΗΝ ΕΥΡΩΠΑΪΚΗ ΕΝΩΣΗ (Α) Λίστα με τα στοιχεία των μαθημάτων στα ελληνικά Γενικές πληροφορίες μαθήματος: Τίτλος μαθήματος: Ειδικές Χωρικές Κωδικός CE08-xx
Διαβάστε περισσότεραΑτοµική ιπλωµατική Εργασία ΜΟΝΤΕΛΟ-ΕΛΕΓΧΟΣ ΑΛΓΟΡΙΘΜΟΥ ΣΥΝΟΧΗΣ ΜΝΗΜΗΣ ΓΙΑ ΠΟΛΥΠΥΡΗΝΟΥΣ ΕΠΕΞΕΡΓΑΣΤΕΣ ΜΕ ΤΟ ΕΡΓΑΛΕΙΟ SPIN. Χριστοδουλίδης Ανδρέας Χρίστος
Ατοµική ιπλωµατική Εργασία ΜΟΝΤΕΛΟ-ΕΛΕΓΧΟΣ ΑΛΓΟΡΙΘΜΟΥ ΣΥΝΟΧΗΣ ΜΝΗΜΗΣ ΓΙΑ ΠΟΛΥΠΥΡΗΝΟΥΣ ΕΠΕΞΕΡΓΑΣΤΕΣ ΜΕ ΤΟ ΕΡΓΑΛΕΙΟ SPIN Χριστοδουλίδης Ανδρέας Χρίστος ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ Μάιος 2010 ΠΑΝΕΠΙΣΤΗΜΙΟ
Διαβάστε περισσότεραΤεχνολογία λογισμικού στην πράξη
Τεχνολογία λογισμικού στην πράξη Έλεγχος λογισμικού Διομήδης Σπινέλλης Τμήμα Διοικητικής Επιστήμης και Τεχνολογίας Οικονομικό Πανεπιστήμιο Αθηνών dds@aueb.gr http://www.dmst.aueb.gr/dds @CoolSWEng 2016-06-27
Διαβάστε περισσότεραΔιάλεξη 1: Δομές Δεδομένων και Αλγόριθμοι - Εισαγωγή. Διδάσκων: Κωνσταντίνος Κώστα Διαφάνειες: Δημήτρης Ζεϊναλιπούρ
Διάλεξη 1: Δομές Δεδομένων και Αλγόριθμοι - Εισαγωγή Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στις έννοιες Δεδομένα και Ενδόμνημη Αναπαράσταση τους Οργάνωση Δεδομένων και Δομές
Διαβάστε περισσότεραΕισαγωγή στους Ηλεκτρονικούς Υπολογιστές
Εισαγωγή στους Ηλεκτρονικούς Υπολογιστές 1 ο Εξάμηνο Σπουδών Χειμερινό Εξάμηνο 2012/13 Τμήμα Εφαρμοσμένων Μαθηματικών, Πανεπιστήμιο Κρήτης Διδάσκων: Χαρμανδάρης Ευάγγελος, email: vagelis@tem.uoc.gr, Ιστοσελίδα
Διαβάστε περισσότεραCTL - Λογική Δένδρου Υπολογισμού (ΗR Κεφάλαιο 3.4)
CTL - Λογική Δένδρου Υπολογισμού (ΗR Κεφάλαιο 3.4) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Διακλαδωμένες Χρονικές λογικές CTL σύνταξη και ερμηνεία Έλεγχος μοντέλου για τη CTL Σύγκριση των PLTL
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα ΕΙΣΑΓΩΓΉ ΣΤΟ ΜΑΘΗΜΑ
Θεωρία Υπολογισμού και Πολυπλοκότητα ΕΙΣΑΓΩΓΉ ΣΤΟ ΜΑΘΗΜΑ Άννα Φιλίππου annap@cs.ucy.ac.cy ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 0-1 Στοιχεία του μαθήματος Διδάσκουσα: Άννα Φιλίππου Γραφείο: FST-01
Διαβάστε περισσότεραFORTRAN & Αντικειμενοστραφής Προγραμματισμός ΣΝΜΜ 2016
FORTRAN & Αντικειμενοστραφής Προγραμματισμός ΣΝΜΜ 2016 Δρ. Γεώργιος Παπαλάμπρου Επικ. Καθηγητής ΕΜΠ Εργαστήριο Ναυτικής Μηχανολογίας george.papalambrou@lme.ntua.gr ΕΜΠ/ΣΝΜΜ Εργαστήριο Ναυτικής Μηχανολογίας
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 1 Λύσεις (α) Χρησιμοποιούμε τις επιπλέον μεταβλητές PC i, (program counters) οι οποίες παίρνουν ως τιμές ονόματα των γραμμών του κώδικα όπως φαίνεται πιο κάτω. Process P i :
Διαβάστε περισσότεραΠρογραμματισμός Ι (HY120)
Προγραμματισμός Ι (HY120) #6 εκτέλεση σε επανάληψη 1 Σπύρος Λάλης Εκτέλεση σε επανάληψη: while while () lexpr body true false Όσο η λογική συνθήκη επανάληψης lexpr αποτιμάται σε μια τιμή
Διαβάστε περισσότεραΔιεργασίες (μοντέλο μνήμης & εκτέλεσης) Προγραμματισμός II 1
Διεργασίες (μοντέλο μνήμης & εκτέλεσης) Προγραμματισμός II 1 lalis@inf.uth.gr Πρόγραμμα και εκτέλεση προγράμματος Ο εκτελέσιμος κώδικας αποθηκεύεται σε ένα αρχείο Το αρχείο είναι μια «παθητική» οντότητα
Διαβάστε περισσότεραΣχεδίαση & Ανάλυση Αλγορίθμων
Σχεδίαση & Ανάλυση Αλγορίθμων Απαιτήσεις Μαθήματος Εργαστηρίου Σκιαγράφηση Μαθήματος μια Πρώτη Εισαγωγή Σταύρος Δ. Νικολόπουλος Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Ιωαννίνων Webpage: www.cs.uoi.gr/~stavros
Διαβάστε περισσότεραΜΕΤΑΒΑΤΙΚΕΣ ΠΡΟΫΠΟΘΕΣΕΙΣ ΑΠΟΚΤΗΣΗΣ ΠΤΥΧΙΟΥ
ΜΕΤΑΒΑΤΙΚΕΣ ΠΡΟΫΠΟΘΕΣΕΙΣ ΑΠΟΚΤΗΣΗΣ ΠΤΥΧΙΟΥ Για τους φοιτητές που έχουν εισαχθεί στο Τµήµα από το Ακαδηµαϊκό Έτος 1999-2000 έως το Ακαδηµαϊκό Έτος 2003-2004 1 1. Εγγραφή και παρακολούθηση για τουλάχιστον
Διαβάστε περισσότεραHomomorphism in Intuitionistic Fuzzy Automata
International Journal of Fuzzy Mathematics Systems. ISSN 2248-9940 Volume 3, Number 1 (2013), pp. 39-45 Research India Publications http://www.ripublication.com/ijfms.htm Homomorphism in Intuitionistic
Διαβάστε περισσότεραΕΙΔΙΚΟ ΕΝΤΥΠΟ ΠΕΡΙΓΡΑΦΗΣ ΜΑΘΗΜΑΤΩΝ. Υποχρεωτικής επιλογής (Κατεύθυνσης)
ΕΙΔΙΚΟ ΕΝΤΥΠΟ ΠΕΡΙΓΡΑΦΗΣ ΜΑΘΗΜΑΤΩΝ Ακαδημαϊκή Μονάδα: Τομέας: Εργαστήριο/Σπουδαστήριο/Κλινική: Τίτλος Μαθήματος / Θέμα Εργασίας: Κωδικός Μαθήματος: Τύπος Μαθήματος: ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΣΥΣΤΗΜΑΤΑ ΣΤΗΡΙΞΗΣ
Διαβάστε περισσότεραΕφαρμογές Προσομοίωσης
Εφαρμογές Προσομοίωσης H προσομοίωση (simulation) ως τεχνική μίμησης της συμπεριφοράς ενός συστήματος από ένα άλλο σύστημα, καταλαμβάνει περίοπτη θέση στα πλαίσια των εκπαιδευτικών εφαρμογών των ΤΠΕ. Μπορούμε
Διαβάστε περισσότεραΕφαρμογές της Λογικής στην Πληροφορική
Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών Εθνικό Μετσόβιο Πολυτεχνείο Εφαρμογές της Λογικής στην Πληροφορική Ενότητα 5 Πέτρος Στεφανέας, Γεώργιος Κολέτσος Άδεια Χρήσης Το παρόν εκπαιδευτικό
Διαβάστε περισσότεραΒασικά Στοιχεία της Java
Βασικά Στοιχεία της Java Παύλος Εφραιμίδης Java Βασικά Στοιχεία της γλώσσας Java 1 Τύποι Δεδομένων Η Java έχει δύο κατηγορίες τύπων δεδομένων: πρωτογενείς (primitive) τύπους δεδομένων αναφορές Java Βασικά
Διαβάστε περισσότεραΠΛΗΡΟΦΟΡΙΑΚΑ ΣΥΣΤΗΜΑΤΑ
ΠΛΗΡΟΦΟΡΙΑΚΑ ΣΥΣΤΗΜΑΤΑ Μαρίνος Θεμιστοκλέους Email: mthemist@unipi.gr Ανδρούτσου 150 Γραφείο 206 Τηλ. 210 414 2723 Ώρες Γραφείου: Δευτέρα 11-12 AM Πως Προέκυψε το Δαγκωμένο Μήλο της Apple; Το χαριτωμένο
Διαβάστε περισσότεραΈλεγχος Συστήματος. Επαλήθευση (verification) Έλεγχος και Εγκατάσταση Συστήματος. Επαλήθευση (verification)
Μάθημα 9 Έλεγχος και Εγκατάσταση Συστήματος Έλεγχος και Εγκατάσταση Συστήματος Έλεγχος Συστήματος Chapter 8 System Testing And Deployment Έλεγχος Συστήματος Επαλήθευση (verification) Επαλήθευση (verification)
Διαβάστε περισσότεραΑΥΤΟΜΑΤΟΣ ΕΛΕΓΧΟΣ ΜΟΝΤΕΛΟΥ ΛΟΓΙΣΜΙΚΟΥ ΜΕ ΤΟ JAVA PATHFINDER
ΑΥΤΟΜΑΤΟΣ ΕΛΕΓΧΟΣ ΜΟΝΤΕΛΟΥ ΛΟΓΙΣΜΙΚΟΥ ΜΕ ΤΟ JAVA PATHFINDER Ιωαννίδης Αντώνης Επιβλέπων Καθηγητής: Κατσαρός Παναγιώτης Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης ΠΕΡΙΕΧΟΜΕΝΑ Περιεχόμενα...2 1. Εισαγωγή...5
Διαβάστε περισσότεραΑνάλυση & Μοντελοποίηση Επιχειρηματικών Συστημάτων & ιαδικασιών
Επιχειρηματικών Συστημάτων & Τμήμα ιοικητικής Επιστήμης & Τεχνολογίας Οικονομικό Πανεπιστήμιο Αθηνών ρ. Αγγελική Πουλυμενάκου Γιατί αυτό το μάθημα; Σημαντικά ζητήματα αναφορικά με τη χρήση ICT (Information
Διαβάστε περισσότεραΠΠΜ 512: Ανάλυση Κινδύνου για Πολιτικούς Μηχανικούς και Μηχανικούς Περιβάλλοντος
ΠΠΜ 512: Ανάλυση Κινδύνου για Πολιτικούς Μηχανικούς και Μηχανικούς Περιβάλλοντος Εαρινό Εξάµηνο 2010/11 Τρίτη 6:00 µµ 9:00 µµ ΧΩΔ01-002 Το µάθηµα περιλαµβάνει προχωρηµένες έννοιες σε θέµατα πιθανοτήτων,
Διαβάστε περισσότερα