Sciweavers

8623 search results - page 1298 / 1725
» Software engineering for secure systems
Sort
View
WCRE
1999
IEEE
15 years 12 months ago
Type-Check Elimination: Two Object-Oriented Reengineering Patterns
In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...
Stéphane Ducasse, Tamar Richner, Robb Nebbe
CODES
1998
IEEE
15 years 12 months ago
The construction of a retargetable simulator for an architecture template
Systems in the domain of high-performance video signal processing are becoming more and more programmable. We suggest an approach to design such systems that involves measuring, v...
Bart Kienhuis, Ed F. Deprettere, Kees A. Vissers, ...
B
1998
Springer
15 years 12 months ago
Introducing Dynamic Constraints in B
In B, the expression of dynamic constraints is notoriously missing. In this paper, we make various proposals for introducing them. They all express, in di erent complementary ways,...
Jean-Raymond Abrial, Louis Mussat
ICSM
1997
IEEE
15 years 12 months ago
Predicting Maintenance Effort with Function Points
Function Point Analysis (FPA) is a well-known method to measure the functionality of a system, from the user’s point of view. Both Albrecht’s original model and a local varian...
Frank Niessink, Hans van Vliet
IUI
1997
ACM
15 years 11 months ago
Automating a Classification Task Based on an Augmented Thesaurus
Most classification tasks that have been tackled for automation are ones involving complex chains of causal reasoning. However, our daily lives are filled with simple classificati...
Eunok Paek, Hye-Jeong Jeon
« Prev « First page 1298 / 1725 Last » Next »