1199 search results - page 128 / 240 » Software Verification and Software Engineering a Practitione... |
135
click to vote
AGILEDC
2003
IEEE
15 years 10 months ago
2003
IEEE
XP emphasises underlying values as well as the more visible twelve practices. In this paper we explore the relationship between practices and values from two perspectives: empiric...
120
click to vote
TACS
1991
Springer
15 years 8 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
151
click to vote
JOT
2008
15 years 4 months ago
2008
Often efforts to change techniques or processes are met by "But its working, why change now?" Usually the impetous for change comes from someone who does not believe it ...
133
Voted
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
130
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...