Tárgyszó
szoftvertesztelés
elektronikus könyv
27
Software engineering
25
konferencia
20
konferenciakötet
20
tanulmányok
20
szoftverfejlesztés
16
Computer software
15
modell-ellenőrzés
14
Testing
12
modell-ellenőrzés -- szoftvertesztelés -- konferencia
12
Computer software -- Testing
10
programozási nyelvek
10
programozási nyelvek -- konferencia
10
Computer logic
9
számítógépes logika
9
számítógépes logika -- konferencia
9
verifikáció
9
verifikáció -- szoftverfejlesztés -- konferencia
9
Computer science
8
matematikai logika
8
Artificial intelligence
7
Computer simulation
7
matematikai logika -- konferencia
7
modell ellenőrzés
7
modell ellenőrzés -- szoftvertesztelés -- konferencia
7
Computers
6
Logic design
6
Mathematical logic
6
Software Engineering
6
szoftverfejlesztés -- konferencia
6
Computer system failures
5
Logics and Meanings of Programs
5
számítógépes szimuláció
5
számítógépes szimuláció -- konferencia
5
Algorithm Analysis and Problem Complexity
4
Algorithms
4
Programming Languages, Compilers, Interpreters
4
Programming languages (Electronic computers)
4
formális módszerek
4
formális módszerek -- számítástudomány -- konferencia
4
informatika
4
logikai tervezés
4
logikai tervezés -- konferencia
4
számítástudomány
4
Computation by Abstract Devices
3
Computer communication systems
3
Computer software -- Evaluation
3
Evaluation
3
Information theory
3
többet ...