The grand challenge of trusted components

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2003, Pages 660-667

  Meyer, Bertrand ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPONENTS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE REUSABILITY; RESEARCH AND DEVELOPMENT MANAGEMENT;

REUSABLE COMPONENTS; TRUSTED COMPONENTS;

SOFTWARE ENGINEERING;

EID: 0038601459     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/icse.2003.1201252     Document Type: Conference Paper

References (22)

1. Jean-Raymond Abrial: The B Book, Cambridge University Press, 2002.
2. Felix Bachmann, Len Bass, Charles Buhman, Santiago Comella-Dorda, Fred Long, John Robert, Robert Seacord, Kurt Walnau: Technical Concepts of Component-Based Software Engineering, Software Engineering Institute, Carnegie-Mellon University, Pittsburgh (Pennsylvania), Report CMU/SEI-2000-TR-008, available at www.sei.cmu.edu/publications/documents/00.reports/00tr008.html; consulted September 2002.
3. Beyond Objects column of Software Development magazine, articles by Bertrand Meyer and Clemens Szyperski, 1998-2000.
4. Barry W. Boehm, Software Engineering Economics, Prentice Hall, 1981.
5. ClearSy (name of company, no author issued): Web documents on Atelier B, www.atelierb.societe.com consulted December 2002.
6. Tom de Marco and Tim Lister: Peopleware: Productive Projects and Teams, 2nd edition. Dorset House Publishing, 1999.
7. Richard Gabriel: Is Worse really Better?, in JOOP (Journal of Object-Oriented Programming), Fall 1992.
8. Tony Hoare: Criteria for a Grand Challenge, at www.cra.org/Activities/grand.challenges/hoare.pdf, consulted February 2003.
9. Jean-Marc Jézéquel and Bertrand Meyer: Put it in the Contract: The Lessons of Ariane, in IEEE Computer, vol. 30, no. 7, pages 129-130, July 1997.
10. Bertrand Meyer: Applying "Design by Contract", in IEEE Computer, 25, 10, October 1992, pages 40.
11. Object-Oriented Systems and Applications, ed. David Rine, IEEE Computer Press, 1994.
12. Bertrand Meyer, Reusable Software: The Base Object-Oriented Libraries, Prentice Hall, 1994.
13. Bertrand Meyer: Object-Oriented Software Construction, second edition, Prentice Hall, 1997.
14. Bertrand Meyer: The next Software Breakthrough, in IEEE Computer, vol. 30, no. 7, pages 113-114, July 1997, available at archive.eiffel.com/doc/manuals/technology/bm.articles/sd/contracts.html, consulted February 2003.
15. Bertrand Meyer, Christine Mingins and Heinz Schmidt: Providing Trusted Components to the Industry, in IEEE Computer, vol. 31, no. 5, May 1998, pages 104-105.
16. Bertrand Meyer, Towards more reliable software: Every little bit counts, in IEEE Computer, November 1999, pages 131-133, available at www.inf.ethz.ch/~meyer/publications/computer/reliable.pdf, consulted February 2003.
17. Bertrand Meyer: The Significance of Components, in Software Development, November 1999, available at www.sdmagazine.com/documents/s=7207/sdm991.1k/, consulted February 2003.
18. Bertrand Meyer: Contracts for Components, in Software Development, July 2000, variant available at archive.eiffel.com/doc/manuals/technology/bmarticles/sd/contracts.html, consulted February 2003.
19. Bertrand Meyer, articles on proving classes at www.inf.ethz.ch/~meyer/ongoing/references.
20. Standish Group: CHAOS reports at www.standishgroup.com/, consulted November 2002.
21. Clemens Szyperski, Component Software: Beyond Object Oriented Programming. Addison-Wesley, 1998.
22. Ed Yourdon: When Good-Enough Software is best, IEEE Software, Vol. 12, no. 3 May 1995, pages 79-81.