IDE

The CBS IDE (developed in 2017) is an integrated development environment for component-based semantics.