Research Funding:
Designing the Undesignable
Support provided by National Science Foundation
Description
0613162 Steven P. Reiss Brown University Designing the Undesignable Software design involves designing the undesignable. It differs from other forms of design in that software design is expected to meet a set of constraints that changes dynamically and faster than the software can adapt. Moreover, future trends in software development will force developers to design systems that are out of their control. This research investigates whether a component model that includes the semantics of a component as part of its interface can address these problems of software design. Semantics is used here in the broad sense to include the functionality of the component, security and privacy constraints imposed on or by the component, a recovery model, and an economic model for choosing components. The research involves exploring ways of defining and checking such semantic specifications against component implementations and the use of such specifications as a new design metaphor. If successful, this approach promises to let developers control software design and get a handle on many of the problems that plague the evolution of modern software.
Principal Investigator
Projects Supported
Details
| Amount: | 224093 |
| Dates: | 8/15/2006-7/31/2008 |
| Status: | Active |
|
Page Owner: ldr
|
Last Modified: Wed Aug 30 20:36:26 2006
|