MIC

Model Integrated Computing

CAPE: Courseware Authoring and Packaging Environment

CAPE is an authoring environment for adaptive online learning based on the model-integrated computing paradigm. CAPE supports a domain-specific modeling language for representing the design of online learning experiences and the various ways that they can respond to individual learners as the experiences unfold.  CAPE is companioned with a web-based learning platform called eLMS that supports delivery of the adaptive courseware to learners.

Model-Integrated Computing Tools for Exploration Systems

MIC Tools for Exploration Systems (MICTES)

PI: Gabor Karsai

Sponsor: NASA

Producible Adaptive Model-based Software

Producible Adaptive Model-based Software

PI: Gabor Karsai

Sponsor: DARPA

This project aims at introducing adaptivity in model-based software development, at different time scales: at design-time, load-time, and run-time. The project is supported by DARPA, and the prime contactor is BAE Systems. (2007-)

GME: The Generic Modeling Environment

The Generic Modeling Environment is a configurable toolkit for creating domain-specific modeling and program synthesis environments. The configuration is accomplished through metamodels specifying the modeling paradigm (modeling language) of the application domain.