1199 search results - page 126 / 240 » Software Verification and Software Engineering a Practitione... |
147
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
122
click to vote
AGILEDC
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper discusses the role of conversation and social interactions as the key element of effective knowledge sharing in an agile process. It also presents the observations made...
144
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
120
click to vote
ITICSE
1999
ACM
15 years 9 months ago
1999
ACM
The paper addressesthe problem of making experiments for software engineering during laboratories. There is a need for experimental investigations. If experiments are performed in...
127
Voted
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...