Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Volume 28; Issue 5

1

Use case-based testing of product lines

Année:
2003
Langue:
english
Fichier:
PDF, 198 KB
english, 2003
3

A simulation-based approach to software performance modeling

Année:
2003
Langue:
english
Fichier:
PDF, 124 KB
english, 2003
6

Computer modelling and natural phenomena

Année:
2003
Langue:
english
Fichier:
PDF, 210 KB
english, 2003
7

Consistency techniques for interprocedural test data generation

Année:
2003
Langue:
english
Fichier:
PDF, 271 KB
english, 2003
9

On the economic evaluation of XP projects

Année:
2003
Langue:
english
Fichier:
PDF, 223 KB
english, 2003
10

Reverse engineering framework reuse interfaces

Année:
2003
Langue:
english
Fichier:
PDF, 306 KB
english, 2003
12

Fluent model checking for event-based systems

Année:
2003
Langue:
english
Fichier:
PDF, 333 KB
english, 2003
13

Bogor

Année:
2003
Langue:
english
Fichier:
PDF, 250 KB
english, 2003
14

Predicting problems caused by component upgrades

Année:
2003
Langue:
english
Fichier:
PDF, 139 KB
english, 2003
15

Eos

Année:
2003
Fichier:
PDF, 176 KB
2003
17

Runtime safety analysis of multithreaded programs

Année:
2003
Langue:
english
Fichier:
PDF, 570 KB
english, 2003
18

EFFICIENT

Année:
2003
Langue:
english
Fichier:
PDF, 128 KB
english, 2003
19

Making sense of runtime architecture for mobile phone software

Année:
2003
Langue:
english
Fichier:
PDF, 310 KB
english, 2003
20

Policy-enforced linking of untrusted components

Année:
2003
Langue:
english
Fichier:
PDF, 423 KB
english, 2003
21

Gravity

Année:
2003
Langue:
english
Fichier:
PDF, 1.46 MB
english, 2003
22

Regression testing of GUIs

Année:
2003
Langue:
english
Fichier:
PDF, 291 KB
english, 2003
24

Factors of software process improvement success in small and large organizations

Année:
2003
Langue:
english
Fichier:
PDF, 256 KB
english, 2003
25

Context-sensitive slicing of concurrent programs

Année:
2003
Langue:
english
Fichier:
PDF, 502 KB
english, 2003
26

Differences between versions of UML diagrams

Année:
2003
Langue:
english
Fichier:
PDF, 198 KB
english, 2003
27

Verified systems by composition from verified components

Année:
2003
Langue:
english
Fichier:
PDF, 146 KB
english, 2003
29

Protecting C programs from attacks via invalid pointer dereferences

Année:
2003
Langue:
english
Fichier:
PDF, 514 KB
english, 2003
30

Composing architectural styles from architectural primitives

Année:
2003
Langue:
english
Fichier:
PDF, 219 KB
english, 2003
32

Assessing software projects

Année:
2003
Langue:
english
Fichier:
PDF, 210 KB
english, 2003
34

Ontology support for web service processes

Année:
2003
Langue:
english
Fichier:
PDF, 196 KB
english, 2003
36

A strategy for efficiently verifying requirements

Année:
2003
Langue:
english
Fichier:
PDF, 238 KB
english, 2003
37

Deadline analysis of interrupt-driven software

Année:
2003
Langue:
english
Fichier:
PDF, 211 KB
english, 2003
39

Validating UML models against architectural profiles

Année:
2003
Langue:
english
Fichier:
PDF, 155 KB
english, 2003
40

A family of test adequacy criteria for database-driven applications

Année:
2003
Langue:
english
Fichier:
PDF, 258 KB
english, 2003