AMAST
1995
Springer
13 years 11 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
AMAST
1995
Springer
13 years 11 months ago
1995
Springer
: We present the Orlog deductive object-oriented database system prototype. The implementation of the system relies on the idea of reducing inheritance to deduction and giving a re...
AMAST
1995
Springer
13 years 11 months ago
1995
Springer
AADEBUG
1995
Springer
13 years 11 months ago
1995
Springer
AADEBUG
1995
Springer
13 years 11 months ago
1995
Springer
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...
AADEBUG
1995
Springer
13 years 11 months ago
1995
Springer
Novice programmers often find programming to be a difficult and frustrating task. Because of their lack of experience in programming novices have different needs to experts when i...
PROFES
2000
Springer
13 years 11 months ago
2000
Springer
Building common ontologies, setting up measurement programs, and conducting interviews are valid techniques to start eliciting knowledge and experience for later reuse. However, th...
PROFES
2000
Springer
13 years 11 months ago
2000
Springer
This paper proposes a model of successful maintenance that can represent how maintainability of each software module changes as it ages. We found that some of the metrics, measured...
PEPM
2000
ACM
13 years 11 months ago
2000
ACM