1154 search results - page 181 / 231 » Case Study: Software Product Integration Practices |
122
click to vote
ICFEM
2007
Springer
15 years 11 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
135
click to vote
EUROSYS
2006
ACM
16 years 2 months ago
2006
ACM
Computer problem diagnosis remains a serious challenge to users and support professionals. Traditional troubleshooting methods relying heavily on human intervention make the proce...
141
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
Automated static analysis is a promising technique to detect defects in software. However, although considerable effort has been spent for developing sophisticated detection possi...
139
click to vote
ADAEUROPE
2007
Springer
15 years 11 months ago
2007
Springer
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
138
click to vote
COMPSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
Enterprise systems are load tested for every added feature, software updates and periodic maintenance to ensure that the performance demands on system quality, availability and res...