Author: Stephane Raynaud


SciTools Understand “Best Practices” Seminar


Please join us for 1 Hour Seminar to discuss advanced features in SciTools Understand solving common software developer headaches. It is Available every week (or on-demand for your team, online or on-site. Please contact us for more information). SciTools is an extensive tool and the number of available features can be overwhelming. In fact, Emenda… Read more »



The time you could fix that bug is gone!


Safety Critical Development best practices can help lower QA costs by proactively addressing complexity in the Design and Development Phases. click here to download a .pdf version of this paper. Should I read this paper? This paper is relevant if you manufacture systems with a software component, are not using formal modeling such as MATLAB,… Read more »



Formal Requirement vs User Story


Click here to download a .pdf version of this paper. In a recent article, I have argued that the ability to automatically validate and evaluate the “English” language in technical documents let us write better requirements, but also let us establish clear, concise, and most importantly, verifiable goals. This results directly in cost reductions in… Read more »



Technology Day: Ottawa ON, Canada on Dec 13th, 2016


Download the full program here (pdf) Applying Safety Critical Best-Practices to Every Day Code December 13th, 2016 – KANATA, ON, CANADA The seminar will be held in Kanata, ON (next to Ottawa) on Tuesday December 13th, 2016 with the following topics: Automatic Proofreading of English and French Requirements Writing requirements is hard. Get them wrong and… Read more »