Sciweavers

2429 search results - page 196 / 486
» A Requirement Engineering Approach to User Centered Design
Sort
View
ICSE
2008
IEEE-ACM
16 years 7 months ago
DySy: dynamic symbolic execution for invariant inference
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
Christoph Csallner, Nikolai Tillmann, Yannis Smara...
VLDB
2004
ACM
143views Database» more  VLDB 2004»
15 years 12 months ago
DB2 Design Advisor: Integrated Automatic Physical Database Design
The DB2 Design Advisor in IBM® DB2® Universal Database™ (DB2 UDB) Version 8.2 for Linux®, UNIX® and Windows® is a tool that, for a given workload, automatically recommends ...
Daniel C. Zilio, Jun Rao, Sam Lightstone, Guy M. L...
SERA
2005
Springer
16 years 11 hour ago
Bridging the Gap between Analysis and Design Using Dependency Diagrams
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
Simona Vasilache, Jiro Tanaka
AOSD
2005
ACM
16 years 3 days ago
Towards just-in-time middleware architectures
Middleware becomes increasingly important in building distributed applications. Conventional middleware systems are designed, implemented, and packaged before applications are dev...
Charles Zhang, Dapeng Gao, Hans-Arno Jacobsen
EDBTW
2010
Springer
15 years 9 months ago
Flexible Dataspace Management Through Model Management
The vision of dataspaces has been articulated as providing various of the benefits of classical data integration but with reduced up-front costs, which, combined with opportunitie...
Cornelia Hedeler, Khalid Belhajjame, Lu Mao, Norma...