A Specification of FILLIN Using the DARWIN Requirements Model

To be successful, the DARWIN project must be proven useful on useful systems. This paper presents a specification of such a system: FILLIN, a formfilling
user interface tool. 3 FILLIN is a nonvtrivial tool that has been used for some time by employees of the TRW Defense Systems Group. However, it is to be re - implemen1ed at UVA, with some changes to functionality and interface; as such it is an ideal candidate for a specification. The specification is considered a reasonable approximation of what one might expecl from DARWIN: both customer and designer models are used. with Varying degrees of formality. A concluding sectionisummarizes the experiment.
Note: Abstract extracted from PDF file via OCR

Wartik, Steven. "A Specification of FILLIN Using the DARWIN Requirements Model." University of Virginia Dept. of Computer Science Tech Report (1985).