Software-controlled scratchpad memory is increasingly employed in embedded systems as it offers better timing predictability compared to caches. Previous scratchpad allocation alg...
Since code revisions reflect the extent of human involvement in the software development process, revision histories reveal the interactions and interfaces between developers and...
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
Usability testing based on paper prototypes and early versions of the software were added to the agile development process for the second application release resulting in a signif...
We present the results of a three year field study of the software development process choices made by project teams at two leading offshore vendors. In particular, we focus on th...