Bertrand Meyer @Bertrand_Meyer Twitter profile

Last Seen Profiles

@kmanstorm

@dr_maheshsharma

@SamuelCordovaGz

@CompactSNE

@najaening

@AngelBerastain

@AzhaDrA4438

@FlinchedTK

@SimCubeez

@ChicoBentoCAM

@khocr26730

@ToybirdsNFT

@mexico_electro

@itsstevenha

@YamAlbat

@JamesBr39349671

@freckles_katie

@kateharrison52

@Gabrielson90361

@nikocoliterus

@chiiiii_tyan

@Ricigt1

@IOMPoland

@RCCGJesusHouse6

@aamirch555

@stw69jayapura

@Nermeenalswaisi

@TedCommunity

@IHyle26572

@xng1095529

@engA_M2

@Localsquila

@yhu1031737

@DJJasonBrookman

@xnyu183177

@philm4life

Bertrand Meyer

@Bertrand_Meyer

6 months

We lost a titan of programming languages, programming methodology, software engineering and hardware design. Niklaus Wirth passed away on the first of January. We mourn a pioneer, colleague, mentor and friend.

152

2K

5K

Bertrand Meyer

@Bertrand_Meyer

2 years

I was able to reconstruct, and make available as a free PDF, my 1991 book "Introduction to the Theory of Programming Languages". Of course it would be written differently today but I think it is still useful as a presentation of program semantics. See

Introduction to the Theory of Programming Languages: full book now freely available - Bertrand...

Short version: the full text of my Introduction to the Theory of Programming Languages book (second printing, 1991) is now available. This page has more details including the table of chapters, and a...

bertrandmeyer.com

4

86

321

Bertrand Meyer

@Bertrand_Meyer

2 years

I have started writing an article going back to the basics and explaining what OO really is, trying (for a 2022 audience) to remove all the accumulated sediments of misunderstandings and misrepresentations.

9

10

124

Bertrand Meyer

@Bertrand_Meyer

6 months

On 9 Jan, right after I learned of Niklaus Wirth's passing away, I wrote an extensive article about him on the ACM blog. I have extended it a bit since. It is not a standard eulogy faking full agreement, but more like a candid posthumous discussion. See

1

32

110

Bertrand Meyer

@Bertrand_Meyer

2 years

(1/2) I have been overwhelmed by the response to my free-access release of "Introduction to the Theory of Programming Languages" ( https://bertrandmeyer/itpl). I thought the book was forgotten but was wrong; it clearly has a following. Thank you so much for the fantastic feedback.

4

8

91

Bertrand Meyer

@Bertrand_Meyer

2 years

In response to numerous requests and in anticipation of a third edition, I have been able to make my book Object-Oriented Software Construction (2nd edition) available electronically. You can find it at .

2

40

84

Bertrand Meyer

@Bertrand_Meyer

2 years

I am happy to announce the publication of my latest book, the result of many years of work on requirements: the Handbook of Requirements and Business Analysis, just published by Springer. See book page with sample chapter etc. at .

2

7

57

Bertrand Meyer

@Bertrand_Meyer

1 year

AI is of no use to programmers:

7

18

55

Bertrand Meyer

@Bertrand_Meyer

10 months

Recently when using Twitter I have seen an "X" appearing in the corner, presumably to close Twitter. That was welcome, since closing Twitter is usually what I want do do when I use it. But if I click on the "X" nothing happens. Has anyone else encountered this bug?

4

8

50

Bertrand Meyer

@Bertrand_Meyer

1 year

After "Object-Oriented Software Construction" and "Introduction to the Theory of Programming Languages" I am continuing the process of releasing earlier books for free use on the Web. I have had many requests for "Object Success" and it took some time to get permissions 1/2

0

12

46

Bertrand Meyer

@Bertrand_Meyer

2 years

2/2 Now corrected. If you downloaded the text, better re-download. Go to and follow the link (updated to the new version). Reminder: I also released "Introduction to the Theory of Programming Languages" at . 2/2

Online version of "Introduction to the Theory of Programming Languages" - Bertrand Meyer's techno...

A full, free online version of Introduction to the Theory of Programming Languages, 2nd printing (1991) Copyright notice: The text is not in the public domain. It is copyrighted material, made...

bertrandmeyer.com

0

12

40

Bertrand Meyer

@Bertrand_Meyer

2 years

1/2 Last month I released a full PDF of "Object-Oriented Software Construction, 2nd edtion" at . Thanks for all the kind comments. A typo (from a text-processing script running wild, my fault) added the string "ee-" at some 200 seemingly random places 1/2

0

13

29

Bertrand Meyer

@Bertrand_Meyer

2 years

In free online version of "Object-Oriented Software Construction" at I fixed a recurrent typesetting issue (bad dot). Used opportunity to update obsolete syntax (!! for create, obsolete for note, unneeded "is" in feature declarations). Please re-download.

OOSC2 - Bertrand Meyer's technology+ blog

A full online version of Object-Oriented Software Construction, 2nd edition (1997) To read the second edition, you will find the full PDF (11 MB) here. The second edition of Object-Oriented...

bertrandmeyer.com

2

13

28

Bertrand Meyer

@Bertrand_Meyer

2 years

(2/2) This prompted me to do the same for my 1995 "Object Success" book. I processed the files and prettified the result a bit. It's all ready (easily -- thanks FrameMaker!) Pearson kindly agreed to revert the rights; as soon as I have their formal letter I will release the book.

1

2

24

Bertrand Meyer

@Bertrand_Meyer

3 years

Nurse to antivax patient she is treating for Covid in hospital: "You refused the vaccine because you didn't trust the contents. Now, do you have any idea of the contents of the far worse stuff I have injected into your body these past days? Do you even know *what* I injected?"

1

4

24

Bertrand Meyer

@Bertrand_Meyer

2 years

(1/2) It is much harder to teach OO programming today than it used to be because of 30 years of brainwashing: plainly wrong views of OO with grave misunderstandings that found their way into the dominant ones . You have to unteach first. Example from yesterday:

0

6

22

Bertrand Meyer

@Bertrand_Meyer

1 year

@sfeldman Wrong understanding of OO principles, already promoted by Java. Eiffel enforces the proper methodology. I analyze the concepts in section 4 (in particular 4.4) of "Right and Wrong: Ten Choices in Language Design", .

Right and wrong: ten choices in language design

A description of language design choices that have profound effects on software quality, criticism of how ordinary OO languages address them, and explanation of the thinking behind Eiffel's...

arxiv.org

1

4

24

Bertrand Meyer

@Bertrand_Meyer

3 months

0

3

27

Bertrand Meyer

@Bertrand_Meyer

3 years

When preparing to give a workshop on technical writing, found this really flattering article about some of my books and my writing: . Thanks, @akosma (Adrian Kosmaczewski)!

Bertrand Meyer

When the author of these words started its career as a software developer, "object orientation" was all the rage. "Serious" programming languages were object oriented. "Professional" programming...

deprogrammaticaipsum.com

1

3

20

Bertrand Meyer

@Bertrand_Meyer

7 months

@pickover Don’t have time to answer, I am traveling (just checking in at Hotel Hilbert).

0

1

19

Bertrand Meyer

@Bertrand_Meyer

3 years

I have updated and extended my blog article about concepts that I have contributed over the years:

Some contributions - Bertrand Meyer's technology+ blog

Science progresses through people taking advantage of others’ insights and inventions. One of the conditions that makes the game possible is that you acknowledge what you take. For the originator, it...

bertrandmeyer.com

0

5

17

Bertrand Meyer

@Bertrand_Meyer

10 years

New book: Agile! The Good, the Hype and the Ugly, analyzes agile methods, benefits & limitations w/o fear or favor http://t.co/LW8ZYMpngr

1

12

18

Bertrand Meyer

@Bertrand_Meyer

2 years

@vardi Doesn't this sound like something I wrote 11 years ago, "The Nastiness Problem in Computer Science", ACM Blog, ?

3

0

17

Bertrand Meyer

@Bertrand_Meyer

11 months

For a tourist's question about a city OK, but for writing software no, no, no, thank you very much.

0

7

15

Bertrand Meyer

@Bertrand_Meyer

7 months

Top journal paper, four reviews: - One ACCEPT. - One MINOR REVISION (with comment: "I find the work to be exceptionally impressive, addressing a crucial aspect of contemporary software engineering" - thanks). - One MAJOR REVISION. - One REJECT. Yes, we did it!

1

0

16

Bertrand Meyer

@Bertrand_Meyer

6 years

The end of software engineering and the last methodologist

2

9

15

Bertrand Meyer

@Bertrand_Meyer

6 years

Towards empirical answers to important software engineering questions: focusing on what matters to practitioners

3

10

15

Bertrand Meyer

@Bertrand_Meyer

7 years

Small and big pleasures of life

Small and big pleasures - Bertrand Meyer's technology+ blog

(Reproduced from my CACM blog.) One of the small pleasures of life is to win a technical argument with a graduate student. You feel good, as well you should. It is only human to be want to be right....

bertrandmeyer.com

0

7

15

Bertrand Meyer

@Bertrand_Meyer

11 years

Have you been "ill-served" by the software industry? http://t.co/5bPXKYkVH9

0

16

15

Bertrand Meyer

@Bertrand_Meyer

1 year

3/3 I feel it is still useful today. You can find the download link here:

"Object Success" now available - Bertrand Meyer's technology+ blog

A full, free online version of Object Success (1995) I am continuing the process of releasing some of my earlier books. Already available: Introduction to the Theory of Programming Languages (see...

bertrandmeyer.com

2

9

15

Bertrand Meyer

@Bertrand_Meyer

6 months

Appalled by the lack of indignation at Trump’s ignoble — no other word —calling Jan. 6 rioters (sentenced through proper judicial processes) “hostages”. What an insult to the actual Israeli hostages going through horrors. Why aren’t people calling out his boundless depravity?

1

13

Bertrand Meyer

@Bertrand_Meyer

1 year

(2/2) For the templates, go to the book page at , which also links to the chapter with the Standard Plan. Click the last entry on the left, "Supplementary material". There will be more supplementary stuff in the future, including lecture slides & videos).

1

2

13

Bertrand Meyer

@Bertrand_Meyer

1 year

(1/2) My latest book, the "Handbook of Requirements and Business Analysis" (Springer), provides a new Standard Plan for requirements, made of 4 parts, the 4 PEGS (Project, Environment, Goals, System). Thanks to Jean-Michel Bruel templates are now available in various formats.

0

2

13

Bertrand Meyer

@Bertrand_Meyer

5 years

Yes, you can throw money at project deadlines

A theorem of software engineering - Bertrand Meyer's technology+ blog

Some of the folk wisdom going around in software engineering, often cluessly repeated for decades, is just wrong. It can be particularly damaging when it affects key aspects of software development...

bertrandmeyer.com

1

11

13

Bertrand Meyer

@Bertrand_Meyer

2 years

I have made available on the Web the Axiomatic Semantics chapter of my old book "Introduction to the Theory of Programming Languages". I think it remains a reasonable introduction to the topic. See the link at (also for another chapter).

0

4

11

Bertrand Meyer

@Bertrand_Meyer

2 years

Sunday afternoon walk

3

1

13

Bertrand Meyer

@Bertrand_Meyer

7 years

One of the major developments in software engineering is Devops: continuous, integrated development/V&V/deployment, challenging SE principles. We are organizing a workshop on the topic in March, submission deadline (2-page abstracts OK) Jan. 15. .

0

12

13

Bertrand Meyer

@Bertrand_Meyer

3 years

Like everyone else, I appreciate my contributions being cited. They not always are, so today I took some time to collect some of those I can think of, with precise and checkable bibliographic references. See here: .

Some contributions - Bertrand Meyer's technology+ blog

Science progresses through people taking advantage of others’ insights and inventions. One of the conditions that makes the game possible is that you acknowledge what you take. For the originator, it...

bertrandmeyer.com

2

4

12

Bertrand Meyer

@Bertrand_Meyer

3 years

A standard plan for modern requirements - time to get away from IEEE 830 and structure requirements to cover the sophistication of modern systems.

1

5

11

Bertrand Meyer

@Bertrand_Meyer

3 years

I am giving a talk tomorrow (Wednesday, 17 CET, 8 AM PDT) on "The Beauty of Software". Trying to analyze this elusive notion, as important in science as in the arts. Free registration (on SIT site). Information and abstract at .

On beauty and software (online talk on Wednesday, 17 CET / 11 EDT / 8 PDT) - Bertrand Meyer's...

This Wednesday (still “tomorrow” as I am writing this), 10 March 2021, I am giving a talk on “The Beauty of Software” on the occasion of the graduation ceremony of the first students of the Schaffh...

bertrandmeyer.com

0

9

12

Bertrand Meyer

@Bertrand_Meyer

2 years

(Citation from SBF continued, ellipsis is not by me but by Washington Post.) “If you wrote a book, you f---ed up, and it should have been a six-paragraph blog post.” I always thought there was something wrong with me, now I know what it is. Thanks! 2/2

2

0

11

Bertrand Meyer

@Bertrand_Meyer

3 years

I got my Covid booster shot and can confirm that it's painful. Specifically: after a while you have to PEEL OFF THE BAND-AID! Horrible.

1

2

10

Bertrand Meyer

@Bertrand_Meyer

2 years

Logical beats sequential: beyond use cases and other scenarios, object-oriented requirements

Logical beats sequential - Bertrand Meyer's technology+ blog

Often, “we do this and then we do that” is just a lazy way of stating “to do that, we must have achieved this.” The second form is more general than the first, since there may be many things you can...

bertrandmeyer.com

0

4

11

Bertrand Meyer

@Bertrand_Meyer

5 years

Language question (always trying to improve my English): can a kingdom be a banana republic?

2

0

9

Bertrand Meyer

@Bertrand_Meyer

4 years

LASER 2020 in Elba Island: DevOps, Microservices and more, first week of June-- Program released and early registration open. Speakers include Cockroft (Amazon), Casati /. Govindarajan (ServiceNow & U. Trento), , Issarny (INRIA), Meijer (Facebook), di Nitto (Milan), me.

0

2

10

Bertrand Meyer

@Bertrand_Meyer

2 years

Memory: an evening's discussion with Salman Rushdie at Chaucer's, iconic bookstore in Santa Barbara (). No visible security. Respectful, considerate audience. Affable, smiling guest, full of tolerance and humanity.

0

2

9

Bertrand Meyer

@Bertrand_Meyer

1 year

I have a Twitter feed on my personal home page at . All the right HTML, has worked for years. Not any more. The message is misleading ("Nothing to see here -- yet"), as if I hadn't ever tweeted. Some genius must be hard at work "improving" Twitter.

1

2

10

Bertrand Meyer

@Bertrand_Meyer

8 years

From today, EdX is airing a new MOOC on Agile Software Development. Tutorial and analysis, focus on practice. See .

0

2

10

Bertrand Meyer

@Bertrand_Meyer

2 years

Also available on the book page at are a chapter on how to write requirements, a sample section on object-oriented requirements and the Preface summarizing the entire approach.

0

2

10

Bertrand Meyer

@Bertrand_Meyer

2 years

Other pages for the Handbook of Requirements and Business Analysis: Springer page at (with access to digital version); Amazon US ; Amazon Germany . (Also at Amazon France but almost 20 euros more, no idea why.)

2

3

10

Bertrand Meyer

@Bertrand_Meyer

7 months

I am used to my papers (this time with 4 coauthors) eliciting diverse responses; but finally, finally, finally, I achieved the PERFECT SPREAD!

1

2

10

Bertrand Meyer

@Bertrand_Meyer

10 years

Code matters: those who pretend otherwise are simply trying to excuse their use of bad languages http://t.co/DXw9C8nvKf

Code matters - Bertrand Meyer's technology+ blog

(Adapted from an article previously published on the CACM blog.) Often, you will be told that programming languages do not matter much. What actually matters more is not clear; maybe tools, maybe...

bertrandmeyer.com

0

15

9

Bertrand Meyer

@Bertrand_Meyer

5 years

Schedule posted for LASER AI + ML + SE, Elba, June. Speakers: Shai Ben-David (Waterloo), Lionel Briand (Luxembourg), Pascal Fua (EPFL), Erik Meijer (Facebook), Tim Menzies (NC State) and I. June 1-9 in magnificent Hotel del Golfo in Elba Island, Italy.

Schedule and last deadline for LASER AI + ML + SE, Elba, June - Bertrand Meyer's technology+ blog

The lecture schedule has now been posted for the 2019 LASER summer school on artificial intelligence, machine learning and software engineering. The speakers are Shai Ben-David (Waterloo), Lionel...

bertrandmeyer.com

1

5

9

Bertrand Meyer

@Bertrand_Meyer

2 years

@minilek All Eiffel arrays are resizable and always have been.

1

0

9

Bertrand Meyer

@Bertrand_Meyer

2 years

Optimizing test cases automatically generated from failed proofs: new paper presented tomorrow at IWSF, preprint available, see presentation, summary and link at . Proofs and tests are not competitors in software verification, they are partners!

New paper: optimization of test cases generated from failed proofs - Bertrand Meyer's technology+...

Li Huang (PhD student at SIT) will be presenting at an ISSRE workshop the paper Improving Counterexample Quality from Failed Program Verification, written with Manuel Oriol and me. One can find the...

bertrandmeyer.com

0

1

9

Bertrand Meyer

@Bertrand_Meyer

4 months

Sometimes at a concert in a hall that is too flat (as it was not really meant for that), people seated two rows ahead of you can hide the show. In this case, though, they were conveniently not too tall (Saint-Louis des Invalides, 12 March 2024, ).

0

9

Bertrand Meyer

@Bertrand_Meyer

5 years

A new detailed survey paper: Formality in Software Requirements. The paper covers 22 different methods and notations using a running examples (Landing Gear System). A draft is available at

1

4

8

Bertrand Meyer

@Bertrand_Meyer

5 months

From our "The kind of correction we hope we'll never have to make" department: The Guardian, (home to some of the worst damage to the English language). Too bad though -- for a few hours, the idea of a PhD in etymology sounded appealing. Ethylating even.

0

1

6

Bertrand Meyer

@Bertrand_Meyer

2 years

Programming haiku of the day: Quicksort Small goes left, big -- right. -- But how, pray thee, will that sort? -- Just do it again.

0

4

9

Bertrand Meyer

@Bertrand_Meyer

5 years

Lies, damn lies and progress bars

0

3

7

Bertrand Meyer

@Bertrand_Meyer

4 years

There is More Than One Way to Become a Good Programmer

3

9

Bertrand Meyer

@Bertrand_Meyer

3 years

Publication announcement: survey on requirements techniques, formal and non-formal, just published in (ACM) Computing Surveys, June 2021, pages 1-36. Available in the ACM Digital Library, also as preprint on my page; see link, abstract & details at .

2

6

9

Bertrand Meyer

@Bertrand_Meyer

2 years

First try with ChatGPT

1

0

9

Bertrand Meyer

@Bertrand_Meyer

1 year

Everyone is entitled to a bit of narcissism once in a while (stop me if it becomes a habit):

3

1

8

Bertrand Meyer

@Bertrand_Meyer

3 years

Tomorrow (Thursday) noon EDT / 18 CET, I am giving a talk for ACM on some of my current work on requirements, "The four PEGS of requirements engineering". Free registration. Abstract and link at .

Tomorrow (Thursday) noon EDT: ACM talk on requirements - Bertrand Meyer's technology+ blog

In the software engineering family requirements engineering is in my experience the poor cousin, lagging behind the progress of other parts (such as design). I have been devoting attention to the...

bertrandmeyer.com

0

2

8

Bertrand Meyer

@Bertrand_Meyer

2 years

1/3 Restarting workshops at the Villebrumier LASER center, with FISEE 2023, Frontiers In Software Engineering Education, 23-25 January 2023. The call for papers is out. Proceedings (post-conference) in Springer-LNCS. Keynotes by Carlo Ghezzi (Milan) and Armando Fox (Berkeley) 1/3

0

4

8

Bertrand Meyer

@Bertrand_Meyer

4 years

New video lecture: distances, invariants and recursion - exploring connections between practical algorithms, the underlying theory, programming techniques and programming principles

0

2

8

Bertrand Meyer

@Bertrand_Meyer

5 years

AL+ML+SE — Reminder about LASER school, coming up in June

AI+ML+SE - Reminder about LASER school, coming up in June - Bertrand Meyer's technology+ blog

A reminder about this year’s LASER school, taking place in Elba, Italy, June 1 to 9. The theme is AI + ML + SE and the speakers: Shai Ben-David, University of Waterloo Lionel C....

bertrandmeyer.com

1

7

8

Bertrand Meyer

@Bertrand_Meyer

1 year

New article: OO requirements better than scenarios

0

3

8

Bertrand Meyer

@Bertrand_Meyer

7 years

New session of online Agile course starts tomorrow on EdX, announcement at , course page at .

New session of online Agile course starts now - Bertrand Meyer's technology+ blog

Just about a year ago I posted this announcement about my just released Agile course: In spite of all the interest in both agile methods and MOOCs (Massive Open Online Courses) there are few courses...

bertrandmeyer.com

0

7

8

Bertrand Meyer

@Bertrand_Meyer

6 years

I didn't make it up... - (about the origin of "software engineering")

I didn't make it up... - Bertrand Meyer's technology+ blog

An article published here a few years ago, reproducing a note I wrote much earlier (1992), pointed out that conventional wisdom about the history of software engineering, cited in every textbook, is...

bertrandmeyer.com

1

8

7

Bertrand Meyer

@Bertrand_Meyer

5 years

Defining and classifying requirements (new publication)

0

4

6

Bertrand Meyer

@Bertrand_Meyer

2 years

2/3 An excellent place to discuss issues of SE education. Theme: Education for Technology and Technology for Education. Participation by invitation; best way to get an invitation is to submit an extended abstract (2-5 pages), deadline 20 November, so there's still time. 2/3

0

4

7

Bertrand Meyer

@Bertrand_Meyer

2 years

White and mauve

0

6

Bertrand Meyer

@Bertrand_Meyer

7 years

The perils of feature interaction: how a perfectly usable laptop can become unusable

0

3

7

Bertrand Meyer

@Bertrand_Meyer

2 years

Early September at lake Zurich

0

6

Bertrand Meyer

@Bertrand_Meyer

3 months

@vardi Sorry but -- neither funny nor helpful. Seeding general contempt for politicians only plays into the hands of populists and extremists. There are better politicians, worse politicians and terrible politicians. Lumping them all together is irresponsible, & harms the good ones.

2

0

7

Bertrand Meyer

@Bertrand_Meyer

2 years

One of the contributions of the requirements Handbook is a standard plan for requirements, a replacement for the time-honored but obsolete IEEE 1998 plan. It is described in chapter 3 of the book, which is freely usable and accessible from .

1

2

7

Bertrand Meyer

@Bertrand_Meyer

4 years

How to protect from the coronavirus (the only sure way)

How to protect from the coronavirus - Bertrand Meyer's technology+ blog

In the current state of the pandemic and for many more months until a vaccine is found, there is exactly one way to fight the coronavirus, protecting yourself and protecting others. It is not a mask....

bertrandmeyer.com

1

4

7

Bertrand Meyer

@Bertrand_Meyer

4 months

How many Turing Award winners can you spot?

A remarkable group photo - Bertrand Meyer's technology+ blog

On 13-15 September 1999 a symposium took place in St Catherine College in Oxford, in honor of Tony Hoare’s “retirement” from Oxford (the word is in quotes because he has had several further produc...

bertrandmeyer.com

0

1

8

Bertrand Meyer

@Bertrand_Meyer

5 years

A list of my publications on educational topics .

0

2

7

Bertrand Meyer

@Bertrand_Meyer

6 months

Research is tough, and we must explain sophisticated reasoning again and again to peers, students, the general public and others who struggle to follow. I have a solution. Why don't we just decide that correlation, after all, *IS* causation? Simple, cheap, makes life easier.

1

7

Bertrand Meyer

@Bertrand_Meyer

5 years

Giving keynote at Acronis conference in Sofia tomorrow: . This is a security conference and I am not a security expert, but my take will be to address the software engineering aspects of security.

1

7

Bertrand Meyer

@Bertrand_Meyer

5 years

This Wednesday (29 Dec) at INRIA in Nice: I am giving talk on the Eiffel method. General presentation describing the unified view of software construction embodied in Eiffel, from modeling to requirements to design, implementation and verification.

This Wednesday in Nice: survey talk on the Eiffel method - Bertrand Meyer's technology+ blog

The “Morgenstern Colloquium” at the University of Nice / INRIA Sophia Antipolis invited me to give a talk, next Wednesday (18 December) at 11 in Sophia Antipolis, in the aptly named* “Kahn Building”....

bertrandmeyer.com

0

1

6

Bertrand Meyer

@Bertrand_Meyer

6 years

Why not program right? Also, mental health evaluation.

0

4

6

Bertrand Meyer

@Bertrand_Meyer

4 years

Getting a program right, in nine episodes (we fumble through no less than five wrong variants and then try to take a more serious approach, getting to a program proved correct)

Getting a program right, in nine episodes - Bertrand Meyer's technology+ blog

About this article: it originated as a series of posts on the Communications of the ACM blog. I normally repost such articles here. (Even though copy-paste is usually not good, there are three...

bertrandmeyer.com

1

0

5

Bertrand Meyer

@Bertrand_Meyer

4 years

A novel concept for success in science -

A novel concept for success in science - Bertrand Meyer's technology+ blog

No one seems until now [1] to have identified a key element of any scientific article being submitted or revised for publication. It is guaranteed to increase, if not the quality of your articles, at...

bertrandmeyer.com

0

6

Bertrand Meyer

@Bertrand_Meyer

2 years

(2/3) (not /2) In a question-and-answer session a student asked about composition and I asked what he meant by this word. His answer: "I mean as in creating objects as instance variables in another class. This is a method that is mostly chosen over inheritance in oop". Aargh!

3

1

5

Bertrand Meyer

@Bertrand_Meyer

6 years

Mainstream enough for me: Praising Eiffel will not change the world. Using EiffelStudio might.

Mainstream enough for me - Bertrand Meyer's technology+ blog

Every couple of weeks or so, I receive a message such as the one below; whenever I give a talk on any computer science topic anywhere in the world, strangers come to me to express similar sentiments....

bertrandmeyer.com

1

5

6

Bertrand Meyer

@Bertrand_Meyer

1 year

I have included an errata list for my *Handbook of Requirements and Business Analysis" (Springer) together with other material at . Only 3 so far-- not too bad (although embarrassingly one is in the first paragraph!). I am not naïve -- there must be more.

0

1

6

Bertrand Meyer

@Bertrand_Meyer

4 years

Talk on requirements at University of California, Santa Barbara tomorrow (Friday, 14). The title is "A Comprehensive Approach to Requirements Engineering". Abstract and details at .

0

4

5

Bertrand Meyer

@Bertrand_Meyer

7 years

A small design pattern: how void safety and other language rules designed to produce solid software affect even simple designs. .

Bertrand Meyer's technology+ blog - Software engineering, programming methodology, languages,...

Software engineering, programming methodology, languages, verification, general technology, publication culture, and more

bertrandmeyer.com

0

1

6

Bertrand Meyer

@Bertrand_Meyer

9 years

Everyone is teaching languages wrong, and there is only one way to do it right http://t.co/F0m1hSylKH.

1

6

Bertrand Meyer

@Bertrand_Meyer

5 years

Are my requirements complete? A new blog article at .

Are my requirements complete? - Bertrand Meyer's technology+ blog

Some important concepts of software engineering, established over the years, are not widely known in the community. One use of this blog is to provide tutorials on such overlooked ideas. An earlier...

bertrandmeyer.com

0

1

6

Bertrand Meyer

@Bertrand_Meyer

9 months

« The epoch-making discovery of modern dictatorships is the invention of the loud lie, based on the psychologically correct assumption that people will believe a shout when they doubt speech. » Joseph Roth, 1934.

0

4

6

Bertrand Meyer

@Bertrand_Meyer

2 years

@Grady_Booch Very sad news indeed. I just wrote a short article on him in the CACM blog:

0

2

5

Bertrand Meyer

@Bertrand_Meyer

6 years

Just call me "Your Highness" -

0

5

Bertrand Meyer

@Bertrand_Meyer

1 year

At least it is not telling me (hi @JBezivin ) that I am dead. 2/2

0

1

5

Bertrand Meyer

@Bertrand_Meyer

11 years

The ABC of software engineering: classifying the criticality of software projects http://t.co/RF4g4WUJgN

1

9

5

Bertrand Meyer

@Bertrand_Meyer

2 years

From a font of wisdom, Sam Bankman-Fried, : “I would never read a book. I don’t want to say no book is ever worth reading, but I actually do believe something pretty close to that. …” 1/2

Opinion | Sam Bankman-Fried doesn’t read. That tells us everything.

This means-to-an-end worldview may be the key to understanding SBF’s career.

www.washingtonpost.com

2

0

5