Sciweavers

1257 search results - page 112 / 252
» Open Source Requirements Engineering
Sort
View
ICST
2008
IEEE
15 years 9 months ago
Empirical Software Change Impact Analysis using Singular Value Decomposition
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
Mark Sherriff, Laurie Williams
134
Voted
TASE
2007
IEEE
15 years 8 months ago
Model Checking Software at Compile Time
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...
113
Voted
ICSM
2006
IEEE
15 years 8 months ago
Establishing Maintainability in Systems Integration: Ambiguity, Negotiations, and Infrastructure
This paper investigates how maintainability can be established in system integration (SI) projects where maintainers have no direct access to the source code of the third-party so...
Thomas Østerlie, Alf Inge Wang
ICSM
2005
IEEE
15 years 8 months ago
Dynamic Feature Traces: Finding Features in Unfamiliar Code
This paper introduces an automated technique for feature location: helping developers map features to relevant source code. Like several other automated feature location technique...
Andrew David Eisenberg, Kris De Volder
APSEC
2007
IEEE
15 years 6 months ago
Simultaneous Modification Support based on Code Clone Analysis
Maintaining software systems becomes more difficult as their size and complexity increase. One factor that makes software maintenance more difficult is the presence of code clones...
Yoshiki Higo, Yasushi Ueda, Shinji Kusumoto, Katsu...