Ανακοινώσεις
|
Νέα
Β3. Τεχνολογία λογισμικού και γλώσσες προγραμματισμού
Οι γλώσσες προγραμματισμού είναι ένα δυναμικό πεδίο αφιερωμένο στην προώθηση του σχεδιασμού, της υλοποίησης και της χρηστικότητας των γλωσσών προγραμματισμού και των σχετικών εργαλείων. Ενδικτικέ, η έρευνα σε αυτόν τον τομέα περιλαμβάνει θέματα όπως εικονικές μηχανές, δυναμικές γλώσσες χωρίς τύπους για γρήγορη και ευέλικτη επαναχρησιμοποίηση, ολοκληρωμένα περιβάλλοντα ανάπτυξης για τη βελτίωση της παραγωγικότητας, προγράμματα εντοπισμού σφαλμάτων για αποτελεσματική ανίχνευση λαθών, συστήματα μεταπρογραμματισμού για τεχνικές παραγώγιμου προγραμματισμού, μέθοδοι και εργαλεία στατικής ανάλυσης προγραμμάτων για την καλύτερη κατανόηση της συμπεριφοράς τους, παράλληλες γλώσσες προγραμματισμού και συστήματα για βέλτιστη χρήσης υπολογιστικών πόρων, καθώς και οπτικά συστήματα προγραμματισμού για τη μάθηση και για πιο διαισθητική ανάπτυξη. Η έρευνα σε αυτό το πεδίο οδηγεί σε καινοτομίες διαμορφώνοντας το μέλλον της ανάπτυξης λογισμικού και επιτρέποντας αποτελεσματικές, αξιόπιστες και φιλικές εμπειρίες προγραμματισμού.Η τεχνολογία λογισμικού είναι ένας κρίσιμος τομέας που περιλαμβάνει ζωτικές πτυχές της αποτελεσματικής ανάπτυξης λογισμικού. Το Design by Contract δίνει έμφαση στις ακριβείς προδιαγραφές για τη συμπεριφορά κώδικα, ενισχύοντας την αξιοπιστία και αυτοτεκμηρίωση του κώδικα. Η ανάκτηση αρχιτεκτονικής περιλαμβάνει την αντίστροφη μηχανική συστημάτων για την κατανόηση και βελτίωση της αρχιτεκτονικής τους. Η οπτικοποίηση του πηγαίου κώδικα βοηθά στην κατανόηση πολύπλοκων βάσεων κώδικα για λόγους συντήρησης και εξέλιξης. Η επαναχρησιμοποίηση λογισμικού προωθεί την αποτελεσματική χρήση των υπαρχουσών λύσεων, εξοικονομώντας χρόνο και πόρους και βελτιώνοντας την αξιοπιστία. Τα εργαλεία γρήγορης αρχιτεκτονικής σχεδίασης διευκολύνουν τον έντονο επαναληπτικό σχεδιασμό στα πρώτα στάδια της ανάπτυξης. Η ανάλυση αστοχιών κώδικα προσδιορίζει μη βέλτιστες μορφοδομές κώδικα, καθοδηγώντας την ανακατασκευή για βελτιωμένη συντήρηση και απόδοση. Αυτά τα στοιχεία βελτιώνουν συλλογικά τις πρακτικές τεχνολογίαςλογισμικού, προωθώντας πιο αξιόπιστες και επεκτάσιμες λύσεις λογισμικού.
Μέλη ΔΕΠ του Πανεπιστημίου Κρήτης που ασχολούνται ερευνητικά με την περιοχή αυτή:
Έρευνα
Συγκρότησης της Επιτροπής Ηθικής και Δεοντολογίας της Έρευνας του Πανεπιστημίου Κρήτης - Ν.4521/2018 (38 Α)A+
A-
Σε αυτήν την ιστοσελίδα θα βρείτε την ερευνητική δραστηριότητα που διεξάγεται στο Τμήμα, σύμφωνα με τις θεματικές περιοχές στις οποίες δραστηριοποιούνται τα Μέλη ΔΕΠ.
Το Πρόγραμμα Μεταπτυχιακών Σπουδών του Τμήματος Επιστήμης Υπολογιστών του Πανεπιστημίου Κρήτης διεξάγεται σε αρμονική συνεργασία με το Ινστιτούτο Πληροφορικής (ΙΠ) του Ιδρύματος Τεχνολογίας και ΄Έρευνας (ΙΤΕ). Η συνεργασία περιλαμβάνει τα εξής:
(1) Ερευνητές και επιστήμονες του Ι.Π. του Ι.Τ.Ε. μπορούν να αναλαμβάνουν τη διδασκαλία μεταπτυχιακών μαθημάτων.
(2) Ερευνητές του Ι.Π. του Ι.Τ.Ε. μπορούν να συμμετέχουν στην καθοδήγηση μεταπτυχιακών εργασιών και διδακτορικών διατριβών, μετά από σχετική απόφαση της Συντονιστικής Επιτροπής Μεταπτυχιακών Σπουδών και έγκριση του ΙΠ του ΙΤΕ.
(3) Μετά από αίτηση του Επόπτη ή της Συντονιστικής Επιτροπής Μεταπτυχιακών Σπουδών, και μετά από άδεια του ΙΠ, μεταπτυχιακοί φοιτητές μπορούν να έχουν πρόσβαση στην υλικοτεχνική και εργαστηριακή υποδομή του ΙΠ, όπου και μπορούν να πραγματοποιούν μέρος ή και το σύνολο της ερευνητικής τους εργασίας.
(4) Το Τμήμα και το ΙΠ μπορούν να προσκαλέσουν από κοινού καθηγητές και ερευνητές από άλλα ΑΕΙ ή Ερευνητικά Κέντρα της Ελλάδας ή του εξωτερικού, για να δώσουν σεμινάρια, σειρές διαλέξεων, ή και ολοκληρωμένα μαθήματα, και για να συνεργαστούν ερευνητικά με ερευνητές και μεταπτυχιακούς φοιτητές του Τμήματος και του ΙΠ.
(5) Το ΙΠ του ΙΤΕ παρέχει αριθμό υποτροφιών σε μεταπτυχιακούς φοιτητές και ενισχύει οικονομικά τις συνεργασίες μεταπτυχιακών φοιτητών με άλλα ΑΕΙ και Ερευνητικά Κέντρα, κατά τις εκάστοτε δυνατότητές του και σύμφωνα με τις οικείες διατάξεις.
(1) Ερευνητές και επιστήμονες του Ι.Π. του Ι.Τ.Ε. μπορούν να αναλαμβάνουν τη διδασκαλία μεταπτυχιακών μαθημάτων.
(2) Ερευνητές του Ι.Π. του Ι.Τ.Ε. μπορούν να συμμετέχουν στην καθοδήγηση μεταπτυχιακών εργασιών και διδακτορικών διατριβών, μετά από σχετική απόφαση της Συντονιστικής Επιτροπής Μεταπτυχιακών Σπουδών και έγκριση του ΙΠ του ΙΤΕ.
(3) Μετά από αίτηση του Επόπτη ή της Συντονιστικής Επιτροπής Μεταπτυχιακών Σπουδών, και μετά από άδεια του ΙΠ, μεταπτυχιακοί φοιτητές μπορούν να έχουν πρόσβαση στην υλικοτεχνική και εργαστηριακή υποδομή του ΙΠ, όπου και μπορούν να πραγματοποιούν μέρος ή και το σύνολο της ερευνητικής τους εργασίας.
(4) Το Τμήμα και το ΙΠ μπορούν να προσκαλέσουν από κοινού καθηγητές και ερευνητές από άλλα ΑΕΙ ή Ερευνητικά Κέντρα της Ελλάδας ή του εξωτερικού, για να δώσουν σεμινάρια, σειρές διαλέξεων, ή και ολοκληρωμένα μαθήματα, και για να συνεργαστούν ερευνητικά με ερευνητές και μεταπτυχιακούς φοιτητές του Τμήματος και του ΙΠ.
(5) Το ΙΠ του ΙΤΕ παρέχει αριθμό υποτροφιών σε μεταπτυχιακούς φοιτητές και ενισχύει οικονομικά τις συνεργασίες μεταπτυχιακών φοιτητών με άλλα ΑΕΙ και Ερευνητικά Κέντρα, κατά τις εκάστοτε δυνατότητές του και σύμφωνα με τις οικείες διατάξεις.