1685 search results - page 205 / 337 » Commonality and Variability in Software Engineering |
125
Voted
ISPASS
2010
IEEE
15 years 10 months ago
2010
IEEE
Continuous circuit miniaturization and increased process variability point to a future with diminishing returns from dynamic voltage scaling. Operation below Vcc-min has been prop...
116
Voted
CSMR
2009
IEEE
15 years 10 months ago
2009
IEEE
Extract Method has been recognized as one of the most important refactorings, since it decomposes large methods and can be used in combination with other refactorings for fixing a...
122
Voted
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
126
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
126
Voted
SEFM
2008
IEEE
15 years 10 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...