|
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 | An improved method for the indexing of software |
Di Felice, P |
1999 |
41 | 7 |
p. 413-420 8 p. |
artikel |
|
| 2 | Disincentives for communicating risk: a risk paradox |
Schmidt, Cameron |
1999 |
41 | 7 |
p. 403-411 9 p. |
artikel |
|
| 3 | Integrating structured OO approaches with formal techniques for the development of real-time systems |
Chen, Z. |
1999 |
41 | 7 |
p. 435-450 16 p. |
artikel |
|
| 4 | Introducing software architecture specification and analysis in SAM through an example |
Wang, J |
1999 |
41 | 7 |
p. 451-467 17 p. |
artikel |
|
| 5 | Measurement and prediction of the verification cost of the design in a formalized methodology |
Fernández, L |
1999 |
41 | 7 |
p. 421-434 14 p. |
artikel |
5 gevonden resultaten