Click here to Skip to main content
15,889,909 members

Welcome to the Lounge

   

For discussing anything related to a software developer's life but is not for programming questions. Got a programming question?

The Lounge is rated Safe For Work. If you're about to post something inappropriate for a shared office environment, then don't post it. No ads, no abuse, and no programming questions. Trolling, (political, climate, religious or whatever) will result in your account being removed.

 
GeneralRe: Formal Software Engineering? Pin
Fernando Takeshi Sato3-Feb-17 6:19
professionalFernando Takeshi Sato3-Feb-17 6:19 
GeneralRe: Formal Software Engineering? Pin
Gerry Schmitz3-Feb-17 9:14
mveGerry Schmitz3-Feb-17 9:14 
GeneralRe: Formal Software Engineering? Pin
kdmote6-Feb-17 7:13
kdmote6-Feb-17 7:13 
GeneralRe: Formal Software Engineering? Pin
Gerry Schmitz6-Feb-17 7:44
mveGerry Schmitz6-Feb-17 7:44 
GeneralRe: Formal Software Engineering? Pin
Stuart Dootson3-Feb-17 9:41
professionalStuart Dootson3-Feb-17 9:41 
GeneralRe: Formal Software Engineering? Pin
David MacLean4-Feb-17 18:11
professionalDavid MacLean4-Feb-17 18:11 
GeneralRe: Formal Software Engineering? Pin
SchweizerGarde5-Feb-17 23:09
professionalSchweizerGarde5-Feb-17 23:09 
GeneralRe: Formal Software Engineering? Pin
AndrewDavie6-Feb-17 0:51
AndrewDavie6-Feb-17 0:51 
Sure. In government or military contracts.
Mostly what we produce is a _huge_ pile of documentation showing how no taxpayers money was wasted (not including producing said huge pile of documentation).
The unstated aim is to move money from the public sector into the private. An actual working product at the end is pretty much an afterthought. Or if it's a working product, then it's not what the users want - rather what the users bosses they _said_ they wanted several years ago, which leads to the next contract.

That's not to say formal specs don't have their place. Many medical devices will have formal specs due to the risk that lives could be lost if there's a serious bug.
GeneralRe: Formal Software Engineering? Pin
kdmote6-Feb-17 7:23
kdmote6-Feb-17 7:23 
GeneralTWCP OTD (The Who Cares Puzzle Of The Day) - 2st of February, 2017 Pin
Kornfeld Eliyahu Peter2-Feb-17 5:34
professionalKornfeld Eliyahu Peter2-Feb-17 5:34 
GeneralRe: TWCP OTD (The Who Cares Puzzle Of The Day) - 2st of February, 2017 Pin
W Balboos, GHB2-Feb-17 5:46
W Balboos, GHB2-Feb-17 5:46 
GeneralRe: TWCP OTD (The Who Cares Puzzle Of The Day) - 2st of February, 2017 Pin
Kornfeld Eliyahu Peter2-Feb-17 5:51
professionalKornfeld Eliyahu Peter2-Feb-17 5:51 
GeneralRe: TWCP OTD (The Who Cares Puzzle Of The Day) - 2st of February, 2017 Pin
OriginalGriff2-Feb-17 5:52
mveOriginalGriff2-Feb-17 5:52 
GeneralRe: TWCP OTD (The Who Cares Puzzle Of The Day) - 2st of February, 2017 Pin
ZurdoDev2-Feb-17 5:54
professionalZurdoDev2-Feb-17 5:54 
GeneralRe: TWCP OTD (The Who Cares Puzzle Of The Day) - 2st of February, 2017 Pin
Kornfeld Eliyahu Peter2-Feb-17 5:54
professionalKornfeld Eliyahu Peter2-Feb-17 5:54 
GeneralRe: TWCP OTD (The Who Cares Puzzle Of The Day) - 2st of February, 2017 Pin
Frank Malcolm3-Feb-17 15:45
Frank Malcolm3-Feb-17 15:45 
GeneralRe: TWCP OTD (The Who Cares Puzzle Of The Day) - 2st of February, 2017 Pin
OriginalGriff2-Feb-17 5:51
mveOriginalGriff2-Feb-17 5:51 
GeneralRe: TWCP OTD (The Who Cares Puzzle Of The Day) - 2st of February, 2017 Pin
Kornfeld Eliyahu Peter2-Feb-17 5:55
professionalKornfeld Eliyahu Peter2-Feb-17 5:55 
GeneralRe: TWCP OTD (The Who Cares Puzzle Of The Day) - 2st of February, 2017 Pin
W Balboos, GHB2-Feb-17 5:57
W Balboos, GHB2-Feb-17 5:57 
GeneralRe: TWCP OTD (The Who Cares Puzzle Of The Day) - 2st of February, 2017 Pin
Kornfeld Eliyahu Peter2-Feb-17 5:59
professionalKornfeld Eliyahu Peter2-Feb-17 5:59 
GeneralRe: TWCP OTD (The Who Cares Puzzle Of The Day) - 2st of February, 2017 Pin
W Balboos, GHB2-Feb-17 6:03
W Balboos, GHB2-Feb-17 6:03 
GeneralRe: TWCP OTD (The Who Cares Puzzle Of The Day) - 2st of February, 2017 Pin
Richard Deeming2-Feb-17 5:53
mveRichard Deeming2-Feb-17 5:53 
GeneralRe: TWCP OTD (The Who Cares Puzzle Of The Day) - 2st of February, 2017 Pin
W Balboos, GHB2-Feb-17 5:55
W Balboos, GHB2-Feb-17 5:55 
GeneralRe: TWCP OTD (The Who Cares Puzzle Of The Day) - 2st of February, 2017 Pin
PeejayAdams2-Feb-17 5:55
PeejayAdams2-Feb-17 5:55 
GeneralRe: TWCP OTD (The Who Cares Puzzle Of The Day) - 2st of February, 2017 Pin
Richard Deeming2-Feb-17 5:59
mveRichard Deeming2-Feb-17 5:59 

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.