5961 search results - page 303 / 1193 » Design Science and Software Engineering |
159
click to vote
VAMOS
2008
Springer
15 years 8 months ago
2008
Springer
With current trends towards moving variability from hardware to software, and given the increasing desire to postpone design decisions as much as is economically feasible, managin...
170
click to vote
CRIWG
2004
15 years 8 months ago
2004
Abstract. This work presents a middleware for collaborative applications that increase product and workspace awareness information available to users of computer-aided software eng...
156
click to vote
ICCSA
2005
Springer
16 years 5 days ago
2005
Springer
Product Line Engineering is being accepted as a representative software reuse methodology by using core assets and product line architecture is known as a key element of core asset...
164
click to vote
RE
2009
Springer
16 years 1 months ago
2009
Springer
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...
189
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...