1304 search results - page 127 / 261 » Model-Driven Engineering for Requirements Analysis |
135
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
136
click to vote
RE
2001
Springer
15 years 8 months ago
2001
Springer
Effective and efficient requirements negotiation is a key to the success of software development efforts. For large projects, this can be especially difficult to do effectively an...
128
click to vote
JSS
2000
15 years 4 months ago
2000
The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...
134
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
It is observed that pulsed discharge currents allow to drain the battery with a higher specific power. Thus they improve the batteries durability and discharge performance. The q...
137
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Detailed information about protein interactions is critical for our understanding of the principles governing protein recognition mechanisms. The structures of many pr...