New Search

If you are not happy with the results below please do another search

5 search results for:

1

Start Increasing Your Software Productivity: Model Driven Technologies, The State Pattern, and Dezyne

The state pattern provides software designers with an implementation of state machine such that states and transitions are separated from the actual actions performed by a component. Dezyne is an environment supporting formal verification and code generation for the design of complex interactions between state machines. In this paper, we show a systematic approach to […]

2

Softwareport: the three musketeers of a Model Driven Integrated Solution

Softwareport provides a software development platform that combines high-level control, embedded software and virtual prototyping into one integrative solution. The Softwareport is a joint venture of three software companies – Cordis, Festa Solutions and Unit040 – that uses a Model Driven Engineering approach, saving time, costs and programming headaches. Combining high-level and low-level control logic […]

3

Smooth adoption of Verum’s Dezyne to model software for a service tool

Dezyne is a software development tool developed by Verum, based on a Model Driven Engineering approach. Dezyne is primarily used for designing complex software systems. Due to its built-in formal verification capability, Dezyne is especially suited for safety critical systems used in aerospace, automotive, chip manufacturing and the medical industry. Companies using Dezyne have reduced […]

4

Using Cordis Suite to Design Control Logic

Cordis Suite is a practical toolset that enables you to design software according to the principles of Model-Driven Engineering. Cordis Suite is suited mainly for control logic, i.e., software used to drive moving (‘mechatronic’) systems. This includes software for high-tech machines such as medical equipment or 3D printers, along with infrastructural systems such as bridges […]

5

ICT and ASML team up to bring software support services to the next level

Around 2013, ASML ran into a problem familiar to many fast-growing high tech companies. With its technology growing increasingly complex, its software engineers were fully focused on product development while spending less time on the process behind it all. But outsourcing process support was unsatisfactory – until ASML’s Stefan de Hoog and Ad van Dongen […]