|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Classification of application reviews into software maintenance tasks using data mining techniques |
Al-Hawari, Assem |
|
29 | 3 |
p. 667-703 |
artikel |
|
| 2 | Model-based test case generation from UML sequence diagrams using extended finite state machines |
Rocha, Mauricio |
|
29 | 3 |
p. 597-627 |
artikel |
|
| 3 | Preface to the special issue on improving software quality through program analysis |
Güdemann, Matthias |
|
29 | 3 |
p. 595-596 |
artikel |
|
| 4 | Reductions and abstractions for formal verification of distributed round-based algorithms |
Barbosa, Raul |
|
29 | 3 |
p. 705-731 |
artikel |
|
| 5 | Verification supported refactoring of embedded sql |
Spasić, Mirko |
|
29 | 3 |
p. 629-665 |
artikel |
5 gevonden resultaten