Posts Tagged ‘Error Free Software Continues’

THE TWITTER SEMINAR ON THE DEVELOPMENT OF ERROR FREE SOFTWARE CONTINUES

October 8, 2014

The Twitter Seminar On The Development of Error Free Software Continues — Session 4

Are simple-precedence methods the only way to detect and
prevent errors? No, there are other ways.

To find these other ways, let us look at development of
military hardware, circa, 1980’s.

In a project that I worked on, the sailor needed to replace
no more than four circuit boards to fix the hardware.

Critical submarine hardware has the required subsystems
to facilitate the location of a failed replaceable components.

Would you believe it if I told you that software “breaks”?

Not really. but software fails when it illegally or incorrectly
writes some data.

Programmers have many ways of preventing illegal writes which
they use in checkout and then remove before delivery.

WHATIFWE used formal illegal write prevention code in delivered
software?

Advertisements

THE TWITTER SEMINAR ON THE DEVELOPMENT OF ERROR FREE SOFTWARE CONTINUES

May 27, 2014

The Twitter Seminar On The Development of Error Free Software Continues — Session 4

Are simple-precedence methods the only way to detect and
prevent errors? No, there are other ways.

To find these other ways, let us look at development of
military hardware, circa, 1980’s.

In a project that I worked on, the sailor needed to replace
no more than four circuit boards to fix the hardware.

Critical submarine hardware has the required subsystems
to facilitate the location of a failed replaceable components.

Would you believe it if I told you that software “breaks”?

Not really. but software fails when it illegally or incorrectly
writes some data.

Programmers have many ways of preventing illegal writes which
they use in checkout and then remove before delivery.

WHATIFWE used formal illegal write prevention code in delivered
software?