1077 search results - page 74 / 216 » Introducing Software Engineering by means of Extreme Program... |
142
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
131
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
In most component models, a software component consists of a functional part and a controller part. The controller part may be extensible; however, existing component models provi...
137
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
159
click to vote
COMPSAC
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Statistical fault localization techniques find suspicious faulty program entities in programs by comparing passed and failed executions. Existing studies show that such ...
140
click to vote
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
Software systems should consist of simple, conceptually clean software components interacting along narrow, well-defined paths. All too often, this is not reality: complex compon...