Category: Blog


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 »



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 »