Sciweavers

3557 search results - page 499 / 712
» Reviews
Sort
View
AUTOMOTIVEUI
2009
ACM
15 years 11 months ago
In-vehicle technology functional requirements for older drivers
Older drivers represent the fastest growing segment of the road user population. Cognitive and physiological capabilities diminishes with ages. The design of future in-vehicle int...
Andry Rakotonirainy, Dale Steinhardt
179
Voted
INDIASE
2009
ACM
15 years 11 months ago
Method engineering process patterns
Component-Based Development (CBD) has been broadly used in software development, as it enhances reusability and flexibility, and reduces the costs and risks involved in systems dev...
Mohsen Asadi, Raman Ramsin
GPCE
2009
Springer
15 years 11 months ago
Safe composition of non-monotonic features
Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem a...
Martin Kuhlemann, Don S. Batory, Christian Kä...
ADAEUROPE
2001
Springer
15 years 11 months ago
Building Formal Requirements Models for Reliable Software
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
Axel van Lamsweerde
172
Voted
CIKM
2001
Springer
15 years 11 months ago
Joint Optimization of Cost and Coverage of Query Plans in Data Integration
Existing approaches for optimizing queries in data integration use decoupled strategies–attempting to optimize coverage and cost in two separate phases. Since sources tend to ha...
Zaiqing Nie, Subbarao Kambhampati