16725 search results - page 2719 / 3345 » Engineering Software Correctness |
180
click to vote
IUI
2006
ACM
16 years 1 months ago
2006
ACM
Information workers are often involved in multiple tasks and activities that they must perform in parallel or in rapid succession. In consequence, task management itself becomes y...
204
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
Model Driven Architecture (MDA) is a software development approach that focuses on models. In order to support MDA, a lot of CASE tools have emerged; each of them provides a diffe...
257
click to vote
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
175
click to vote
AGILEDC
2005
IEEE
16 years 24 days ago
2005
IEEE
Most significant software processes involve a wide range of disciplines, from programming to testing, and from documentation to database development. Unfortunately, agile processe...
153
click to vote
AUIC
2005
IEEE
16 years 24 days ago
2005
IEEE
Computer keyboards are used to input hundreds of different languages using many different alphabets. Despite this diversity, the physical layout of keyboards is fairly uniform, ...