The User Interface Design Assistant (UIDA) addresses the specific design problems of style and integration consistencythroughout the user interface developmentprocess and aids in t...
Research in knowledge-based software engineering has led to advances in the ability to specify and automatically generate software. Advances in the support of upstream activities ...
Andreas Girgensohn, David F. Redmiles, Frank M. Sh...
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
Michael R. Lowry, Andrew Philpot, Thomas Pressburg...
: Software development includes gathering information about tasks, work practices and design options from users. Traditionally requirements gathering takes two forms. Interviews an...