Formal Verification of Statechart Networks

Imagine you have developed a spacecraft that is super-safe, because following the trends, you have applied model-based design and testing. All components modeled by statecharts, tested, implemented by automatically generated code, what can go wrong? Then on the day of launch, the whole thing explodes in a spectacular fireball. The cause? Interactions. The cure? Formal verification. Read more >

Xtext editors for binary files

 What does "4 + 1" mean? Well, for example itemis employees have been developing a Java bytecode editor with Xtext. This editor allows the contents of .class files to be made visible and editable. In the first part of this article I explained how the JBC editor is used. In this second part I want to discuss the technical problems that arise when you want to make a binary file editable with an Xtext-based editor.  Read more >

YAKINDU Statechart Tools and HYPED meet Hyperloop

Hyperloop is Elon Musk’s (CEO of Tesla and SpaceX) concept for the future of mass transportation. It offers a new means of transporting people and goods quickly, safely, efficiently, and with minimised environmental impact. Read more >

What's new in Xtext and Xtend 2.14: The journey of Tina Toolsmith

Tina Toolsmith is one of those typical developers. She loves to code in the office, on the train, during a long flight or even while sitting on her sunny terrace during her vacation. Tina takes great pleasure in using the latest programming languages, frameworks, and IDEs for manufacturing innovative solutions. Essential parts of her toolbox are Xtext and Xtend which she uses to tailor domain-specific languages for a wide variety of usage scenarios. Read more >

Introducing YAKINDU Model Viewer 1.3.6

YAKINDU Model Viewer is now released in version 1.3.6. In the last two months we worked on better visualizations of certain block types and fixed an armada of bugs as you can see below. Read more >

What are (good) user stories?

In an earlier blog post I described how I apply user story mapping in release planning. In this post I want to go back to the beginning, or at least far enough back to explain what I think makes a good user story. But let’s start at the beginning – what is a user story anyway? Read more >

4+1 = CAFEBABE: Java Bytecode in Eclipse

What might itemis staff do on their project-free 4 + 1 day? They continue their education, often by working on their own ideas; I would like to introduce just such a project today. The goal was to build familiarity with Xtext and Xtend. The result is a Java Byte Code (JBC) Editor based on these technologies.   Read more >

Pro Tip: Implementing JUnit Test Cases in Xtend

  What makes a clean test? Three things. Readability, readability, and readability. Readability is perhaps even more important in unit tests than it is in production code. What makes tests readable? The same thing that makes all code readable: clarity, simplicity, and density of expression. Read more >

Xtext 2.14 released!

The Xtext team proudly announces the availability of the 2.14 release. While the previous releases have focused on performance and internal improvements this release comes with a bunch of new features that will ease your life and make your DSLs even more valuable. We encourage to update to this release. Xtext 2.14 will also be part of the upcoming Eclipse Photon release scheduled for June 27. Read more >

New File Wizard – easy to generate with Xtext 2.14

We have already shown on our blog how to generate a new project wizard with Xtext 2.14. Now it's also possible to create a comparable wizard, also based on templates, for creating DSL files in existing projects. Read more >

COMMENTS

Popular posts