5547 search results - page 676 / 1110 » Software Variability Management |
228
click to vote
ICDE
2012
IEEE
13 years 10 months ago
2012
IEEE
—Large graphs are used in many applications, such as social networking. The management of these graphs poses new challenges because such graphs are too large to fit on a single ...
193
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
Software teams should follow a well defined goal and keep their work focused. Work fragmentation is bad for efficiency and quality. In this paper we empirically investigate the re...
203
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
202
click to vote
VSTTE
2005
Springer
16 years 1 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
209
click to vote
CAISE
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...