Sciweavers

2132 search results - page 203 / 427
» Automated software winnowing
Sort
View
IWPC
1997
IEEE
15 years 8 months ago
A Case Study of Domain-based Program Understanding
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...
Richard Clayton, Spencer Rugaber, Lyman Taylor, Li...
ADAEUROPE
1997
Springer
15 years 8 months ago
Systematic Unit-Testing of Ada Programs
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
Joachim Wegener, Ines Fey
125
Voted
FASE
2000
Springer
15 years 7 months ago
From Play-In Scenarios to Code: An Achievable Dream
g higher levels of abstraction with automated downward transformations has always been the way to go, as long as the engineers who do the actual work are th the abstractions. A dev...
David Harel
AOSE
2008
Springer
15 years 5 months ago
Evaluating an Agent-Oriented Approach for Change Propagation
A central problem in software maintenance is change propagation: given a set of primary changes that have been made to software, what additional secondary changes are needed? Altho...
Khanh Hoa Dam, Michael Winikoff
FASE
2008
Springer
15 years 5 months ago
Formal Approach to Integrating Feature and Architecture Models
If we model a family of software applications with a feature model and an architecture model, we are describing the same subject from different perspectives. Hence, we are running ...
Mikolás Janota, Goetz Botterweck