Timeline for How to Create Mission Critical Software?
Current License: CC BY-SA 3.0
18 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 27, 2014 at 22:27 | answer | added | marcmagransdeabril | timeline score: 3 | |
| Sep 19, 2012 at 16:58 | answer | added | Markus | timeline score: 1 | |
| Sep 18, 2012 at 3:24 | answer | added | Pratik Deoghare | timeline score: 0 | |
| Sep 17, 2012 at 18:01 | history | tweeted | twitter.com/#!/StackCSTheory/status/247757145746067456 | ||
| Sep 16, 2012 at 21:09 | answer | added | Radu GRIGore | timeline score: 11 | |
| Sep 14, 2012 at 9:18 | answer | added | Ross Duncan | timeline score: 8 | |
| Sep 13, 2012 at 22:04 | review | First posts | |||
| Oct 12, 2012 at 8:13 | |||||
| Sep 12, 2012 at 18:16 | history | edited | Kaveh |
edited tags
|
|
| Sep 12, 2012 at 16:21 | comment | added | Radu GRIGore | @fajrian: I suspect that you say ‘specification’ for what I would call ‘model’. There are tools that work on programs written in languages like C or Java, or even machine code. (It is still a model, though, as they have to assume some semantics, which should, but may not, correspond to what the compiler/processor does.) | |
| Sep 12, 2012 at 15:27 | answer | added | vzn | timeline score: 7 | |
| Sep 12, 2012 at 14:36 | answer | added | Marzio De Biasi | timeline score: 6 | |
| Sep 12, 2012 at 14:14 | answer | added | user10690 | timeline score: 4 | |
| Sep 12, 2012 at 13:52 | comment | added | fajrian | @RaduGRIGore: Actually I don't understand what "model" is. But I think you address my question quite closely. Basically, what I am wondering is the gap between specification and the program source code. Many stupid things can happen when programmers (like me) are implementing the specification. | |
| Sep 12, 2012 at 13:19 | comment | added | Radu GRIGore | Correctness of a program usually means that (1) it is consistent with a specification and (2) it never crashes. Point (1) is really a statement about the pair (program, specification) rather than about the program in itself. A further complication is that ‘program’ is usually a shorthand for ‘model of a program’, because programs themselves are rather too complicated or do not have precise semantics. Given this, I think you are asking about the gap between a program and its model, but I'm not quite sure. | |
| Sep 12, 2012 at 13:18 | answer | added | gillesv | timeline score: -2 | |
| Sep 12, 2012 at 10:44 | comment | added | fajrian | @GiorgioCamerani : The first one | |
| Sep 12, 2012 at 9:57 | comment | added | Giorgio Camerani | What do you exactly mean with "...that the software is indeed correct..."? Which of the following 2 do you mean: 1) The software is adherent with the specification 2) Specific blocks of code respect some given property or some input - output relationship. | |
| Sep 12, 2012 at 8:11 | history | asked | fajrian | CC BY-SA 3.0 |