Sciweavers

4340 search results - page 20 / 868
» Designing for change
Sort
View
ICSM
2005
IEEE
15 years 11 months ago
Co-Change Visualization
Clustering layouts of software systems combine two important aspects: they reveal groups of related artifacts of the software system, and they produce a visualization of the resul...
Dirk Beyer
CAV
2004
Springer
111views Hardware» more  CAV 2004»
15 years 11 months ago
Using Interface Refinement to Integrate Formal Verification into the Design Cycle
Jacob Chang, Sergey Berezin, David L. Dill
PATMOS
2004
Springer
15 years 11 months ago
The Certainty of Uncertainty: Randomness in Nanometer Design
Hongliang Chang, Haifeng Qian, Sachin S. Sapatneka...