| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Adding pattern related information in structural and behavioral diagrams
|
Dong, Jing
|
|
2004
|
46 |
5 |
p. 293-300
8 p.
|
artikel
|
| 2 |
A method for the automatic generation of test suites from object models
|
Cavarra, Alessandra
|
|
2004
|
46 |
5 |
p. 309-314
6 p.
|
artikel
|
| 3 |
An integrated framework for formal development of open distributed systems
|
Traoré, Issa
|
|
2004
|
46 |
5 |
p. 281-286
6 p.
|
artikel
|
| 4 |
A secure methodology for interchangeable services
|
Fenicle, Brian
|
|
2004
|
46 |
5 |
p. 343-349
7 p.
|
artikel
|
| 5 |
A structured experiment of test-driven development
|
George, Boby
|
|
2004
|
46 |
5 |
p. 337-342
6 p.
|
artikel
|
| 6 |
Editorial board
|
|
|
2004
|
46 |
5 |
p. IFC-
1 p.
|
artikel
|
| 7 |
Efficient mediators with closures for handling dynamic interfaces in an imperative language
|
Shinjo, Yasushi
|
|
2004
|
46 |
5 |
p. 351-357
7 p.
|
artikel
|
| 8 |
How to judge testing progress
|
Weyuker, Elaine J.
|
|
2004
|
46 |
5 |
p. 323-328
6 p.
|
artikel
|
| 9 |
On formalizing UML state machines using ASMs
|
Börger, Egon
|
|
2004
|
46 |
5 |
p. 287-292
6 p.
|
artikel
|
| 10 |
On the composition of Java frameworks control-flows
|
de Melo, Ana C.V
|
|
2004
|
46 |
5 |
p. 301-307
7 p.
|
artikel
|
| 11 |
On the testing methods used by beginning software testers
|
Yu, Yuen Tak
|
|
2004
|
46 |
5 |
p. 329-335
7 p.
|
artikel
|
| 12 |
Special Issue on Software Engineering: Applications, Practices and Tools from the ACM Symposium on Applied Computing 2003
|
Thompson, Herbert H
|
|
2004
|
46 |
5 |
p. 279-280
2 p.
|
artikel
|
| 13 |
Towards model-based generation of self-priming and self-checking conformance tests for interactive systems
|
Paradkar, Amit
|
|
2004
|
46 |
5 |
p. 315-322
8 p.
|
artikel
|
Tijdschrift beschrijving