Bertrand Meyer's technology+ blog
Software engineering, programming methodology, languages, verification, general technology, publication culture, and more
Sites
Tags
ACM Advance Aliasing API AutoTest Beethoven Breakthroughs Bugs Change Conferences Design by Contract Dijkstra DOSE Eiffel EiffelStudio Error ETH Google Ground-breaking Hoare Hype ICSE IEEE Invariant ITMO Kästner Loop Loop invariant Methodology Mozart Publication Recycled Research SCOOP Skype Standards Style Technology Touch of Class Translation Turing VAMOC Videophone Void safety WirthCategories
- Administrative (2)
- Agile (1)
- Algorithms (2)
- Computer science (60)
- Concurrency (15)
- Conference (19)
- Design by Contract (24)
- Distributed software development (4)
- Education (17)
- Eiffel (31)
- Empirical Software Engineering (15)
- Essay (17)
- Eulogy (2)
- Europe (1)
- Formal methods and proofs (19)
- General technology (28)
- History (3)
- Language design (18)
- Limerick (3)
- Master, please explain (5)
- Memoir (1)
- Numerics (1)
- Object technology (9)
- Paper announcement (5)
- Personal (3)
- Photographs (1)
- Policy (11)
- Politics (2)
- Positions (2)
- Programming techniques (33)
- Publications (9)
- Puzzle (3)
- Reading notes (3)
- Recycled (3)
- Requirements (1)
- Research evaluation (19)
- Seminar (5)
- Software engineering (101)
- Software process (21)
- Software verification (35)
- Software design (15)
- Standardization (3)
- Talks (1)
- Testing (8)
- Theory (13)
- Uncategorized (2)
- User interface design (5)
- Writing and style (12)
Recent Comments
- What is wrong with CMMI (3)
- Bertrand Meyer: Fixed typo (“terminal stage”).
- Bertrand Meyer: For general writing, a good complement to Strung & White is “Style: The Basics of Clarity...
- erick: Thanks for the examples and their critique, it is enlightening for a would-be technical writer like me to see...
- Adult entertainment (2)
- Bertrand Meyer: Fixed typo today (inverted lines).
- Larry: Actually, I often look at our Eiffel code and see it as a work of art. From our perspective, it is quite a...
- New course partners sought: a DOSE of software engineering education (1)
- Bertrand Meyer: 21 May: I updated the list of references with two papers that will appear in 2013.
- Bringing C code to the modern world (1)
- Larry: I am already a strong admirer and growing adherent to the work of C2Eif. I applaud Marco for his courage to...
- More expressive loops for Eiffel (11)
- What is wrong with CMMI (3)
Archives
- May 2013 (12)
- April 2013 (3)
- March 2013 (2)
- February 2013 (9)
- January 2013 (4)
- December 2012 (8)
- November 2012 (4)
- October 2012 (7)
- August 2012 (1)
- July 2012 (4)
- June 2012 (1)
- April 2012 (3)
- March 2012 (3)
- 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