SOFTWARE VERIFICATION

Informazioni sull’Insegnamento
TitoloΕΠΑΛΗΘΕΥΣΗ ΛΟΓΙΣΜΙΚΟΥ / SOFTWARE VERIFICATION
CodiceIWW-01-06
Ciclo / Livello di Studi2. Post Laurea
Semestre di InsegnamentoWinter
CoordinatorPanagiotis Katsaros
CommonNo
StatoAttivo
Course ID600000870

Programma di Studio: Diadíktyo kai Pagkósmios Istós

Registered students: 1
IndirizzoTipo di FrequenzaSemestreAnnoECTS
KORMOSFacoltativo a scelta libera117.5

Informazioni sull’Insegnamento
Anno Accademico2016 – 2017
SemestreWinter
Faculty Instructors
Weekly Hours3
Class ID
600039977
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