IWPC
1997
IEEE
14 years 5 days ago
1997
IEEE
IWPC
1997
IEEE
14 years 5 days ago
1997
IEEE
System migration presents a myriad of challenges in software maintenance. The user interfaces of interactive systems can undergo significant change during migration. Program unde...
IWPC
1997
IEEE
14 years 5 days ago
1997
IEEE
Program understanding relates a computer program to the goals and requirements it is designed to accomplish. Understanding techniques that rely only on source code analysis are li...
IWPC
1997
IEEE
14 years 5 days ago
1997
IEEE
Many organisations are migrating towards object-oriented technology. However, owing to the business value of legacy software, new object-oriented development has to be weighed aga...
IWPC
1997
IEEE
14 years 5 days ago
1997
IEEE
Producing large software systems is an extremely challenging engineering task. The main reason is the difficulty of managing the enormous amounts of code and the great numbers of ...
WER
1998
Springer
14 years 5 days ago
1998
Springer
WER
1998
Springer
14 years 5 days ago
1998
Springer
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. I...
WER
1998
Springer
14 years 5 days ago
1998
Springer
WADT
1998
Springer
14 years 5 days ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
WADT
1998
Springer
14 years 5 days ago
1998
Springer
Abstract. Narrowing is a method for solving equations in the equational theories of term rewriting systems. Unification and rewriting, the central operations in narrowing, are ofte...