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 |