373 search results - page 44 / 75 » Empowering Software Development Environments by Automatic So... |
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Automatic bug-finding tools have a high false positive rate: most warnings do not indicate real bugs. Usually bug-finding tools assign important warnings high priority. However, t...
135
click to vote
DATE
2010
IEEE
14 years 12 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
114
click to vote
MMSP
2008
IEEE
15 years 7 months ago
2008
IEEE
—By nature, human beings perceive their environment mostly using sight and audition. Vibrotactile feedback has proven satisfying results in the domains of simple multimodal inter...
132
click to vote
ICCD
2002
IEEE
15 years 10 months ago
2002
IEEE
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
Code completion is a widely used productivity tool. It takes away the burden of remembering and typing the exact names of methods or classes: As a developer starts typing a name, ...