2700 search results - page 117 / 540 » The role of abstraction in software engineering |
190
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
148
click to vote
ICSM
2003
IEEE
15 years 11 months ago
2003
IEEE
The conceptual structure of existing software systems is often implicit or non-existing in the source code. We prolightweight abstraction of intentional source-code views as a mea...
153
click to vote
FATES
2005
Springer
15 years 12 months ago
2005
Springer
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors ...
145
click to vote
ICSM
2008
IEEE
16 years 23 days ago
2008
IEEE
More than 90% of the cost of software is due to maintenance and evolution. Understanding the evolution of large software systems is a complex problem, which requires the use of va...
160
click to vote
SEAFOOD
2007
Springer
16 years 13 days ago
2007
Springer
Outsourcing of work to support software development and services is seen primarily as a transfer of labor to another shore. But intellectual property, as software, is transferred a...