Bertrand Meyer's technology blog
Software and Technology
Sites
Tags
ACM Autological Beethoven Breakthroughs Change CITADEL Ciupa Computer-Aided Design Conferences Contract inference Dahl Daikon Darwin Design by Contract Dijkstra ECMA Eiffel Einstein Ernst Error Galileo Ground-breaking Haiku Hoare Horning Hype IEEE Incremental Invariant ISO Journals Loop invariant Methodology Mozart Null references Proust Recycled Research Skype Style Technology Touch of Class Turing Videophone Void safetyCategories
- Computer science (14)
- Concurrency (2)
- Conference (4)
- Design by Contract (7)
- Distributed software development (2)
- Education (4)
- Eiffel (9)
- Empirical Software Engineering (2)
- Essay (5)
- Formal methods and proofs (1)
- General technology (9)
- Language design (2)
- Limerick (2)
- Numerics (1)
- Policy (6)
- Programming techniques (5)
- Puzzle (3)
- Recycled (1)
- Research evaluation (5)
- Software engineering (21)
- Software process (6)
- Software verification (8)
- Uncategorized (2)
- User interface design (2)
- Writing and style (3)
Recent Comments
- The theory and calculus of aliasing (6)
- Bertrand Meyer: Sorry for the delay in “approving” this comment, for some reason I was not seeing it...
- A couple of loop examples (4)
- xosfaere: I like the idea of loops as expressions, allowing a declarative compositional style of programming. I...
- Bertrand Meyer: Sorry for not approving this comment from January — for some reason Wordpress was not showing...
- The other impediment to software engineering research (3)
- Bertrand Meyer: You misread my text. I don’t need a job with a software house (if only because I am involved on...
- william.tell: That sounds as if I meant that you should leave your academic position, sorry. That’s not what I...
- william.tell: You fail to consider the obvious alternative. Get a job working in an actual software house creating...
- More expressive loops for Eiffel (7)
- Bertrand Meyer: Of course it is the same general idea as iterator constructs that have been offered for various...
- Christian Reiter: I really aprecciate this possibility of writing loops but why isn’t it called...
- One cheer for incremental research (1)
- grappler: It seems to me that you are misunderstanding NSF’s message. As someone who has served on several NSF...
- Reflexivity, and other pillars of civilization (7)
- opacus: It is important to separate two questions. The first is whether we agree that, for all x, x = x. Most people...
- The theory and calculus of aliasing (6)
Archives
- 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
Home page at ETH
Informatics Europe
LASER summer school