Bertrand Meyer's technology blog
Software engineering, programming methodology, programming languages, software verification, general technology
Sites
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 WirthCategories
- 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...
- Concurrency seminars (2)
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
Meta
Eiffel Software
Expertyze
Home page at ETH
Informatics Europe
LASER summer school