Sciweavers

1080 search results - page 142 / 216
» Improving Software Inspections by Using Reading Techniques
Sort
View
FORMATS
2003
Springer
14 years 2 months ago
Time-Optimal Test Cases for Real-Time Systems
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
Anders Hessel, Kim Guldstrand Larsen, Brian Nielse...
CASES
2007
ACM
14 years 1 months ago
Performance-driven syntax-directed synthesis of asynchronous processors
The development of robust and efficient synthesis tools is important if asynchronous design is to gain more widespread acceptance. Syntax-directed translation is a powerful synthe...
Luis A. Plana, Doug A. Edwards, Sam Taylor, Luis A...
CSMR
2006
IEEE
14 years 3 months ago
A Language Independent Framework for Context-sensitive Formatting
Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code ...
M. G. J. van den Brand, A. Taeke Kooiker, Jurgen J...
SOCO
2007
Springer
14 years 3 months ago
Streamlining Feature-Oriented Designs
Abstract. Software development for embedded systems gains momentum but faces many challenges. Especially the constraints of deeply embedded systems, i.e., extreme resource and perf...
Martin Kuhlemann, Sven Apel, Thomas Leich
AVI
2006
13 years 10 months ago
Tumble! Splat! helping users access and manipulate occluded content in 2D drawings
Accessing and manipulating occluded content in layered 2D drawings can be difficult. This paper characterizes a design space of techniques that facilitate access to occluded conte...
Gonzalo Ramos, George G. Robertson, Mary Czerwinsk...