Background: MASTERMIND

• DARPA HCI Program

• Automatic generation of user interfaces from models

• Multi-paradigm component assembly

• Correctness via model checking

• Run-time and design-time critics

Previous slide

Next slide

Back to first slide

View graphic version