SOFTWARE VERIFICATION

Informazioni sull’Insegnamento
TitoloΕΠΑΛΗΘΕΥΣΗ ΛΟΓΙΣΜΙΚΟΥ / SOFTWARE VERIFICATION
CodiceIS23
Ciclo / Livello di Studi1. Corso di Laurea, 2. Post Laurea
Semestre di InsegnamentoWinter
CoordinatorPanagiotis Katsaros
CommonNo
StatoAttivo
Course ID40002453

Programma di Studio: PMS Tmīmatos Plīroforikīs (2014-sīmera)

Registered students: 6
IndirizzoTipo di FrequenzaSemestreAnnoECTS
TECΗNOLOGIES GNŌSĪS DEDOMENŌN KAI LOGISMIKOUFacoltativo a scelta obbligata117.5
TECΗNOLOGIES PLĪROFORIAS KAI EPIKOINŌNIŌN STĪN EKPAIDEUSĪFacoltativo a scelta libera117.5
PSĪFIAKA MESA- YPOLOGISTIKĪ NOĪMOSYNĪFacoltativo a scelta libera117.5
DIKTYAKA SYSTĪMATAFacoltativo a scelta libera117.5

Programma di Studio: PMS Tmīmatos Plīroforikīs (2013-sīmera)

Registered students: 0
IndirizzoTipo di FrequenzaSemestreAnnoECTS
PLĪROFORIAKA SYSTĪMATAObbligatorio117.5
TECΗNOLOGIES PLĪROFORIAS KAI EPIKOINŌNIŌN STĪN EKPAIDEUSĪFacoltativo a scelta libera117.5
PSĪFIAKA MESAFacoltativo a scelta libera117.5
EPIKOINŌNIAKA SYSTĪMATA KAI TECΗNOLOGIESFacoltativo a scelta libera117.5

Programma di Studio: PMS Tmīmatos Plīroforikīs (2004-2012)

Registered students: 0
IndirizzoTipo di FrequenzaSemestreAnnoECTS
PLĪROFORIAKA SYSTĪMATAObbligatorio117.5
TECΗNOLOGIES PLĪROFORIAS KAI EPIKOINŌNIŌN STĪN EKPAIDEUSĪFacoltativo a scelta libera117.5
PSĪFIAKA MESAFacoltativo a scelta libera117.5
EPIKOINŌNIAKA SYSTĪMATA KAI TECΗNOLOGIESFacoltativo a scelta libera117.5

Informazioni sull’Insegnamento
Anno Accademico2016 – 2017
SemestreWinter
Faculty Instructors
Weekly Hours3
Class ID
600039939
Course Type 2016-2020
  • Area Scientifica
Organizzazione della Didattica
  • In presenza
Erasmus
The course is also offered to exchange programme students.
Language of Instruction
  • Greco (Insegnamento, Esame)
Abilita’ Generali
  • Applicazione pratica delle conoscenze acquisite
  • Adattamento a nuove situazioni
  • Presa di decisione
  • Lavoro autonomo
  • Fare riflessioni critiche e autocritiche
  • Promuovere il pensiero indipendente, creativo e intuitivo
Tipologia di Materiale Didattico
  • Libro
  • Appunti
Use of Information and Communication Technologies
Use of ICT
  • Uso delle TIC   nell’ insegnamento
  • Uso delle TIC nella comunicazione con gli studenti
Organizzazione dell’Insegnamento
ActivitiesCarico di LavoroECTSIndividualeGruppoErasmus
Conferenze391.3
Studio e analisi bibliografica903
Progetto (project)933.1
Esame30.1
Total2257.5
Student Assessment
Student Assessment methods
  • Prova scritta semistrutturata con risposta breve (Formativa, Sommativa)
  • Prova scritta con soluzione di problemi (Formativa, Sommativa)
Bibliography
Additional bibliography for study
1. D. Peled, "Software Reliability Methods", Springer-Verlag, 2001 2. G. Holzmann, "Design and Validation of Computer Protocols", Prentice Hall, 1990 3. F. Nielson, H. R. Nielson, C. M. Hankin, "Principles of Program Analysis", Springer, 1999
Last Update
13-06-2016