Beefy Boxes and Bandwidth Generously Provided by pair Networks
XP is just a number

Re: Software Design Resources

by cleverett (Friar)
on Aug 22, 2003 at 06:26 UTC ( #285691=note: print w/replies, xml ) Need Help??

in reply to Software Design Resources

Go work for someone like Rockwell Collins doing avionics software. Mostly what they do is test, test, test, and at the end of a long day of testing, they test some more. I know, because some of my best buddies scored jobs there, and now they do Ada in front of green screens.

I suppose that's one way to make a living.

Proving programs correct most probably sucks for anything non-trivial. What are you going to prove? That it follows the specs? Broken as designed would devolve to "proven worthless". So it comes back to writing good specs. Good bedside material.

Finally, don't sell metaphors short ... metaphors are a well tested mechanism for transmitting knowledge between human beings.

Log In?

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://285691]
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others musing on the Monastery: (3)
As of 2021-06-14 05:40 GMT
Find Nodes?
    Voting Booth?
    What does the "s" stand for in "perls"? (Whence perls)

    Results (60 votes). Check out past polls.