| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Algebraic Semantics of an Imperative Programming Language
|
A. V. Zamulin
|
|
2003
|
29 |
6 |
p. 328-337
10 p.
|
artikel
|
| 2 |
Algebraic Semantics of an Imperative Programming Language
|
Zamulin, A. V.
|
|
2003
|
29 |
6 |
p. 328-337
|
artikel
|
| 3 |
A Methodology of Verification and Testing of Large Software Systems
|
V. V. Lipaev
|
|
2003
|
29 |
6 |
p. 298-309
12 p.
|
artikel
|
| 4 |
A Methodology of Verification and Testing of Large Software Systems
|
Lipaev, V. V.
|
|
2003
|
29 |
6 |
p. 298-309
|
artikel
|
| 5 |
OCL-Based Automated Validation Method for UML Specifications
|
L. Ol'khovich
|
|
2003
|
29 |
6 |
p. 323-327
5 p.
|
artikel
|
| 6 |
OCL-Based Automated Validation Method for UML Specifications
|
Ol'khovich, L.
|
|
2003
|
29 |
6 |
p. 323-327
|
artikel
|
| 7 |
On the 75th Birthday of Vladimir Vasil'evich Lipaev
|
|
|
2003
|
29 |
6 |
p. 295-295
1 p.
|
artikel
|
| 8 |
On the 75th Birthday of Vladimir Vasil'evich Lipaev
|
|
|
2003
|
29 |
6 |
p. 295
|
artikel
|
| 9 |
The UniTesK Approach to Designing Test Suites
|
V. V. Kuliamin
|
|
2003
|
29 |
6 |
p. 310-322
13 p.
|
artikel
|
| 10 |
The UniTesK Approach to Designing Test Suites
|
Kuliamin, V. V.
|
|
2003
|
29 |
6 |
p. 310-322
|
artikel
|
| 11 |
Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language
|
V. A. Nepomniaschy
|
|
2003
|
29 |
6 |
p. 338-350
13 p.
|
artikel
|
| 12 |
Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language
|
Nepomniaschy, V. A.
|
|
2003
|
29 |
6 |
p. 338-350
|
artikel
|
| 13 |
Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal
|
A. K. Petrenko
|
|
2003
|
29 |
6 |
p. 296-297
2 p.
|
artikel
|
| 14 |
Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal
|
Petrenko, A. K.
|
|
2003
|
29 |
6 |
p. 296-297
|
artikel
|
Tijdschrift beschrijving