SIL

Software Introspection Lab

Zenet

by: jkmahal
Posted: Jan.01.2010
Category: EIS SIL zenet
Comments:
Short Description: 
A project to model and verify emergent software throughout the development process. For game designers, Zenet lets you specify negative game experiences and repair them if they occur.

Overview

Zenet is a project to model and verify emergent software throughout the development process. A monitor watches instrumented software as it runs and offer programmers the ability to specify repairs of the software should the software specification ever be violated. It's like specifying exception handling for a system's design. For game designers, Zenet lets you specify negative game experiences and repair them if they occur. A complete implementation of the Zenet architecture was done in a project named Lakitu.

Biblio Tags (Pages and Projects): 
Groups and Channels: