5668 search results - page 213 / 1134 » Overlaps in Requirements Engineering |
124
click to vote
SE
2008
15 years 5 months ago
2008
: Software lifecycle models differ in their artifacts as well as in the dependencies between the included tasks and activities. Therefore support-tools, which support these lifecyc...
157
click to vote
ADBIS
2010
Springer
15 years 4 months ago
2010
Springer
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...
142
click to vote
COMCOM
2006
15 years 3 months ago
2006
This paper addresses the issue of delivering solutions that will enable the incremental implementation of inter-domain quality of service (QoS) in the multi-provider commercial In...
134
click to vote
TSE
2010
15 years 2 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
120
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper we present the venture of porting two different algorithms for solving the two-dimensional advection PDE on the CBE platform, an in-place and an outof-place one, and ...