|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An integrated tool set for software safety analysis |
Fenelon, Peter |
1993 |
21 | 3 |
p. 279-290 12 p. |
artikel |
|
| 2 | A study of the effectiveness of control and data flow testing strategies |
Foreman, Lynn M |
1993 |
21 | 3 |
p. 215-228 14 p. |
artikel |
|
| 3 | Biographies |
1993 |
21 | 3 |
p. 321-323 3 p. |
artikel |
||
| 4 | Contents |
1993 |
21 | 3 |
p. i-iii nvt p. |
artikel |
||
| 5 | Editor's corner |
Bieman, James M |
1993 |
21 | 3 |
p. 199-200 2 p. |
artikel |
|
| 6 | Formally specifying an automated trade execution system |
Reck, Martin |
1993 |
21 | 3 |
p. 245-252 8 p. |
artikel |
|
| 7 | From VDM specifications to functional prototypes |
Borba, Paulo |
1993 |
21 | 3 |
p. 267-278 12 p. |
artikel |
|
| 8 | Multiple views of an executable software specification language |
Tung, Yukuh |
1993 |
21 | 3 |
p. 305-319 15 p. |
artikel |
|
| 9 | Partial orderings of event sets and their application to prototyping concurrent, timed systems |
Luckham, David C |
1993 |
21 | 3 |
p. 253-265 13 p. |
artikel |
|
| 10 | Specification of systems with interrupts |
Krishnan, Padmanabhan |
1993 |
21 | 3 |
p. 291-304 14 p. |
artikel |
|
| 11 | Tracing the execution of distributed programs |
Lloyd, William S |
1993 |
21 | 3 |
p. 201-214 14 p. |
artikel |
|
| 12 | Using algebraic specifications in software testing: A case study on the software of an automatic subway |
Dauchy, P |
1993 |
21 | 3 |
p. 229-244 16 p. |
artikel |
12 gevonden resultaten