Month: July 2017


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 »



Klocwork HIS Metrics Report Tool


The Hersteller initiative Software (HIS) Source Code Metrics – or just HIS Metrics (HIS Metriken) for short – were devised by five working groups from the German automotive manufacturer’s (including Audi, BMW, DaimlerChrysler, Porsche and Volkswagen) with the goal to produce an agreed set of standards for various software development tasks within their industry. HIS Metric reports and… Read more »



Klocwork HIS Metrics Ruleset 1.3.1


The Hersteller initiative Software (HIS) Source Code Metrics – or just HIS Metrics (HIS Metriken) for short – were devised by five working groups from the German automotive manufacturer’s (including Audi, BMW, DaimlerChrysler, Porsche and Volkswagen) with the goal to produce an agreed set of standards for various software development tasks within their industry. HIS Metric reports and compliance… Read more »



Requirements Verification in Microsoft Word


So, as so often is the case, your initial project ideas and notes have morphed into a formal requirements document in Microsoft Word, and now you need to make that something concise, consistent and unambiguous, in preparation for a more formal process henceforth. Requirements verification is what you need, and Semios can help! Semios installs… Read more »