论文信息 - The grand challenge of trusted components

The grand challenge of trusted components

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 to justify the extra effort of ensuring impeccable quality. This discussion examines work intended to help the concept of Trusted Component brings its full potential to the software industry, along two complementary directions: a "low road" leading to qualification of existing components, and a "high road" aimed at the production of components with fully proved correctness properties.

Bertrand Meyer | B. Meyer

[1] Len Bass,et al. Technical Concepts of Component-Based Software Engineering, Volume 2 , 2000 .

[2] Clemens A. Szyperski,et al. Component software - beyond object-oriented programming , 2002 .

[3] Jean-Marc Jézéquel,et al. Design by Contract: The Lessons of Ariane , 1997, Computer.

[4] Bertrand Meyer. The Next Software Breakthrough , 1997, Computer.

[5] MeyerBertrand,et al. Design by Contract , 1997 .

[6] Bertrand Meyer,et al. Applying 'design by contract' , 1992, Computer.

[7] Frank Waters,et al. The B Book , 1971 .

[8] R MEIER,et al. Pharmacodynamic components of hypotensors and their significance to the hypotensive effect. , 1956, Acta medica Scandinavica. Supplementum.

[9] Edward Yourdon. When Good Enough Software Is Best , 1995, IEEE Softw..

[10] Tom DeMarco,et al. Peopleware (2nd ed.): productive projects and teams , 1999 .

[11] Barry W. Boehm,et al. Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[12] Bertrand Mayer. Every little bit counts: toward more reliable software , 1999 .

[13] Bertrand Meyer,et al. Object-Oriented Software Construction, 2nd Edition , 1997 .

[14] Christine Mingins,et al. Providing Trusted Components to the Industry , 1998, Computer.