5182 search results - page 589 / 1037 » COTS-Based Requirements Engineering |
159
click to vote
IWPC
2006
IEEE
16 years 27 days ago
2006
IEEE
For many enterprises, reacting to fast changes to their business process is key to maintaining their competitive edge in the market. However, developers often must manually locate...
196
click to vote
MOMPES
2006
IEEE
16 years 27 days ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
172
click to vote
SEFM
2006
IEEE
16 years 27 days ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
163
click to vote
SEFM
2006
IEEE
16 years 27 days ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
201
click to vote
ACL2
2006
ACM
16 years 26 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...