We are happy to announce that we will be present at the conference FORMS/FORMAT in Braunschweig, both with a paper (and presentation) and a tool exhibition. The paper is entitled “A Systems Engineering Tool Chain Based on Eclipse and Rodin”. We’d be delighted to see you there. Would you like to get regular updates…
We are happy to announce that we will be present at the conference FORMS/FORMAT in Braunschweig, both with a paper (and presentation) and a tool exhibition. The paper is entitled “A Systems Engineering Tool Chain Based on Eclipse and Rodin”.
We’d be delighted to see you there.
Would you like to get regular updates from us, regarding relevant information about the industrial use of requirements and formal methods? Then we invite you to subsribe to our newsletter.
ProB 1.3.3 and ProB for Rodin 2.1 is available. Highlights: improved performance, constrained-based deadlock checking, record detection, and many more. Find out more on the ProB pages.
In this interview, Joe Justice explains Agile Hardware and, with Michael Jastram, traces its overlap with Product Velocity.
There are many ways on how to do Model Based Systems Engineering (MBSE) wrong. One of the problems is what I call Ivory Tower Modeling.
Today is Blog Action Day. It’s a day for spreading awareness of human rights, or the lack thereof, in the world. As a corporation, we have to be concerned with being profitable. Nevertheless, our roots are in academica, and our products are based on open source. Thus, we have a strong culture of sharing. We…
After laying the foundation for requirements modeling during the last three articles, we will finally look at actual requirements, and how to model them. In particular, this article discusses textual requirements. At a later point, we’ll look at non-textual requirements (e.g. use case modeling). Templates: Requirements Modeling for Beginners A surprisingly simply method for modeling…
There is no question that a transformation is taking place in product development: New technologies are making new products possible, and are changing the way how we think about existing products, like cars. But what are the trends driving this transformation? This article outlines six trends, based on the keynote of Jean-Marc Chery (STMicroelectronics) at…
