1. Artemis

Browsing by Subject στατική ανάλυση

Jump to: Α Β Γ Δ Ε Ζ Η Θ Ι Κ Λ Μ Ν Ξ Ο Π Ρ Σ Τ Υ Φ Χ Ψ Ω
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 8 of 8
Issue DateTitleAuthor(s)Supervisor
28-Sep-2015Περιβάλλον Πλαίσιο Για Το Στατικό Και Δυναμικό Έλεγχο Συστημάτων Λογισμικού Με Τη Βοήθεια ΜοντέλωνΚάκκαρου Ξενούλα; Καραμπέρη Όλγα ΧαράΚοντογιάννης Κώστας
18-Sep-2012Πολυμορφικός Συμπερασμός Τύπων Επιτυχίας Στη Γλώσσα ErlangΚοτσιφάκου ΜαρίαΣαγώνας Κωστής
8-Nov-2012Πρόβλεψη Κλιμάκωσης Παράλληλων Περιοχών Σε Πολυπύρηνες ΑρχιτεκτονικέςΓεώργιος ΧατζόπουλοςΚοζύρης Νεκτάριος
8-Mar-2022Προανάκτηση σε Blockchain Client με στατική ανάλυση και υποθετική εκτέλεση των Έξυπνων ΣυμβολαίωνΓκόνης, ΠαναγιώτηςΚοζύρης Νεκτάριος
4-Dec-2012Στατική Ανάλυση Για Έλεγχο Λαθών Στη Γλώσσα RubyΝικόλαος ΒάθηςΠαπασπύρου Νικόλαος
25-Jul-2012Στατική Ανάλυση Για Εύρεση Λαθών Σε Προγράμματα JavascriptΚασαμπαλής ΘεόδωροςΣαγώνας Κωστής
21-Jul-2010Στατική Ανάλυση Της Αγνότητας Των Συναρτήσεων Της Γλώσσας ErlangΜιχάλης ΠιτίδηςΣαγώνας Κωστής
28-Jan-2011Τεχνικές Βελτίωσης Της Αποτελεσματικότητας Εύρεσης Λαθών Σε Προγράμματα Μέσω Στατικής ΑνάλυσηςΑρώνης ΣταύροςΣαγώνας Κωστής
Showing results 1 to 8 of 8