Dezyne is a model-driven software engineering tool that enables software engineers to specify, design, validate and formally verify software components for embedded, industrial & technical software systems.
Model Driven Development
Based on the Eclipse IDE, Dezyne provides a complete environment for specifying, designing, exploring, testing, generating and building model based software components. Engineers can easily understand, navigate through and communicate about their component models using a range of graphical representations, including state charts, event tables, system models and sequence charts. Dezyne integrates directly with conventional build environments and tools, enabling model verification, validation and code generation to be completely integrated with existing build processes.