Sciweavers

7027 search results - page 394 / 1406
» Software process: a roadmap
Sort
View
SCOPES
2004
Springer
16 years 8 days ago
Compact Procedural Implementation in DSP Software Synthesis Through Recursive Graph Decomposition
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
Ming-Yung Ko, Praveen K. Murthy, Shuvra S. Bhattac...
ICSM
2002
IEEE
15 years 12 months ago
Maintaining Software with a Security Perspective
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
Kanta Jiwnani, Marvin V. Zelkowitz
ADAEUROPE
2001
Springer
15 years 11 months ago
Building Formal Requirements Models for Reliable Software
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
Axel van Lamsweerde
ICSM
2000
IEEE
15 years 11 months ago
Evolution in Open Source Software: A Case Study
Most studies of software evolution have been performed on systems developed within a single company using traditional management techniques. With the widespread availability of se...
Michael W. Godfrey, Qiang Tu
ICSE
2010
IEEE-ACM
15 years 11 months ago
Moving into a new software project landscape
When developers join a software development project, they find themselves in a project landscape, and they must become familiar with the various landscape features. To better und...
Barthélémy Dagenais, Harold Ossher, ...