I used to work at a company, that was implementing a new strategy of “first time right.” If you plan to do everything right, there may be no margin for failure, and every time you get surprised by failure, you have to go into disaster recovery mode. […]
Outlook is in many ways like heaven: that’s where all good things go to die. I have tried many tools for organizing my mails in the past, but they always fail if they are too complicated. Let me guide you thru my no-method super-simple yet very effective approach to handle mails. […]
Presentation I’ll give right now! How to add time to Declare by translating to timed LTL and timed automata. Also how we can use this to give a priori advice concerning time, detect errors, and support planning. Edit: There’s a slight error in the timed automaton shown; it allows going Backstage, then Getting Drunk, letting […]