3024 search results - page 339 / 605 » Requirement Engineering in Service-Oriented System Engineeri... |
195
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
When we try to debug or to comprehend a large program, it is important to separate suspicious program portions from the overall source program. Program slicing is a promising tech...
163
click to vote
LSO
2001
Springer
15 years 11 months ago
2001
Springer
Knowledge is a vital component for organisational growth and data mining provides the technological basis for automated knowledge elicitation from data sources. The emergence of Ap...
151
click to vote
CSMR
2000
IEEE
15 years 11 months ago
2000
IEEE
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
216
click to vote
ASWEC
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
189
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...