Viewing profile — Tempacc78534
Tempacc78534
HN member- Joined
- Tue, Jan 22, 2019, 2:35 AM UTC
- HN karma
- 21
- Public activity
- 5 items
- HN profile
- View on Hacker News ↗
About Tempacc78534
No profile information was provided.
Recent public activity
-
comment
Comment #18965899
It would way cheaper for them to verify their code than to probably follow these standards but bureaucracies are bureaucracies. Also, a little nitpicking in your write up but you s…
-
comment
Comment #18965848
Not True. Agile Dev (according to me) means you are trying to specify what the customer want as you develop your code and not specify it right in the beginning. You can make change…
-
comment
Comment #18965739
It's a cost benefit analysis, if the failure costs you more than verifying it then you will verify it. Since cost of verification is currently high, if you are not losing millions …
-
comment
Comment #18965647
You are right in general where the cost of failing is not that high, but consider software on flights, a pacemaker or (the best example everyone in FM quotes) a space mission. The …
-
comment
Comment #18965586
The solution is to write partial specs. For example, if your client wants a piece of code which doesn't crash and sends a message over the network. You can write 2 partial specs i.…