nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A heuristics-based approach to reverse engineering of electronic services
|
Vassilakis, C. |
|
2009 |
51 |
2 |
p. 325-336 12 p. |
artikel |
2 |
Algorithms and tool support for dynamic information flow analysis
|
Masri, Wes |
|
2009 |
51 |
2 |
p. 385-404 20 p. |
artikel |
3 |
An ADL dealing with aspects at software architecture stage
|
Navasa, Amparo |
|
2009 |
51 |
2 |
p. 306-324 19 p. |
artikel |
4 |
Analysis of workflow dynamic changes based on Petri net
|
Sun, Ping |
|
2009 |
51 |
2 |
p. 284-292 9 p. |
artikel |
5 |
An approach for concurrent evaluation of technical and social aspects of software development methodologies
|
Vavpotic, Damjan |
|
2009 |
51 |
2 |
p. 528-545 18 p. |
artikel |
6 |
A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach
|
Katsaros, Panagiotis |
|
2009 |
51 |
2 |
p. 235-257 23 p. |
artikel |
7 |
Automated traceability analysis for UML model refinements
|
Briand, Lionel C. |
|
2009 |
51 |
2 |
p. 512-527 16 p. |
artikel |
8 |
Automatic generation of test specifications for coverage of system state transitions
|
Sarma, M. |
|
2009 |
51 |
2 |
p. 418-432 15 p. |
artikel |
9 |
Building test cases and oracles to automate the testing of web database applications
|
Ran, Lihua |
|
2009 |
51 |
2 |
p. 460-477 18 p. |
artikel |
10 |
CompAS: A new approach to commonality and variability analysis with applications in computer assisted orthopaedic surgery
|
Douta, Gisèle |
|
2009 |
51 |
2 |
p. 448-459 12 p. |
artikel |
11 |
Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models
|
Krishna, Aneesh |
|
2009 |
51 |
2 |
p. 478-496 19 p. |
artikel |
12 |
Covering code behavior on input validation in functional testing
|
Liu, Hui |
|
2009 |
51 |
2 |
p. 546-553 8 p. |
artikel |
13 |
Efficient traces’ collection mechanisms for passive testing of Web Services
|
Benharref, Abdelghani |
|
2009 |
51 |
2 |
p. 362-374 13 p. |
artikel |
14 |
Evaluating legacy system migration technologies through empirical studies
|
Colosimo, Massimo |
|
2009 |
51 |
2 |
p. 433-447 15 p. |
artikel |
15 |
Evaluating the relationship between process improvement and schedule deviation in software maintenance
|
Jung, Ho-Won |
|
2009 |
51 |
2 |
p. 351-361 11 p. |
artikel |
16 |
IFC Editorial Board
|
|
|
2009 |
51 |
2 |
p. IFC- 1 p. |
artikel |
17 |
Integrating in-process software defect prediction with association mining to discover defect pattern
|
Chang, Ching-Pao |
|
2009 |
51 |
2 |
p. 375-384 10 p. |
artikel |
18 |
Revising cohesion measures by considering the impact of write interactions between class members
|
Woo, Gyun |
|
2009 |
51 |
2 |
p. 405-417 13 p. |
artikel |
19 |
The effect of task order on the maintainability of object-oriented software
|
Wang, Alf Inge |
|
2009 |
51 |
2 |
p. 293-305 13 p. |
artikel |
20 |
Towards the development of privacy-aware systems
|
Guarda, Paolo |
|
2009 |
51 |
2 |
p. 337-350 14 p. |
artikel |
21 |
Uncertainty explicit assessment of off-the-shelf software: A Bayesian approach
|
Gashi, Ilir |
|
2009 |
51 |
2 |
p. 497-511 15 p. |
artikel |
22 |
Using acceptance tests as a support for clarifying requirements: A series of experiments
|
Ricca, Filippo |
|
2009 |
51 |
2 |
p. 270-283 14 p. |
artikel |
23 |
VxBPEL: Supporting variability for Web services in BPEL
|
Koning, Michiel |
|
2009 |
51 |
2 |
p. 258-269 12 p. |
artikel |