5433 search results - page 844 / 1087 » Tool Support for Traceability-Adaptation |
160
click to vote
ISESE
2003
IEEE
15 years 12 months ago
2003
IEEE
One purpose of empirical software engineering is to enable an understanding of factors that influence software development. Surveys are an appropriate empirical strategy to gather...
165
click to vote
IWPC
2003
IEEE
15 years 12 months ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
180
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
177
click to vote
LAWEB
2003
IEEE
15 years 12 months ago
2003
IEEE
In order to the software and web measurement field becomes a more robust engineering discipline it is mandatory to start reaching a common agreement between researchers and other s...
177
click to vote
SP
2003
IEEE
15 years 12 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...