OpenArchives.gr | Software Engineering Laboratory

National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division
Software Engineering Laboratory

Discover 32 items from this school/department/institute

1 - 30 to 32 items

Sort by

Αυτόματος έλεγχος λεκτικών αναλυτών Automated Testing for Lexical Analysers

Creator: Ioakeimidi, Athina, Ιωακειμίδη, Αθηνά

Item type: Bachelor thesis

Scientific field: Software

Υear: 2021

Language: Greek

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

CADMOS: μία μεθοδολογία ανάπτυξης διδακτικών συστημάτων με έμφαση στην κατασκευή διαδικτυακού εκπαιδευτικού λογισμικού CADMOS: a web-based coursewore development methodology for open instructional systems

Creator: Retalis, Symeon, Ρετάλης, Συμεών

Item type: PhD thesis

Scientific field: Software

Υear: 1998

Language: Greek

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Documentation Centre (EKT)

Collection : National Archive of PhD Theses | ΕΚΤ NA.Ph.D.

Δυναμικός συστηματικός έλεγχος ταυτόχρονων προγραμμάτων Erlang Dynamic systematic testing of concurrent Erlang programs

Creator: Gotovos, Alkis S., Γκότοβος, Άλκης Σ.

Item type: Bachelor thesis

Scientific field: Software

Υear: 2011

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Μελέτη και Κατασκευή Μοντέλων για Πρόβλεψη του Ρυθμού Εγκατάλειψης σε Πρόγραμμα Αποταμιεύσεων

Creator: Γεωργακόπουλος, Παναγιώτης, Georgakopoulos, Panagiotis

Item type: Bachelor thesis

Scientific field: Electrical engineering, Electronic engineering, Information engineering, Software

Υear: 2017

Language: Greek

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Το πρόβλημα της σύνθεσης προγραμμάτων

Creator: Tsivra, Aikaterini, Τσιβρά, Αικατερίνη

Item type: Bachelor thesis

Scientific field: Electrical engineering, Electronic engineering, Information engineering, Software

Υear: 2023

Language: Greek

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Υλοποίηση εφαρμογής Blockchain για διαχείριση βαθμολογιών σε ΑΕΙ Implementation of Blockchain Application for managing University grades

Creator: Χατζηχριστοφή, Χρίστος, Hadjichristofi, Christos

Item type: Bachelor thesis

Scientific field: Software

Υear: 2022

Language: English

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Event-driven architectures using Apache Kafka

Creator: Λιαροκάπης, Αλέξανδρος Άρης, Liarokapis, Alexandros Aris

Item type: Bachelor thesis

Scientific field: Software

Υear: 2022

Language: English

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Προγράμματα Python

Creator: Salis, Vitalios, Σαλής, Βιτάλιος

Item type: Bachelor thesis

Scientific field: Software

Υear: 2021

Language: gre, eng

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Περιορισμός του χώρου αναζήτησης του concolic testing μέσω στατικής ανάλυσης Reducing the search space of concolic testing via static analysis

Creator: Διονύσιος, Σπηλιόπουλος, Dionisios, Spiliopoulos

Item type: Bachelor thesis

Scientific field: Software

Υear: 2022

Language: gre, eng

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Εφαρμογή Μηχανικής Μάθησης για την Πρόβλεψη Επιτάχυνσης Μετασχηματισμών σε Μεταγλωττιστές

Creator: Πλάκας, Ιωάννης, Plakas, Ioannis

Item type: Bachelor thesis

Scientific field: Electrical engineering, Electronic engineering, Information engineering, Software

Υear: 2020

Language: gre, eng

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Υλοποίηση μιας μεθοδολογίας αναλλοίωτων βασισμένη σε backpointers Implementation of an invariant discipline based on backpointers

Creator: Κρητικός, Ελευθέριος Δ., Kritikos, Eleftherios D.

Item type: Bachelor thesis

Scientific field: Software

Υear: 2012

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Στατικές εγγυήσεις ασφάλειας για γλώσσες με ταυτόχρονο προγραμματισμό Static safety guarantees for concurrent programming languages

Creator: Γερακιός, Πρόδρομος Ε., Gerakios, Prodromos E.

Item type: PhD thesis

Scientific field: Software

Υear: 2012

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Σχεδίαση και υλοποίηση ενός εργαλείου ανάλυσης της εκτέλεσης ενός προγράμματος σε πολυπύρηνες αρχιτεκτονικές για τη γλώσσα Erlang Design and Implementation of a concurrency profiling and visualing tool for Erlang programs in multicore architectures

Creator: Τιντινίδης, Αθανάσιος Α., Tintinidis, Athanasios A.

Item type: Bachelor thesis

Scientific field: Software

Υear: 2012

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Στατική Ανάλυση για Εύρεση Λαθών σε Προγράμματα JavaScript Static Analysis for Error Detection in JavaScript Programs

Creator: Κασαμπαλής, Θεόδωρος Γ., Kasampalis, Theodoros G.

Item type: Bachelor thesis

Scientific field: Software

Υear: 2012

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Αυτόματος έλεγχος υπηρεσιών διαδικτύου μέσω ιδιοτήτων Automatic WSDL-guided property-based testing of web services

Creator: Lampropoulos, Leonidas K., Λαμπρόπουλος, Λεωνίδας Κ.

Item type: Bachelor thesis

Scientific field: Software

Υear: 2012

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Δικτυακή υπηρεσία χωρικής βελτιστοποίησης με αρχιτεκτονικής ενοποίησης με υπήρεσιες web τρίτων μερών Spatial optimization Web Service with integration architecture and third party web services

Creator: Tasiopoulos, Nikolaos, Τασιόπουλος, Νικόλαος

Item type: Bachelor thesis

Scientific field: Software

Υear: 2024

Language: Greek

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Εξαντλητικότητα Ταιριάσματος Προτύπων για Γενικευμένους Αλγεβρικούς Τύπους Δεδομένων Pattern Matching Exhaustiveness for GADTs

Creator: Καραχάλιας, Γεώργιος Δ., Karachalias, Georgios D.

Item type: Bachelor thesis

Scientific field: Software

Υear: 2014

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Περιβάλλον-πλαίσιο προσαρμοστικής παρακολούθησης συστημάτων An adaptive monitoring framework

Creator: Παπαδόπουλος, Γιώργος Π., Papadopoulos, George P.

Item type: Bachelor thesis

Scientific field: Software

Υear: 2014

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Κβαντικοί Υπολογισμοί και Κβαντικός Προγραμματισμός Quantum Computations and Quantum Programming

Creator: Moulos, Vrettos E., Μουλός, Βρεττός Ε.

Item type: Bachelor thesis

Scientific field: Software

Υear: 2014

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Έλεγχος προγραμμάτων συνδυάζοντας συμβολική και συμπαγή εκτέλεση με αυτόματη παραγωγή τιμών εισόδου Program testing by combining concrete and symbolic execution with automatic generation of input values

Creator: Γιάντσιος, Άγγελος Δ., Giantsios, Aggelos D.

Item type: Bachelor thesis

Scientific field: Software

Υear: 2014

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Συστηματικός έλεγχος παράλληλων προγραμμάτων γραμμένων σε Erlang Systematic Testing of Concurrent Erlang Programs: Some Experiences

Creator: Τσιτσιμπής, Ηλίας Β., Tsitsimpis, Ilias V.

Item type: Bachelor thesis

Scientific field: Software

Υear: 2013

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Ανάπτυξη Εργαλείου για την Επαλήθευση Δοκιμών Βασισμένων σε Προδιαγραφές A Coq Framework for Verified Property-Based Testing

Creator: Παρασκευοπούλου, Ζωή Α., Paraskevopoulou, Zoi A.

Item type: Bachelor thesis

Scientific field: Software

Υear: 2014

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Τυπική Επαλήθευση Επιβολής Ακεραιότητας Ροής-Ελέγχου με Ετικέτες Formally Verified Tag-Based Enforcement of Control Flow Integrity

Creator: Γιανναράκης, Νικόλαος Π., Giannarakis, Nikolaos P.

Item type: Bachelor thesis

Scientific field: Software

Υear: 2014

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Αλγόριθμοι συλλογής απορριμμάτων για αυτόματη διαχείριση μνήμης Garbage collection algorithms for automatic memory management

Creator: Konomis, Dimitris Ch., Κονόμης, Δημήτρης Χ.

Item type: Bachelor thesis

Scientific field: Software

Υear: 2015

Language: Greek

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Ο Νοηματικός Μετασχηματισμός ως Τεχνική Υλοποίησης Συναρτησιακών Γλωσσών Προγραμματισμού The Intensional Transformation for Implementing Functional Programming Languages

Creator: Φουρτούνης, Γεώργιος Α., Fourtounis, Georgios A.

Item type: PhD thesis

Scientific field: Software

Υear: 2014

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Αυτόματος τυχαίος έλεγχος συστημάτων με εσωτερική κατάσταση βάσει μοντέλου Automated random model-based testing of stateful systems

Creator: Arvaniti, Eirini P., Αρβανίτη, Ειρήνη Π.

Item type: Bachelor thesis

Scientific field: Software

Υear: 2011

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Σχεδίαση και επέκταση ενός συστήματος αυτόματης αξιολόγησης προγραμματιστικών ασκήσεων

Creator: Angelakis, Antonios, Αγγελάκης, Αντώνιος

Item type: Bachelor thesis

Scientific field: Software

Υear: 2018

Language: Greek

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Περιβάλλον-πλαίσιο εκτίμησης εμπιστοσύνης σε υπηρεσίες και σε πόρους υπηρεσιοκεντρικών συστημάτων

Creator: Tsiounis, Konstantinos, Τσιούνης, Κωνσταντίνος

Item type: Bachelor thesis

Scientific field: Software

Υear: 2018

Language: Greek

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Σχεδίαση και υλοποίηση ενός μεταγλωττιστή κώδικα μηχανής για τη γλώσσα Erlang με χρήση της LLVM Design and implementation of a native code compiler for Erlang with LLVM

Creator: Tsiouris, Ioannis F., Σταυρακάκης, Χρήστος Γ., Τσιούρης, Γιάννης Φ., Stavrakakis, Christos G.

Item type: Bachelor thesis

Scientific field: Software

Υear: 2011

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Ανάπτυξη εφαρμογής ιστού για τη διαχείριση των χρηστών του Εργαστηρίου Τεχνολογίας Λογισμικού

Creator: Καζελίδης, Γεώργιος, Kazelidis, Georgios

Item type: Bachelor thesis

Scientific field: Software

Υear: 2019

Language: Greek

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division ▶ Software Engineering Laboratory

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Software Engineering Laboratory

Discover 32 items from this school/department/institute

Filters

Filters

Αυτόματος έλεγχος λεκτικών αναλυτών Automated Testing for Lexical Analysers

Δυναμικός συστηματικός έλεγχος ταυτόχρονων προγραμμάτων Erlang Dynamic systematic testing of concurrent Erlang programs

Μελέτη και Κατασκευή Μοντέλων για Πρόβλεψη του Ρυθμού Εγκατάλειψης σε Πρόγραμμα Αποταμιεύσεων

Το πρόβλημα της σύνθεσης προγραμμάτων

Υλοποίηση εφαρμογής Blockchain για διαχείριση βαθμολογιών σε ΑΕΙ Implementation of Blockchain Application for managing University grades

Event-driven architectures using Apache Kafka

Προγράμματα Python

Περιορισμός του χώρου αναζήτησης του concolic testing μέσω στατικής ανάλυσης Reducing the search space of concolic testing via static analysis

Εφαρμογή Μηχανικής Μάθησης για την Πρόβλεψη Επιτάχυνσης Μετασχηματισμών σε Μεταγλωττιστές

Υλοποίηση μιας μεθοδολογίας αναλλοίωτων βασισμένη σε backpointers Implementation of an invariant discipline based on backpointers

Στατικές εγγυήσεις ασφάλειας για γλώσσες με ταυτόχρονο προγραμματισμό Static safety guarantees for concurrent programming languages

Στατική Ανάλυση για Εύρεση Λαθών σε Προγράμματα JavaScript Static Analysis for Error Detection in JavaScript Programs

Αυτόματος έλεγχος υπηρεσιών διαδικτύου μέσω ιδιοτήτων Automatic WSDL-guided property-based testing of web services

Δικτυακή υπηρεσία χωρικής βελτιστοποίησης με αρχιτεκτονικής ενοποίησης με υπήρεσιες web τρίτων μερών Spatial optimization Web Service with integration architecture and third party web services

Εξαντλητικότητα Ταιριάσματος Προτύπων για Γενικευμένους Αλγεβρικούς Τύπους Δεδομένων Pattern Matching Exhaustiveness for GADTs

Περιβάλλον-πλαίσιο προσαρμοστικής παρακολούθησης συστημάτων An adaptive monitoring framework

Κβαντικοί Υπολογισμοί και Κβαντικός Προγραμματισμός Quantum Computations and Quantum Programming

Έλεγχος προγραμμάτων συνδυάζοντας συμβολική και συμπαγή εκτέλεση με αυτόματη παραγωγή τιμών εισόδου Program testing by combining concrete and symbolic execution with automatic generation of input values

Συστηματικός έλεγχος παράλληλων προγραμμάτων γραμμένων σε Erlang Systematic Testing of Concurrent Erlang Programs: Some Experiences

Ανάπτυξη Εργαλείου για την Επαλήθευση Δοκιμών Βασισμένων σε Προδιαγραφές A Coq Framework for Verified Property-Based Testing

Τυπική Επαλήθευση Επιβολής Ακεραιότητας Ροής-Ελέγχου με Ετικέτες Formally Verified Tag-Based Enforcement of Control Flow Integrity

Αλγόριθμοι συλλογής απορριμμάτων για αυτόματη διαχείριση μνήμης Garbage collection algorithms for automatic memory management

Ο Νοηματικός Μετασχηματισμός ως Τεχνική Υλοποίησης Συναρτησιακών Γλωσσών Προγραμματισμού The Intensional Transformation for Implementing Functional Programming Languages

Αυτόματος τυχαίος έλεγχος συστημάτων με εσωτερική κατάσταση βάσει μοντέλου Automated random model-based testing of stateful systems

Σχεδίαση και επέκταση ενός συστήματος αυτόματης αξιολόγησης προγραμματιστικών ασκήσεων

Περιβάλλον-πλαίσιο εκτίμησης εμπιστοσύνης σε υπηρεσίες και σε πόρους υπηρεσιοκεντρικών συστημάτων

Σχεδίαση και υλοποίηση ενός μεταγλωττιστή κώδικα μηχανής για τη γλώσσα Erlang με χρήση της LLVM Design and implementation of a native code compiler for Erlang with LLVM

Ανάπτυξη εφαρμογής ιστού για τη διαχείριση των χρηστών του Εργαστηρίου Τεχνολογίας Λογισμικού

Software Engineering Laboratory

Discover 32 items from this school/department/institute

Filters

Filters

Βοηθείστε μας να κάνουμε καλύτερο το OpenArchives.gr.