Dependable software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4028 LNCS, Issue , 2006, Pages 1-33

  Meyer, Bertrand ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE;

DEPENDABLE SOFTWARE;

SOFTWARE RELIABILITY;

EID: 38549163160     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11808107_1     Document Type: Conference Paper

References (87)

1. Algirdas Avizienis, Jean-Claude Laprie and Brian Randell: Fundamental Concepts of Dependability, in Proceedings of Third Information Survivability Report, October 2000, pages 7-12, available among other places at citeseer.ist.psu.edu/article/avizienis01fundamental.html.
2. Ralph Back: A Calculus of Refinements for Program Derivations, in Acta Informatica, vol. 25, 1988, pages 593-624, available at crest.cs.abo.fi/publications/public/1988/ ACalculusOfRefinementsForProgramDerivationsA.pdf.
3. Thomas Ball and Sriram K. Rajamani: Automatically Validating Temporal Safety Properties of Interfaces, in SPIN 2001, Proceedings of Workshop on Model Checking of Software, Lecture Notes in Computer Science 2057, Springer-Verlag, May 2001, pages 103-122, available at tinyurl.com/qrm9m.
4. Mike Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte: Verification of object-oriented programs with invariants, in Journal of Object Technology, vol. 3, no. 6, Special issue: ECOOP 2003 workshop on Formal Techniques for Java-like Programs, June 2004, pages 27-56, available at www.jot.fm/issues/issue_2004_06/article2.
5. Mike Barnett, K. Rustan M. Leino and Wolfram Schulte: The Specs Programming System: An Overview, in CASSIS 2004: Construction and Analysis of Safe, Secure Interoperable Smart devices, Lecture Notes in Computer Science 3362, Springer-Verlag, 2004, available at research.microsoft. com/specsharp/papers/krml136.pdf;
6. see also other Spec# papers at research.microsoft.com/specsharp/.
7. nd edition, Addison-Wesley, 2004.
8. Éric Bezault: Gobo Eiffel Test, online documentation at www.gobosoft.com/eiffel/gobo/getest/index.html.
9. Robert Binder: Testing Object-Oriented Systems: Models, Patterns, and Tools, AddisonWesley, 1999.
10. Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux and Xavier Rival: ASTRÊE: A Static Analyzer for Large Safety-Critical Software, in Applied Deductive Verification, Dagstuhl Seminar 3451, November 2003, available at www.di.ens.fr/-cousot/COUSOTtalks/Dagstuhl-3451-2003.shtml.
11. See also ASTRÉE page at www.astree.ens.fr.
12. Barry W. Boehm: Software Engineering Economics, Prentice Hall, 1981.
13. Barry W. Boehm: A Spiral Model of Software Development and Enhancement, in Computer (IEEE), vol. 21, no. 5, May 1988, pages 61-72.
14. Barry W. Boehm et al.: Software Cost Estimation with COCOMO II, Prentice Hall, 2000.
15. Chandrasekhar Boyapati, Sarfraz Khurshid and Darko Marinov: Korat: Automated Testing Based on Java Predicates, in Proceedings of the 2002 International Symposium on Software Testing and Analysis (ISSTA), Rome, July 22-24, 2002, available at tinyurl.com/qwwd3.
16. T.Y. Chen, H. Leung and I.K. Mak: Adaptive random testing, in Advances in Science - ASIAN 2004: Higher-Level Decision Making, 9th Asian Computing Science Conference, ed. Michael J. Maher, Lecture Notes in Computer Science 3321, Springer-Verlag, 2004, available at tinyurl.com/lpxn5.
17. Ilinca Ciupa and Andreas Leitner: Automated Testing Based on Design by Contract, in Proceedings of Net.ObjectsDays 2005, 6th Annual Conference on Object-Oriented and Internet-Based Technologies, Concepts and Applications for a Networked World, 2005, pages 545-557, available at se.ethz.ch/people/ciupa/ papers/soqua05.pdf. See also AutoTest page at se.ethz.ch/research/autotest.
18. Hinca Ciupa, Andreas Leitner, Manuel Oriol and BertrandMeyer: Object Distance and its Application to Adaptive Random testing of Object-Oriented Programs, submitted for publication, 2006, available at se.ethz.ch/~meyer/ publications/testing/object_distance.pdf.
19. Edmund M. Clarke Jr., Orna Grumberg and Doron A. Peled: Model Checking, MIT Press, 1999.
20. Patrick Cousot: Verification by Abstract Interpretation, in International Symposium on Verification Theory & Practice Honoring Zohar Manna's 64th Birthday, ed. Nachum Dershowitz, Lecture Notes in Computer Science 2772, Springer-Verlag, 2003, pages 243-268.
21. Michael Cusumano and Richard Selby: Microsoft Secrets, The Free Press, 1995.
22. Ole-Johan Dahl, Edsger W. Dijkstra and C.A.R. Hoare: Structured Programming, Academic Press, 1971.
23. David L. Detlefs, K. Rustan, M. Leino, Greg Nelson, and James B. Saxe: Extended Static Checking, Research Report 159, Compaq Systems Research Center, December 1998, available at ftp://gatekeeper.research.compaq.com/pub/ DEC/SRC/researchreports/SRC-159.pdf.
24. Edsge&dotr W. Dijkstra: Go To Statement Considered Harmful, in Communications of the ACM, Vol. 11, No. 3, March 1968, pages 147-148, available at www.acm.org/classics/oct95/.
25. Edsger W. Dijkstra: Notes on Structured Programming, in [20]; original typescript available at www.cs.utexas.edu/users/EWD/ewd02xx/EWD249.PDF.
26. Edsger W. Dijkstra: A Discipline of Programming, Prentice Hall, 1978.
27. Brian J. Dreger: Function Point Analysis, Prentice Hall, 1989.
28. Paul Dubois, Mark Howard, Bertrand Meyer, Michael Schweitzer and Emmanuel Stapf: From Calls to Agents, in Journal of Object-Oriented Programming (JOOP), vol. 12, no. 6, September 1999, available at se.ethz.ch/~meyer/publications/joop/agent.pdf.
29. Eclipse pages at www.eclipse.org.
30. ECMA/ISO: Eiffel: Analysis, Design and Programming Language, standard ECMA 367, accepted in April 2006 as ISO standard, available at www.ecmainternational.org/publications/standards/Ecma-367.htm.
31. Eiffel open-source development site at eiffelsoftware.origo.ethz.ch/ index.php/Main_Page.
32. Eiffel Software: EiffelStudio documentation, online at eiffel.com.
33. Michael D. Ernst, J. Cockrell.William G. Griswold and David Notkin: Dynamically Discovering Likely Program Invariants to Support Program Evolution, in IEEE Transactions on Software Engineering, vol. 27, no. 2, February 2001, pages 1-25, available at pag.csail.mit.edu/-mernst/pubs/ invariants-tse2001.pdf.
34. Erich Gamma, Richard Helms, Ralph Johnson and John Vlissides: Design Patterns, Addison-Wesley, 1994.
35. Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli, Software Engineering, 2nd edition, Prentice Hall, 2003.
36. Richard Hamlet: Random Testing, in Encyclopedia of Software Engineering, ed. J. J. Marciniak, 1994, available at tinyurl.com/rcjxg.
37. Brian Henderson-Sellers: Object-Oriented Metrics: Measures of Complexity, Prentice Hall, 1995.
38. Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis and Sergio Yovine: Symbolic Model Checking for Real-Time Systems, in Logic in Computer Science, Proceedings of 7th Symposium in Logics for Computer Science, Santa Cruz, California, 1992, pages 394-406, available at tinyurl.com/lb5fm.
39. C.A.R. Hoare: An axiomatic basis for computer programming, in Communications of the ACM, Vol. 12, no. 10, October 1969, pages 576-580, available at tinyurl.com/ory2s.
40. C.A.R. Hoare and Jayadev Misra: Verified Software: Theories, Tools, Experiments, Vision of a Grand Challenge Project, October 2005, foundation paper for the VSTTE conference [77], available at vstte.ethz.ch/pdfs/vstte- hoare-misra.pdf.
41. IFTPWorking Group 10.4 on dependable computing and fault tolerance: home page at www.dependability.org.
42. Michael Jackson: Problem Frames: Analysing and Structuring Software Development Problems, Addison-Wesley, 2001.
43. Jean-Marc Jézéquel and Bertrand Meyer: Design by Contract: The Lessons of Ariane, in Computer (IEEE), vol. 30, no. 1, January 1997, pages 129-130, available at archive.eiffel.corn/doc/manuals/ technology/contract/ariane/page.html.
44. JUnit pages at SourceForge: junit.sourceforge.net.
45. Gary T. Leavens and Yoonsik Cheon: Design by Contract with JML (Draft), at ftp://ftp.cs.iastate.edu/pub/leavens/JML/jmldbc.pdf;
46. see also other JML papers at www.cs.iastate.edu/-leavens/JML/.
47. Andreas Leitner, Ilinca Ciupa, Bertrand Meyer and Mark Howard: Reconciling Manual and Automated Testing: The AutoTest Experience, submitted for publication, 2006.
48. Nancy G. Leveson: System Safety in Computer-Controlled Automotive Systems, SAE Congress, March 2000, available at sunnyday.mit.edu/papers/sae. pdf.
49. Michael R. Lyu (ed.): Handbook of Software Reliability Engineering, IEEE Computer Society Press and McGraw-Hill, 1995; also available online at www.cse.cuhk.edu.hk/~lyu/book/reliability/.
50. Zohar Manna and Amir Pnueli: The temporal logic of reactive and concurrent systems, Springer-Verlag, 1992.
51. Thomas J. McCabe: A Complexity Measure, in IEEE Transactions on Software Engineering, vol. 2, no. 4, December 1976, pages 308-320.
52. Thomas J. McCabe and Charles W. Butler: Design Complexity Measurement and Testing, in Communications of the ACM, vol. 32, no. 12, December 1989, pages 1415-1425.
53. Bertrand Meyer: Introduction to the Theory of Programming Languages, Prentice Hall, 1990.
54. Bertrand Meyer, The New Culture of Software Development: Reflections on the Practice of Object-Oriented Design, in Advances in Object-Oriented Software Engineering, eds. D. Mandrioli, B. Meyer, Prentice Hall, 1991.
55. Bertrand Meyer: Eiffel: The Language, 2nd printing, Prentice Hall, 1992.
56. Bertrand Meyer: Applying "Design by Contract", in Computer (IEEE), 25, 10, October 1992, pages 40-51.
57. Bertrand Meyer: Object Success, Prentice Hall, 1995.
58. Bertrand Meyer: Practice to Perfect: The Quality First Model, in Computer (IEEE), May 1997, pages 102-106, available at se.ethz.ch/~meyer/publications/computer/quality_first.pdf.
59. Bertrand Meyer: UML: The Positive Spin, in American Programmer, 1997, available at archive.eiffel.com/doc/manuals/technology/ bmarticles/uml/page.html.
60. nd edition, Prentice Hall, 1997.
61. Bertrand Meyer, Christine Mingins and Heinz Schmidt: Providing Trusted Components to the Industry, in Computer (IEEE), vol. 31, no. 5, May 1998, pages 104-105, available atse.ethz.ch/~meyer/publications/computer/ trusted.pdf.
62. Bertrand Meyer: The Role of Object-Oriented Metrics, in Computer (IEEE), vol. 31, no. 11, November 1998, pages 123-125, available at se.ethz.ch/~meyer/publications/computer/metrics.
63. Bertrand Meyer, Every Little Bit Counts: Towards Reliable Software, in Computer (IEEE_, vol. 32, no. 11, November 1999, pages 131-133, available at se.ethz.ch/~meyer/publications/computer/reliable.pdf.
64. Bertrand Meyer: The Grand Challenge of Trusted Components, in ICSE 25 (International Conference on Software Engineering, Portland, Oregon, May 2003), IEEE Computer Press, 2003.
65. Bertrand Meyer: The Power of Abstraction, Reuse and Simplicity: An Object- Oriented Library for Event-Driven Design, in From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl, eds. Olaf Owe, Stein Krogdahl, Tom Lyche, Lecture Notes in Computer Science 2635, Springer-Verlag, 2004, pages 236-271, available at se.ethz.ch/~meyer/ publications/lncs/events.pdf.
66. Bertrand Meyer: Offshore Development: The Unspoken Revolution in Software Engineering, in Computer (IEEE), January 2006, pages 122-124, available at se.ethz.ch/~meyer/publications/computer/outsourcing.pdf.
67. Bertrand Meyer: What will remain of Extreme Programming?, in EiffelWorld, Vol. 5, no. 2, February 2006, available at www.eiffel.com/general/monthly_column/2006/February.html.
68. Bertrand Meyer and Karine Arnout: Componentization: the Visitor Example, to appear in Computer (IEEE), 2006, draft available at se.ethz.ch/~meyer/publications/computer/visitor.pdf.
69. Microsoft: Visual Studio pages at msdn.microsoft.com/vstudio.
70. Richard Mitchell and Jim McKim: Design by Contract by Example, Addison-Wesley, 2001.
71. nd edition, Prentice Hall, 1994, available at web.comlab.ox.ac.uk/oucl/ publications/books/PfS/.
72. nd edition, McGraw-Hill, 1998.
73. nd edition, Wiley, 2004.
74. Jeff Offutt: Mutation testing papers at www.ise.gmu.edu/~ofut/rsrch/mut. html.
75. John Pincus: presentations (mostly PowerPoint slides) on PREfix and PREfast at research.microsoft.com/users/jpincus/.
76. Eric Raymond: The Cathedral and the Bazaar: Musings on Linux and Open Source by an Accidental Revolutionary, O' Reilly, 1999; earlier version available at www.firstmonday. org/issues/issue3_3/raymond/.
77. Software Engineering Institute, CMMI site, available at www.sei.cmu.edu/cmmi.
78. Matt Stephens and Doug Rosenberg: Extreme Programming Refactored: The Case Against XP, aPress, 2003.
79. Axel van Lamsweerde: Goal-Oriented Requirements Engineering: A Guided Tour, in Proceedings of the 5th IEEE International Symposium on Requirements Engineering, August 2001, available at tinyurl.com/mscpj.
80. Verified Software: Theories, Tools, Experiments: International IFIP conference, ETH Zurich, October 2005, see VSTTE conference site at vstte.ethz.ch.
81. John Viega: The Myth of Open-Source Security, 2000, available at www. developer.com/tech/article.php/626641;
82. follow-up article, Open-Source Security: Still at Myth, September 2004, available at www.onlamp.com/pub/a/security/2004/09/16/ open_source_security_myths.html.
83. Jeffrey M. Voas and Gary McGraw: Software Fault Injection: Inoculating Programs Against Errors, Wiley, 1998.
84. Jos Warmer and Anneke Kleppe: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edition, Addison-Wesley, 2003.
85. Elaine J. Weyuker and Bingchiang Jeng: Analyzing Partition Testing Strategies, in IEEE Transactions on Software Engineering, vol. 17, no. 9, July 1991, pp. 97-108.
86. Wikipedia: entry "Mars Climate Orbiter", available at en.wikipedia.org/wiki/Mars_Climate_Orbiter.
87. Edward Yourdon: When Good Enough Software Is Best, in Software (IEEE), vol. 12, no. 3, May 1995, pages 79-81.