Click here to Skip to main content
15,894,460 members

The Insider News

   

The Insider News is for breaking IT and Software development news. Post your news, your alerts and your inside scoops. This is an IT news-only forum - all off-topic, non-news posts will be removed. If you wish to ask a programming question please post it here.

Get The Daily Insider direct to your mailbox every day. Subscribe now!

 
GeneralRe: Facebook, Google, Twitter unite to attack 'snoopers' charter' Pin
Daniel Pfeffer9-Jan-16 9:51
professionalDaniel Pfeffer9-Jan-16 9:51 
GeneralRe: Facebook, Google, Twitter unite to attack 'snoopers' charter' Pin
Mycroft Holmes9-Jan-16 13:58
professionalMycroft Holmes9-Jan-16 13:58 
GeneralRe: Facebook, Google, Twitter unite to attack 'snoopers' charter' Pin
Daniel Pfeffer9-Jan-16 19:45
professionalDaniel Pfeffer9-Jan-16 19:45 
NewsComputer scientists launch campaign to guarantee bug-free software Pin
Kent Sharkey7-Jan-16 9:40
staffKent Sharkey7-Jan-16 9:40 
GeneralRe: Computer scientists launch campaign to guarantee bug-free software Pin
Kornfeld Eliyahu Peter7-Jan-16 9:44
professionalKornfeld Eliyahu Peter7-Jan-16 9:44 
GeneralRe: Computer scientists launch campaign to guarantee bug-free software Pin
Dave Kreskowiak7-Jan-16 9:44
mveDave Kreskowiak7-Jan-16 9:44 
GeneralRe: Computer scientists launch campaign to guarantee bug-free software Pin
TheGreatAndPowerfulOz7-Jan-16 10:02
TheGreatAndPowerfulOz7-Jan-16 10:02 
GeneralRe: Computer scientists launch campaign to guarantee bug-free software Pin
Dominic Burford7-Jan-16 21:15
professionalDominic Burford7-Jan-16 21:15 
Most (if not all) of the methods that they describe in the article are already being used. I remember going to a lecture many years ago by a software engineer who worked in the Ministry of Defence (in the UK) and the processes and methods that they employ are on a completely different playing field to anything else I have come across. They start from Z specifications where they mathematically prove their design works, then they move onto developing the software using these models to cross check their code. They test their code on the same hardware that will be used in production.

Where there is a real risk of fatalities from software failure, we have stringent processes and methods already. Every navigation system in an aeroplane, life support machine in a hospital or nuclear reactor goes through a similar process.

These processes are incredibly expensive and time consuming, and so are reserved for applications that truly demand them.

I don't think the intention should be to re-invent the wheel and propose new processes for ensuring high quality (as we already have them) but to reduce the costs that they impose so that they are accessible to a greater number of industries and domains.
"There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies. The first method is far more difficult." - C.A.R. Hoare

Home | LinkedIn | Google+ | Twitter

GeneralRe: Computer scientists launch campaign to guarantee bug-free software Pin
Vark1118-Jan-16 2:33
Vark1118-Jan-16 2:33 
GeneralRe: Computer scientists launch campaign to guarantee bug-free software Pin
Rob Grainger14-Jan-16 23:30
Rob Grainger14-Jan-16 23:30 
NewsFirefox ban on SHA-1 dropped after many locked out of HTTPS sites Pin
Kent Sharkey7-Jan-16 9:36
staffKent Sharkey7-Jan-16 9:36 
GeneralRe: Firefox ban on SHA-1 dropped after many locked out of HTTPS sites Pin
Mycroft Holmes7-Jan-16 21:28
professionalMycroft Holmes7-Jan-16 21:28 
GeneralRe: Firefox ban on SHA-1 dropped after many locked out of HTTPS sites Pin
ed welch8-Jan-16 9:06
ed welch8-Jan-16 9:06 
NewsRevealed! The crucial detail that Windows 10 privacy critics are missing Pin
Kent Sharkey7-Jan-16 8:33
staffKent Sharkey7-Jan-16 8:33 
GeneralRe: Revealed! The crucial detail that Windows 10 privacy critics are missing Pin
Rob Grainger7-Jan-16 8:46
Rob Grainger7-Jan-16 8:46 
GeneralRe: Revealed! The crucial detail that Windows 10 privacy critics are missing Pin
Kent Sharkey7-Jan-16 8:48
staffKent Sharkey7-Jan-16 8:48 
GeneralRe: Revealed! The crucial detail that Windows 10 privacy critics are missing Pin
ed welch8-Jan-16 11:51
ed welch8-Jan-16 11:51 
GeneralRe: Revealed! The crucial detail that Windows 10 privacy critics are missing Pin
Patrice T7-Jan-16 11:02
mvePatrice T7-Jan-16 11:02 
GeneralRe: Revealed! The crucial detail that Windows 10 privacy critics are missing Pin
Dan Neely8-Jan-16 3:05
Dan Neely8-Jan-16 3:05 
NewsMicrosoft Windows boss says Microsoft has won the PC battle but not the war Pin
Kent Sharkey7-Jan-16 8:32
staffKent Sharkey7-Jan-16 8:32 
GeneralRe: Microsoft Windows boss says Microsoft has won the PC battle but not the war Pin
Duncan Edwards Jones7-Jan-16 8:56
professionalDuncan Edwards Jones7-Jan-16 8:56 
NewsPostgreSQL 9.5 finally clears migration path from MySQL Pin
Kent Sharkey7-Jan-16 8:27
staffKent Sharkey7-Jan-16 8:27 
GeneralRe: PostgreSQL 9.5 finally clears migration path from MySQL Pin
Tim Carmichael7-Jan-16 8:37
Tim Carmichael7-Jan-16 8:37 
NewsScientists figured out a way to 'see' a black hole with just a backyard telescope Pin
Kent Sharkey6-Jan-16 12:50
staffKent Sharkey6-Jan-16 12:50 
GeneralRe: Scientists figured out a way to 'see' a black hole with just a backyard telescope Pin
DaveX866-Jan-16 13:26
DaveX866-Jan-16 13:26 

General General    News News    Suggestion Suggestion    Question Question    Bug Bug    Answer Answer    Joke Joke    Praise Praise    Rant Rant    Admin Admin   

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.