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 (36)
- Concurrency (12)
- Conference (10)
- Design by Contract (13)
- Distributed software development (2)
- Education (13)
- Eiffel (20)
- Empirical Software Engineering (9)
- Essay (13)
- Eulogy (2)
- Formal methods and proofs (11)
- General technology (18)
- Language design (8)
- Limerick (3)
- Numerics (1)
- Object technology (1)
- Policy (10)
- Positions (1)
- Programming techniques (19)
- Publications (3)
- Puzzle (3)
- Recycled (2)
- Research evaluation (17)
- Software engineering (54)
- Software process (11)
- Software verification (21)
- Software design (2)
- Standardization (2)
- Testing (5)
- Theory (6)
- Uncategorized (2)
- User interface design (4)
- Writing and style (8)
Recent Comments
- Never design a language (4)
- Bertrand Meyer: “Application Program Interface” is indeed the old expansion of the acronym. It goes back...
- sharov_am: Why A in API stands for Abstract but not for Applization?
- thomas.beale: Hi Bertrand, you are of course right in the general thesis that writing a ‘specialist’...
- 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...
- Never design a language (4)
Archives
- February 2012 (4)
- 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