AC
1993
Springer
14 years 2 days ago
1993
Springer
AADEBUG
1993
Springer
14 years 2 days ago
1993
Springer
Animation of execution is a necessary feature of source-level debuggers. We present a framework where animators are generated from existing algebraic speci cations of interpreters....
AADEBUG
1993
Springer
14 years 2 days ago
1993
Springer
AC
1994
Springer
14 years 2 days ago
1994
Springer
In this paper we present a simulation package developed to evaluate and optimize both the channel propagation losses and the multipath dispersion of the indoor optical channel. Th...
AADEBUG
1993
Springer
14 years 2 days ago
1993
Springer
Program slicing is a program transformation that is useful in program debugging, program maintenance, and other applications that involve understanding program behavior. Given a p...
AADEBUG
1993
Springer
14 years 2 days ago
1993
Springer
KBSE
1994
IEEE
14 years 2 days 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
14 years 2 days 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
14 years 2 days ago
1994
IEEE
KBSE
1994
IEEE
14 years 2 days 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...