Bertrand Meyer's technology blog

Software engineering, programming methodology, programming languages, software verification, general technology

• Sites

  • Eiffel Community
  • Eiffel Software
  • Expertyze
  • Home page at ETH
  • Informatics Europe
  • LASER summer school
  • Publication list

• Tags

  ACM Advance API Autological AutoTest Beethoven Breakthroughs Change CITADEL Computer-Aided Design Conferences Contract inference Dahl Daikon Design by Contract Dijkstra ECMA Eiffel Einstein Error ETH Ground-breaking Hoare Horning Hype IEEE Invariant Loop Loop invariant Methodology Mozart Proust Recycled Research SCOOP Skype Standards Style Technology Touch of Class Translation Turing Videophone Void safety Wirth

• Categories

  • Algorithms (1)
  • Computer science (34)
  • Concurrency (10)
  • Conference (10)
  • Design by Contract (13)
  • Distributed software development (2)
  • Education (13)
  • Eiffel (19)
  • Empirical Software Engineering (8)
  • Essay (13)
  • Eulogy (2)
  • Formal methods and proofs (9)
  • General technology (18)
  • Language design (7)
  • Limerick (3)
  • Numerics (1)
  • Object technology (1)
  • Policy (10)
  • Programming techniques (18)
  • Publications (2)
  • Puzzle (3)
  • Recycled (2)
  • Research evaluation (16)
  • Software engineering (51)
  • Software process (11)
  • Software verification (18)
  • Software design (1)
  • Standardization (2)
  • Testing (3)
  • Theory (5)
  • Uncategorized (2)
  • User interface design (4)
  • Writing and style (8)

• Recent Comments

  • Concurrency seminars (2)
    • Bertrand Meyer: The concurrency seminars are not designed for internet broadcast. But we will continue broadcasting...
    • Larry: Bertrand: Will the seminars be available over the net remotely? By the way, we remotely attended the loop...
  • PhD position: concurrent programming (SCOOP) for robotics (3)
    • Bertrand Meyer: The video is at www.youtube.com/watch?v=LWkETP n5Fn8. I have updated the text of the original post.
    • Bertrand Meyer: Thanks for pointing this out; I don’t know what happened but hope the video is restored later...
    • brieweb: It looks like the video was removed from YouTube. I would be curious to see it. -brian
  • Averaging (2)
    • Bertrand Meyer: Indeed, that’s what the good PCs do (certainly the ones in which I participate). I wish they...
    • onierstrasz: Actually, in my experience, competent PCs do not accept papers based on averages but on who stands up...
  • The story of our field, in a few short words (2)
    • Larry: What appears as a common thread in each person written of above is a deep curiosity leading them out from the...
  • A safe and stable solution (2)
    • ISO 9000: I positively venerate celebration of a mass your blog posts, a accumulation of essay is smashing.we have...
  • Fun with Bayes (1)
    • anachesa: Thanks for the interesting and funny article! Regarding the bytypalism: I am a native Russian speaking SW...

• Archives

  • February 2012 (1)
  • January 2012 (4)
  • December 2011 (3)
  • November 2011 (4)
  • October 2011 (3)
  • September 2011 (1)
  • August 2011 (4)
  • July 2011 (5)
  • June 2011 (6)
  • May 2011 (3)
  • March 2011 (1)
  • November 2010 (3)
  • October 2010 (3)
  • August 2010 (1)
  • July 2010 (2)
  • June 2010 (1)
  • May 2010 (3)
  • April 2010 (3)
  • March 2010 (1)
  • February 2010 (1)
  • January 2010 (4)
  • December 2009 (1)
  • November 2009 (1)
  • October 2009 (5)
  • September 2009 (1)
  • August 2009 (17)
  • July 2009 (1)

• Get RSS feed

   Add feed

• Meta

  • Register
  • Log in
  • Entries RSS
  • Comments RSS
  • WordPress.org