University of Minnesota
Software Engineering Center

You are here

Eric Johnson

Recent Publications

Composable Language Extensions for Computational Geometry: a Case Study

In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a modeling language well-suited for the system under development and appropriate tool support are of utmost importance to practitioners. Considering the diverse needs of different application domains, flexibility in the choice of modeling languages and tools may advance the industrial acceptance of formal methods.