6 papers:
DATE-2013-PigorschS #locality- Lemma localization: a practical method for downsizing SMT-interpolants (FP, CS), pp. 1405–1410.
MoDELS-2013-FondementMTWF #metamodelling- Big Metamodels Are Evil — Package Unmerge — A Technique for Downsizing Metamodels (FF, PAM, LT, BW, GF), pp. 138–153.
- MoDELS-2013-FondementMTWF #metamodelling
- Big Metamodels Are Evil — Package Unmerge — A Technique for Downsizing Metamodels (FF, PAM, LT, BW, GF), pp. 138–153.
ICALP-2004-KalyanasundaramV- Fairness to All While Downsizing (BK, MV), pp. 819–830.
TOOLS-ASIA-1998-MisicT #case study #estimation #object-oriented #quality- Downsizing the Estimation of Software Quality: A Small Object-Oriented Case Study (VBM, DNT), pp. 308–317.
CSM-1993-SneedN #scalability #source code- Downsizing Large Application Programs (HMS, EN), pp. 110–119.
