Nah, think of it like functions. TimeToDevelop(Goko) = 2*TimeToDevelop(Any other software company). Though, Goko had their releases out far more promptly than MF has gotten out Adventures.
...I'm mostly posting in this thread to express my continued disappointment about Adventures not yet being released. I'm busy almost all of next week, so I'm REALLY hoping it comes out before this weekend.
I probably wrote it wrong (though I don't see how I did), but this was what I intended. Basically, it's a mathematical statement proving it takes Goko twice as long to develop something as any other developer.
That mathematical statement doesnt make a lot of sense if you say X is a company and T is time, since youre multiplying a company unit with a time unit then. Since adventures is still not out im gonna post your intended statement in a more mathematically correct way
Definition (Software development process)
Let X be a software development company and p a project worked on by that company. We then write (X_{p,t}) for the Stochastic process describing the percentual completion of project p at time t, where t is on the nonnegative real number axis. The process (X_{p,t}) fulfills the following properties:
0 <= X_{p,t} <= 1 P-almost sure
X_{p,0} = 0 P-almost sure
X_{p,T} = 1 P-almost sure
For the completion time T which is a random variable.
You can then write
Theorem (MF software project completion Theorem)
Let X be MF and p the dominion online Implementation with the associated completion time T_{X,P}. Let Y be any other software development company and T_{Y,p} the associated completion time. It then holds that T_{X,p} = 2*T_{Y,p} P-almost sure.
ProofThe proof is left as an exercise to the reader.