KBSE
1994
IEEE
13 years 8 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
KBSE
1994
IEEE
13 years 8 months ago
1994
IEEE
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 ...
KBSE
1994
IEEE
13 years 8 months ago
1994
IEEE
KBSE
1994
IEEE
13 years 8 months ago
1994
IEEE
The User Interface Design Assistant (UIDA) addresses the specific design problems of style and integration consistencythroughout the user interface developmentprocess and aids in t...