15784 search results - page 895 / 3157 » Mega Software Engineering |
205
click to vote
SSR
2001
15 years 9 months ago
2001
Component Based Development aims at constructing software through the inter-relationship between pre-existing components. However, these components should be bound to a specific a...
190
click to vote
JUCS
2008
15 years 7 months ago
2008
: Architectural mismatches are a recognized obstacle to successful software reuse. An architectural mismatch occurs when two or more software components are connected to form a sys...
178
click to vote
AC
2005
Springer
15 years 7 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
257
click to vote
KBSE
2010
IEEE
15 years 6 months ago
2010
IEEE
A Software Product Line (SPL) is a family of programs. Testing an SPL is a challenge because the number of programs to examine may be exponential in the number of features. Howeve...
203
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Today's Integrated Development Environments (IDEs) only integrate the tools and knowledge of a single user and workstation. This neglects the fact that the way in which we de...