Corona: A Language for Describing Designs Narinder Singh

Corona is a prototype language for describing designs. The goal is to capture all the information created in the process of designing a component. The information about a design includes the specification of its structure and behavior. It is important to organize this knowledge hierarchically, similar to the way a designer does in refining a design incrementally. Also, we would like to capture the process of the design in addition to its specification.