SOFTWARE VERIFICATION

Informations du Cours
TitreΕΠΑΛΗΘΕΥΣΗ ΛΟΓΙΣΜΙΚΟΥ / SOFTWARE VERIFICATION
CodeIWW-01-06
Cycle / Niveau2e cycle / Master
Semestre de l’annéeWinter
CoordinatorPanagiotis Katsaros
CommonNon
StatutActif
Course ID600000870

Programme d' Études: Diadíktyo kai Pagkósmios Istós

Registered students: 1
OrientationAttendance TypeSemesterAnnéeECTS
KORMOSEPILOGĪS117.5

Informations de la Classe
Année Académique2016 – 2017
Semestre de l’AnnéeWinter
Faculty Instructors
Weekly Hours3
Class ID
600039977
Course Type 2016-2020
  • Domaine Scientifique
Mode d’Enseignement
  • En présentiel
Erasmus
The course is also offered to exchange programme students.
Language of Instruction
  • Grec (Enseignement, Examens)
Aptitudes Générales
  • Application des connaissances à la pratique
  • Adaptation à des situations nouvelles
  • Prise de décision
  • Travail en autonomie
  • Critique et autocritique
  • Promotion de la pensée libre, créatrice et inductive
Type de Matériels Éducatifs
  • Notes de cours
  • Vidéoconférences
Use of Information and Communication Technologies
Use of ICT
  • Emploi de TIC pour l’enseignement
  • Emploi de TIC pour communiquer avec les étudiants
Organisation du Cours
ActivitésCharge de travailECTSIndividuelEn groupeErasmus
Conferences391.3
Etude & analyse bibliographiques903
Presentation d’une etude (projet)933.1
Examens30.1
Total2257.5
Student Assessment
Student Assessment methods
  • Examen écrit : réponses courtes (Formative, Sommative)
  • Examen écrit : résolution de problèmes (Formative, Sommative)
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