Eclipse Requirements Modeling Framework

Earlier this year, we launched a survey, asking how we could improve this blog. After shuffling through the answers, we decided to keep this blog as is, but to launch an additional, second blog. We are proud to announce: The Systems Engineering ... [More] Trend Blog can be found at http://se-trends.de. What is this blog about? It is in German, as we realize that a lot of our readers (and customers) reside in Germany It is generally commerce-free: In the Formal Mind Blog (what you are reading right now), we often talk about our products and services. SE-Trends is focused on independent knowledge transfer. It is social: Content is cross-posted on various social networks, and you can easily share content. Of course, you can also comment directly (without requiring login). It appears weekly: We publish new content every week. If you prefer delivery via newsletter, you can choose between weekly and monthly delivery. Bonus: If you sign up for the SE-Trends newsletter today, you will receive a copy of the Eclipse Magazin-Article "Entwicklung mit System", which was published earlier this year. Of course you can unsubscribe anytime. And last, if you have ideas on how SE-Trends could be improved, let us know. In particular, for social sharing, we focused on professional networks (namely LinkedIn, Xing, Google Plus and Twitter). Should we also include personal networks (like Facebook or WhatsApp)? We look forward to your feedback.   [Less]

Earlier this year, we launched a survey, asking how we could improve this blog. After shuffling through the answers, we decided to keep this blog as is, but to launch an additional, second blog. We are proud to announce: System Engineering Trends The ... [More] Systems Engineering Trend Blog […] The post New Blog launched: Systems Engineering Trends appeared first on Formal Mind GmbH. [Less]

Update: SE-Trends is now a huge success in Germany. It has been running for over two years now, accumulating over 100 articles. There are also many discussions taking place. Therefore, we invite you to either have a look (if you speak German), or to visit it via Read the full article: New Blog launched: Systems Engineering Trends

Earlier this year, we launched a survey, asking how we could improve this blog. After shuffling through the answers, we decided to keep this blog as is, but to launch an additional, second blog. We are proud to announce: System Engineering Trends The ... [More] Systems Engineering Trend Blog The post New Blog launched: Systems Engineering Trends appeared first on Formal Mind GmbH. [Less]

tweet share share share share flattr Earlier this year, we launched a survey, asking how we could improve this blog. After shuffling through the answers, we decided to keep this blog as is, but to launch an additional, second blog. We are proud to ... [More] announce: System Engineering Trends The Systems Engineering Trend Blog […] The post New Blog launched: Systems Engineering Trends appeared first on Formal Mind GmbH. [Less]

Earlier this year, we launched a survey, asking how we could improve this blog. After shuffling through the answers, we decided to keep this blog as is, but to launch an additional, second blog. We are proud to announce: System Engineering Trends The ... [More] Systems Engineering Trend Blog […] The post New Blog launched: Systems Engineering Trends appeared first on Formal Mind GmbH. [Less]

The first exchange of requirements using the Requirements Interchange Format (ReqIF) can be frustrating: There are many tools out there, and there are still some interoperability issues.  If a tool refuses to process a ReqIF file, where lies the ... [More] problem? To answer this question, we developed a new, free tool: Consequent, the validation tool for ReqIF files. Read more about it below. Formal Mind at EclipseCon and TdSE But first, let us remind you of two upcoming events next week and the week thereafter. Dr. Michael Jastram will talk about the use of ReqIF in the rail industry: November 3, 2015 - 15:45: "openETCS - Eclipse in the Rail Domain" at EclipseCon Europe (English) November 12, 2015 - 14:30: "Solide Anforderungen dank ReqIF im europäischen Schienenverkehr" at TdSE (German) If you would like to meet at one of these conferences, please drop us a note. Binom Beta-Test starting soon In mid November, we will release a beta-version of Binom, which is the name of the new ReqIF compare component. Once released, Binom will not be free of charge. Join the Binom Beta Test >> Consequent Requirements Validation Our new component Consequent is completely free and built right into formalmind Studio. Just right-click on a ReqIF file in the Project Explorer and select Validate | Consequent ReqIF Validation. You will get a list of all issues in the Problem View.  Further, you can see the problems right in the XML, as shown here: Consequent validates ReqIF files according to a number of criteria, which include: Violations of the ReqIF specification Validation of the ReqIF and XHTML schemas Checking whether embedded objects exist Validation of Links across files (command line version only) Violations of the ProStep Implementor Guide The resulting issues are classified as errors or warnings, depending on whether they represent actual problems, or just violations of best practices. Of course, you can disable individual validation rules. Detailed instructions on usage, as well as the command line version, can be found at the Consequent Page at Formal Mind >> Acknowledgement We would like to thank the ProStep ReqIF Implementor Forum, an industry group concerned with the interoperability of ReqIF tools, which financed this functionality. We hope that you find Consequent useful. Image courtesy of Stuart Miles / FreeDigitalPhotos.net [Less]

The first exchange of requirements using the Requirements Interchange Format (ReqIF) can be frustrating: There are many tools out there, and there are still some interoperability issues.  If a tool refuses to process a ReqIF file, where lies the ... [More] problem? To answer this question, we developed a new, free tool: Consequent, the validation tool for ReqIF files. Read more about it below. Formal Mind at EclipseCon and TdSE But first, let us remind you of two upcoming events next week and the week thereafter. Dr. Michael Jastram will talk about the use of ReqIF in the rail industry: November 3, 2015 - 15:45: "openETCS - Eclipse in the Rail Domain" at EclipseCon Europe (English) November 12, 2015 - 14:30: "Solide Anforderungen dank ReqIF im europäischen Schienenverkehr" at TdSE (German) If you would like to meet at one of these conferences, please drop us a note. Binom Beta-Test starting soon In mid November, we will release a beta-version of Binom, which is the name of the new ReqIF compare component. Once released, Binom will not be free of charge. Join the Binom Beta Test >> Consequent Requirements Validation Our new component Consequent is completely free and built right into formalmind Studio. Just right-click on a ReqIF file in the Project Explorer and select Validate | Consequent ReqIF Validation. You will get a list of all issues in the Problem View.  Further, you can see the problems right in the XML, as shown here: Consequent validates ReqIF files according to a number of criteria, which include: Violations of the ReqIF specification Validation of the ReqIF and XHTML schemas Checking whether embedded objects exist Validation of Links across files (command line version only) Violations of the ProStep Implementor Guide The resulting issues are classified as errors or warnings, depending on whether they represent actual problems, or just violations of best practices. Of course, you can disable individual validation rules. Detailed instructions on usage, as well as the command line version, can be found at the Consequent Page at Formal Mind >> Acknowledgement We would like to thank the ProStep ReqIF Implementor Forum, an industry group concerned with the interoperability of ReqIF tools, which financed this functionality. We hope that you find Consequent useful. Image courtesy of Stuart Miles / FreeDigitalPhotos.net [Less]

tweet share share share share flattr The first exchange of requirements using the Requirements Interchange Format (ReqIF) can be frustrating: There are many tools out there, and there are still some interoperability issues.  If a tool refuses to ... [More] process a ReqIF file, where lies the problem? To answer this question, we developed a […] The post Consequent, the ReqIF Validator appeared first on Formal Mind GmbH. [Less]

The first exchange of requirements using the Requirements Interchange Format (ReqIF) can be frustrating: There are many tools out there, and there are still some interoperability issues.  If a tool refuses to process a ReqIF file, where lies the ... [More] problem? To answer this question, we developed a […] The post Consequent, the ReqIF Validator appeared first on Formal Mind GmbH. [Less]