Sciweavers

10241 search results - page 240 / 2049
» Goal-Driven Software Development
Sort
View
ICSE
2007
IEEE-ACM
16 years 6 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
WCRE
2010
IEEE
15 years 4 months ago
Evaluating the Impact of Software Evolution on Software Clustering
—The evolution of a software project is a rich data source for analyzing and improving the software development process. Recently, several research groups have tried to cluster s...
Fabian Beck, Stephan Diehl
COMPSAC
2009
IEEE
15 years 10 months ago
Tamper Resistance for Software Defined Radio Software
The security of software defined radio (SDR) software is essential to the trustworthiness of the overall radio system. When designing and developing security solutions for SDR sof...
Shucai Xiao, Jung-Min Park, Yanzhu Ye
HICSS
2003
IEEE
209views Biometrics» more  HICSS 2003»
15 years 11 months ago
A Tool for the Capture and Use of Process Knowledge in Process Tailoring
Software processes are critical assets of software development organizations. The knowledge about context in which a process is defined and tailored is typically lost during softw...
Peng Xu, Balasubramaniam Ramesh
ICSE
2010
IEEE-ACM
15 years 11 months ago
Eliminating dead-code from XQuery programs
One of the challenges in web software development is to help achieving a good level of quality in terms of code size and runtime performance, for increasingly popular domain speci...
Pierre Genevès, Nabil Layaïda