Προπτυχιακά Μαθήματα

Εισαγωγή στον Προγραμματισμό (ΜΑΘ 105)
Μάθημα στα πλαίσια του προγράμματος προπτυχιακών σπουδών της Σχολής Μηχανικών Ορυκτών Πόρων του Πολυτεχνείου Κρήτης. Διδάσκεται στο πρώτο εξάμηνο φοίτησης. Συνδιδασκαλία, 21/39 ώρες διδασκαλίας (διαλέξεων).

Μεταπτυχιακά Μαθήματα

Agent-Oriented Software Engineering, Department of Mathematics and Computer Science, University of Paris, Paris, France
MSc in Distributed Artificial Intelligence track (3rd semester - M2, 18 hours of teaching)

Προπτυχιακά Μαθήματα (Εργαστήριο)

(Αριθμητική) Γραμμική Άλγεβρα (MATH 201)
- χρήση του περιβάλοντος και γλώσσας προγραμματισμού Matlab

Αριθμητική Ανάλυση (MATH 202)
- χρήση του περιβάλοντος και γλώσσας προγραμματισμού Matlab

Φοιτητές

Επίβλεψη Μεταπτυχιακών Διατριβών

Μαρία Τσιάνα, 2022, The landscape of the CRM systems in the Greek market, Διατμηματικό Αγγλόφωνο Πρόγραμμα Μεταπτυχιακών Σπουδών, Master in Technology & Innovation Management (MTIM), της Σχολής ΜΠΔ και της Σχολής ΗΜΜΥ, Μεταπτυχιακή Διατριβή, Πολυτεχνείο Κρήτης

Στέφανος Τριάντης, 2021, Αναδιοργάνωση διοικητικής διαδικασίας με χρήση συστήματος διαχείρισης επιχειρηματικών διαδικασιών (BPMS), Διιδρυματικό Διατμηματικό Πρόγραμμα Μεταπτυχιακών Σπουδών, της Σχολής Μηχανικών Παραγωγής και Διοίκησης, του Πολυτεχνείου Κρήτης και της Στρατιωτικής Σχολής Ευελπίδων, Μεταπτυχιακή Διατριβή

Συνεπίβλεψη Μεταπτυχιακών Διατριβών

Νικόλαος-Τουόμο Μπατάκης, 2020, Εξερευνώντας το robotic process automation, Master in Technology & Innovation Management (MTIM), της Σχολής Μηχανικών Παραγωγής και Διοίκησης, Μεταπτυχιακή Διατριβή, Πολυτεχνείο Κρήτης

Συνεπίβλεψη Διπλωματικών Εργασιών

Ραφαήλ-Στυλιανός Δικιδίκης, 2023, Ανάπτυξη ευφυούς συστήματος για την εφαρμογή πολιτικών σε διαδικασίες εκκαθάρισης δαπανών της Δημόσιας Διοίκησης, Σχολή Μηχανικών Παραγωγής και Διοίκησης, Διπλωματική Εργασία, Πολυτεχνείο Κρήτης

Γεώργιος Ιατράκης, 2022, Σχεδιασμός και υλοποίηση μικροϋπηρεσιών για την έξυπνη φόρτιση/αποφόρτιση ηλεκτρικών οχημάτων χρησιμοποιώντας την πλατφόρμα διαδικτύου των πραγμάτων ΣΥΝΑΙΣΘΗΣΗ, Σχολή Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών, Διπλωματική Εργασία, Πολυτεχνείο Κρήτης

Παντελεήμων Κρινάκης, 2021, Ανάπτυξη ευφυούς συστήματος για την εφαρμογή πολιτικών σε έξυπνα ενεργειακά κτίρια με χρήση υπολογιστικής επιχειρηματολογίας, Σχολή Μηχανικών Παραγωγής και Διοίκησης, Διπλωματική Εργασία, Πολυτεχνείο Κρήτης

Εμμανουήλ Ξανθάκης, 2020, Ανάπτυξη διαδικτυακού πληροφοριακού συστήματος για την τεκμηρίωση και αξιοποίηση μαθησιακών αποτελεσμάτων πανεπιστημιακών μαθημάτων, Σχολή Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών, Διπλωματική Εργασία, Πολυτεχνείο Κρήτης

Γεώργιος Γληγόρης, 2020, Επιχειρηματολογία και συλλογισμός στο υπολογιστικό νέφος, Σχολή Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών, Διπλωματική Εργασία, Πολυτεχνείο Κρήτης

Κωνσταντίνος Κωστής, 2019, Εφαρμογή ιστού για την δημιουργία και προσομοίωση πολιτικής απόφασης για το πλαίσιο επιχειρηματολογίας Gorgias, Σχολή Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών, Διπλωματική Εργασία, Πολυτεχνείο Κρήτης

Μαρία Μπενιουδάκη, 2019, Αναδιοργάνωση της διοικητικής διαδικασίας διενέργειας διαγωνισμών για την αναγόμωση εκτυπωτών με χρήση Συστήματος Διαχείρισης Επιχειρησιακών Διαδικασιών BPMS, Σχολή Μηχανικών Παραγωγής και Διοίκησης, Διπλωματική Εργασία, Πολυτεχνείο Κρήτης

Αλίκη Πιαλόγλου, 2018, Εφαρμογή ιστού για την καταγραφή μαθησιακών αποτελεσμάτων, Σχολή Μηχανικών Παραγωγής και Διοίκησης, Διπλωματική Εργασία, Πολυτεχνείο Κρήτης

Γεώργιος Κεχαγιάς, 2018, Ανάπτυξη ενός λειτουργικού αρχετύπου πολυπρακτορικού συστήματος παροχής ολοκληρωμένων υπηρεσιών φόρτισης-αποφόρτισης ηλεκτρικών οχημάτων σε έξυπνες πόλεις, Σχολή Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών, Διπλωματική Εργασία, Πολυτεχνείο Κρήτης

Ευθύμιος Φλώρος, 2017, Ολοκληρωμένο Περιβάλλον Ανάπτυξης Λογισμικού για τη Μεθοδολογία ASEME, Σχολή Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών, Διπλωματική Εργασία, Πολυτεχνείο Κρήτης

Νεκτάριος Δ. Μητακίδης, 2014, Μετασχηματίζοντας Μοντέλα Ρόλων της Μεθοδολογίας ASEME σε Μοντέλα Διαδικασιών, Τμήμα Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών, Διπλωματική Εργασία, Πολυτεχνείο Κρήτης

Γεώργιος Λ. Παπαδημητρίου, 2014, Αναβάθμιση του Kouretes Statechart Editor για Εκτέλεση Μοντέλων Ρομποτικής Συμπεριφοράς Βασισμένων σε Διαγράμματα Καταστάσεων, Τμήμα Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών, Διπλωματική Εργασία, Πολυτεχνείο Κρήτης

Αγγελική Τοπαλίδου, 2012, Ενα εργαλείο CASE (Computer-Aided Software Engineering) για την Ανάπτυξη Ρομποτικής Συμπεριφοράς Ελέγχου, Τμήμα Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών, Διπλωματική Εργασία, Πολυτεχνείο Κρήτης

Αλέξανδρος Παράσχος, 2010, Monas robotic platform: Μια Ευέλικτη Αρχιτεκτονική Λογισμικού για Ρομποτικούς Πράκτορες, Τμήμα Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών, Διπλωματική Εργασία, Πολυτεχνείο Κρήτης

Άτυπη Συνεπίβλεψη Εργασιών Μάστερ

Αντώνιος Αργυρίου, 2010, Μετασχηματισμοί Μοντέλων από την Ανάλυση Προδιαγραφών στην Ανάλυση και την Σχεδίαση ενός Συστήματος, Σχολή Θετικών Επιστημών Και Τεχνολογίας, Μεταπτυχιακή Διατριβή, Ελληνικό Ανοικτό Πανεπιστήμιο

Συνεπίβλεψη Πρακτικής Εξάσκησης Φοιτητών

- 2008, Συνεπιβλέπων πρακτικής εργασίας προπτυχιακής φοιτήτριας του ΤΕΙ Άρτας (φοιτήτρια Δήμητρα Γουβεράκη): Ανάπτυξη δυναμικού δικτυακού χώρου με χρήση τεχνολογιών Apache, PHP και MySQL

Σεμινάρια - Διαλέξεις

Σειρά Διαλέξεων (mini courses) στη Λογική της επιχειρηματολογίας και στο έμπειρο σύστημα Gorgias

Διοργάνωση: Τομέας Μαθηματικών ΣΕΜΦΕ ΕΜΠ στα πλαίσια του Erasmus+.

Πρόγραμμα: 22-24 Φεβρουαρίου, 2017, Αμφιθέατρο, Κέντρο Πολυμέσων, Κτίριο Βιβλιοθήκης Πολυτεχνειούπολη Ζωγράφου. Ώρες Διεξαγωγής: 15.30-19.30.

Εισηγητές : καθ. Α. Κάκας (Πανεπιστήμιο Κύπρου), Δρ Ν. Σπανουδάκης (Πολυτεχνείο Κρήτης).

Βρείτε περισσότερες λεπτομέρειες εδώ.

Μηχανική Οδηγούμενη από Μοντέλα στη UML

Τρίτη 11 Δεκέμβρη, 2012, διάλεξη στα πλαίσια του μαθήματος "ΠΛΗ-201 Σχεδίαση και Ανάπτυξη Πληροφοριακών Συστημάτων" του τμήματος HMMY του ΠΚ.

Στο πρώτο μέρος της διάλεξης θα ασχοληθούμε με την Οδηγούμενη από Μοντέλα Μηχανική Λογισμικού (Model Driven Engineering – MDE) και την Οδηγούμενη από Μοντέλα Αρχιτεκτονική Λογισμικού (Model Driven Architecture – MDA). Θα συζητήσουμε και ένα παράδειγμα που θα βασίζεται στη γλώσσα UML. Στο δεύτερο μέρος θα δούμε τι εξυπηρετούν οι Γλώσσες Ειδικού Σκοπού (Domain Specific Languages – DSLs). Θα συζητήσουμε μία τέτοια που αφορά τα statecharts και θα δούμε πως μπορεί σε συνδυασμό με τα διαγράμματα Τάξεων να αυτοματοποιήσει την παραγωγή κώδικα περιλαμβάνοντας και την δυναμική συμπεριφορά της τάξης. Επίσης θα δημιουργήσουμε ένα μεταμοντέλο και θα δούμε την γλώσσα Xpand στο Eclipse Modeling Framework (EMF).

Μηχανική Οδηγούμενη από Μοντέλα και Γλώσσες Ειδικού Σκοπού

Δευτέρα 6 Φλεβάρη, 2012, διάλεξη στα πλαίσια του μαθήματος "ΠΛΗ-201 Σχεδίαση και Ανάπτυξη Πληροφοριακών Συστημάτων" του τμήματος HMMY του ΠΚ.

Στο πρώτο μέρος της διάλεξης θα ασχοληθούμε με την Οδηγούμενη από Μοντέλα Μηχανική Λογισμικού (Model Driven Engineering – MDE) και την Οδηγούμενη από Μοντέλα Αρχιτεκτονική Λογισμικού (Model Driven Architecture – MDA). Θα συζητήσουμε και ένα παράδειγμα που θα βασίζεται στη γλώσσα UML. Στο δεύτερο μέρος θα δούμε τι εξυπηρετούν οι Γλώσσες Ειδικού Σκοπού (Domain Specific Languages – DSLs). Θα συζητήσουμε μία τέτοια που αφορά την Πρακτοροστραφή Ανάπτυξη Λογισμικού (Agent-Oriented Software Engineering – ΑΟSΕ). Η διάλεξη αυτή έχει ως στόχο να αναδείξει την διάσταση του μοντέλου όχι μόνο ως μιας όψης του συστήματος αλλά και ως μέσου για την τελική υλοποίησή του.

ASEME: Μια οδηγούμενη από μοντέλα μεθοδολογία ανάπτυξης πρακτοροστρεφών συστημάτων

Τετάρτη 18 Μαΐου, 2011, σεμινάριο στο Εργαστήριο Λογικής και Επιστήμης Υπολογισμών του Ε.Μ.Π.

Το σεμινάριο αυτό παρουσιάζει από τη μια πλευρά την Γλώσσα Μοντελοποίησης Πρακτόρων (Agent Modeling Language - AMOLA) για τη μοντελοποίηση Συστημάτων Πολλαπλών Πρακτόρων (Multi-Agent Systems - MAS) και από την άλλη πλευρά την Μεθοδολογία Ανάπτυξης Πρακτοροστραφών Συστημάτων (Agent Systems Engineering Methodology - ASEME). Η AMOLA παρέχει το συντακτικό και την σημασιολογία για τη δημιουργία μοντέλων πολυπρακτορικών συστημάτων που καλύπτουν τις φάσεις ανάλυσης και σχεδιασμού μιας διαδικασίας ανάπτυξης λογισμικού. Υποστηρίζει μια τμηματική προσέγγιση στον σχεδιασμό του πράκτορα και εισάγει τις έννοιες του ενδοπρακτορικού και διαπρακτορικού ελέγχου (intra-and inter-agent control). Στην ASEME, το μοντέλο διαπρακτορικού ελέγχου ορίζεται με τον ίδιο φορμαλισμό με το μοντέλο ενδοπρακτορικού ελέγχου, επιτρέποντας έτσι την ενσωμάτωση του πρώτου στο δεύτερο. Η ASEME εφαρμόζει μια οδηγούμενη από μοντέλα διαδικασία ανάπτυξης συστημάτων (model-driven engineering), η οποία προβλέπει ότι τα μοντέλα της προηγούμενης φάσης ανάπτυξης μετατρέπονται στα μοντέλα της επόμενης φάσης και μια σειρά τέτοιων μετασχηματισμών οδηγούν από την καταγραφή των απαιτήσεων στο τελικό πρόγραμμα υπολογιστή. Το ανεξάρτητο πλατφόρμας μοντέλο (Platform Independent Model - PIM) που είναι η έξοδος από τη φάση του σχεδιασμού της ASEME είναι ένα διάγραμμα καταστάσεων (statechart) που μπορεί να υλοποιηθεί σε διάφορες πλατφόρμες και σε μια πρακτοροστρεφή πλατφόρμα, την Java Agent Development Framework (JADE).