Sciweavers

Share
104 search results - page 2 / 21
» Co-evolution of source code and the build system
Sort
View
CASCON
2003
89views Education» more  CASCON 2003»
9 years 8 months ago
Removing false code dependencies to speedup software build processes
The development of large software systems involves a continual lengthy build process that may include preprocessing, compilation and linking of tens of thousands of source code ï¬...
Yijun Yu, Homayoun Dayani-Fard, John Mylopoulos
ICSM
2005
IEEE
10 years 11 days ago
Towards a Framework for Testing Structural Source-Code Regularities
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
Kim Mens, Andy Kellens
SAFECOMP
2007
Springer
10 years 27 days ago
Software Encoded Processing: Building Dependable Systems with Commodity Hardware
In future, the decreasing feature size and the reduced power supply will make it much more difficult to built reliable microprocessors. Economic pressure will most likely result in...
Ute Wappler, Christof Fetzer
ICSE
2004
IEEE-ACM
10 years 6 months ago
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
Dimitra Giannakopoulou, Corina S. Pasareanu, Jamie...
RE
2015
Springer
4 years 2 months ago
Patterns of co-evolution between requirements and source code
—Software systems are characterized by continual change which often occurs concurrently across various artifact types. For example, changes may be initiated at the requirements, ...
Mona Rahimi, Jane Cleland-Huang
books