3837 search results - page 109 / 768 » Concurrent Engineering support in Software Engineering |
124
click to vote
DAS
2006
Springer
15 years 7 months ago
2006
Springer
Engineering diagnosis often involves analyzing complex records of system states printed to large, textual log files. Typically the logs are designed to accommodate the widest debug...
130
click to vote
TSE
2010
15 years 1 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
122
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
107
click to vote
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Distributed software development support systems typically use a centralized client-server architecture. This approach has some drawbacks such as the participants may experience l...
120
click to vote
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
There is an increasing trend in global software development, where different parts of a software product are being developed in different organisations. The process aspect of such...