806 search results - page 124 / 162 » A Practitioners |
TSE
2010
13 years 8 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...
GRC
2010
IEEE
13 years 7 months ago
2010
IEEE
Given high-dimensional software measurement data, researchers and practitioners often use feature (metric) selection techniques to improve the performance of software quality clas...
PAAMS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract One of the most significant paradigm shifts of modern business management is that individual businesses no longer compete as autonomous entities but rather as supply chain...
RCIS
2010
13 years 7 months ago
2010
Continuous customer-centric requirements reprioritization is essential in successfully performing agile software development. Yet, in the agile RE literature, very little is known ...
REFSQ
2010
Springer
2010
Springer
Challenges in Aligning Requirements Engineering and Verification in a Large-Scale Industrial Context
13 years 7 months ago
[Context and motivation] When developing software, coordination between different organizational units is essential in order to develop a good quality product, on time and within b...