7209 search results - page 340 / 1442 » Software Engineering for Multi-Agent Systems |
112
click to vote
CSMR
2008
IEEE
15 years 7 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 ...
95
Voted
AGILEDC
2006
IEEE
15 years 6 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 ...
IWPC
2005
IEEE
15 years 6 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...
111
Voted
SEFM
2005
IEEE
15 years 6 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...
90
Voted
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....