3,544 reputation
819
bio website
location
age
visits member for 3 years, 4 months
seen 8 hours ago

Sep
7
answered What's the list of how to precisely talk about problems in C++ code within the spec?
Aug
24
answered Solving a probabilistic problem
Aug
23
answered Why does void in C mean not void?
Jun
13
answered Public versus private inheritance when some of the parent's methods need to be exposed?
Jun
2
answered Theoretically bug-free programs
May
12
answered Identify this programming style
May
12
answered The deference between Computer science and Computer information system?
Feb
28
answered Trouble understanding the COCOMO model
Jan
21
answered When do rounding problems become a real problem? Is the least significant digit being one off really a big deal?
Jan
19
answered What is dispatch? Does it imply dynamic resolution?
Oct
5
answered What code lays behind C++ exception?
Sep
27
answered Can compilers check whether certain axioms hold for a user defined type?
May
17
answered Ensuring that headers are explicitly included in CPP file
Feb
13
answered Detecting misusage of delete[] vs. delete at compile time
Jan
25
answered Branch vs decision coverage question
Jan
12
answered What are the pros and cons of Inter process communication done via sockets vs shared memory?
Dec
4
answered how to properly credit authors of MIT license program
Nov
26
answered Where does the term “Front End” come from?
Nov
3
answered Does NASA license the software that it develops?
Oct
30
answered How to apply verification and validation on the following example