Destination maps are navigational aids designed to show anyone within a region how to reach a location (the destination). Handdesigned destination maps include only the most impor...
Johannes Kopf, Maneesh Agrawala, David Bargeron, D...
Model-driven engineering is a promising approach, but there are still many hurdles to overcome. The tool UWE4JSF solves the hurdles for the model-driven development of web applicat...
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...