3763 search results - page 426 / 753 » Component-Based Software Engineering Processes |
179
Voted
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Reusable components equipped with strict guarantees of quality can help reestablish software development on a stronger footing, by taking advantage of the scaling effect of reuse ...
156
click to vote
CCE
2004
15 years 6 months ago
2004
Numerous approaches to information modeling exist within chemical engineering representing product data, work processes, or other information. These models have a limited scope an...
193
Voted
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
217
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
150
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Many software systems rely on third-party components during their build process. Because the components are constantly evolving, quality assurance demands that developers perform ...