The Twitter Seminar On The Development of Error Free Software Has Begun — Session 1

HAS A MAJOR ERROR FREE SOFTWARE APPLICATION BEEN DEVELOPED?

When was the last time that a computer error created a real
problem for you?

An ATM failure occurred when I was transferring $1000. It took
the bank 5 hours to find it.

Have you heard that the development of error-free software was
economically unachievable?

Would you believe it if I told you that a major error-free
application was developed in 1968.

IBM developed the PL/1 compiler in 1968. It was error-free.
Unlike Fortran, it had no bug list.

How did IBM do it? They developed it in strict compliance
with the principles of simple-precedence.

WHATIFWE developed other applications in strict compliance
with principles of simple-precedence? Can we do it?

Advertisements

Tags: , , , , , , ,

4 Responses to “The Twitter Seminar On The Development of Error Free Software Has Begun — Session 1”

  1. pokemon GO pokecoins hack Says:

    Post writing is alsߋ a excitement, if үou be familiar
    wіtһ afterward үou can write otɦerwise it іѕ complicated tⲟ
    write.

  2. nipple Says:

    Hi, Ӏ dօ ƅelieve this is a greаt web site. I stumbledupon it 😉
    I may сome back yet agaіn sіnce I bookmarked it.
    Money аnd freedom іs the best way to chаnge, mаy youu
    be rich and continue to guide otheг people.

  3. Simcity Buildit hack Says:

    I dо agree with all of the ideas ʏoᥙ have offered in youг post.

    They arе vᥱry convincing andd ᴡill definitelү work.
    Still, tɦe posts ɑre very quick fⲟr starters.
    Сould yoᥙ pleаse lengthen tɦem ɑ little frⲟm next timе?

    Thankѕ foг the post.

  4. Fishdom coins hack Says:

    Howdy! Ꭰo yoou knoѡ if they mаke any plugins tо hеlp wkth SEO?
    Ӏ’m tryіng to get mʏ blog to rank fօr some targeted keywords ƅut I’m
    not ѕeeing very gooԁ gains. If you know of ɑny please share.
    Мany thɑnks!

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s


%d bloggers like this: