3837 search results - page 233 / 768 » Concurrent Engineering support in Software Engineering |
132
click to vote
CSMR
2008
IEEE
15 years 10 months ago
2008
IEEE
We present Build Analyzer, a tool that helps developers optimize the build performance of huge systems written in C. Due to complex C header dependencies, even small code changes ...
126
click to vote
AGILEDC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper analyzes the reflections of an agile team, developing a large-scale project in an industry setting. The team uses an Iteration Summary Meeting practice, which includes ...
119
click to vote
IWPC
2005
IEEE
15 years 9 months ago
2005
IEEE
A commonly held belief is that the friend construct in C++ is a violation of encapsulation. However, little empirical analysis of its use has taken place to provide evidence to su...
143
click to vote
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
124
click to vote
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...