期刊


ISSN1049-331X
刊名ACM Transactions on Software Engineering and Methodology
参考译名美国计算机学会软件工程与方法论汇刊
收藏年代2000～2022



全部

2000 2001 2002 2003 2004 2005
2006 2007 2008 2009 2010 2011
2012 2013 2014 2015 2016 2017
2018 2019 2020 2021 2022

2017, vol.26, no.1 2017, vol.26, no.2 2017, vol.26, no.3 2017, vol.26, no.4

题名作者出版年年卷期
Detecting the Behavior of Design Patterns through Model Checking and Dynamic AnalysisDe Lucia, Andrea; Deufemia, Vincenzo; Gravino, Carmine; Risi, Andmichele20172017, vol.26, no.4
Configuring Software Product Lines by Combining Many-Objective Optimization and SAT SolversXiang, Yi; Zhou, Yuren; Zheng, Zibin; Li, Miqing20172017, vol.26, no.4
Understanding and Combating Memory Bloat in Managed Data-Intensive SystemsKhanh Nguyen; Wang, Kai; Bu, Yingyi; Fang, Lu; Xu, Guoqing20172017, vol.26, no.4
Lightweight, Obfuscation-Resilient Detection and Family Identification of Android MalwareGarcia, Joshua; Hammad, Mahmoud; Malek, Sam20172017, vol.26, no.3
Variability Bugs in Highly Configurable Systems: A Qualitative AnalysisAbal, Iago; Melo, Jean; Stanciulescu, Stefan; Brabrand, Claus; Ribeiro, Marcio; Wasowski, Andrzej20172017, vol.26, no.3
Global and Local Deadlock Freedom in BIPBensalem, Saddek; Bozga, Marius; Jaber, Mohamad; Sifakis, Joseph; Zaraket, Fadi A.; Attie, Paul C.20172017, vol.26, no.3
Early Evaluation of Implementation Alternatives of Composite Data Structures Toward MaintainabilityDimitroulakos, Grigoris; Karanikolas, Chris; Masselos, Konstantinos20172017, vol.26, no.2
Fixing Faults in C and Java Source Code: Abbreviated vs. Full-Word Identifier NamesScanniello, Giuseppe; Risi, Michele; Tramontana, Porfirio; Romano, Simone20172017, vol.26, no.2
A Logic-Based Approach for the Verification of UML Timed ModelsBaresi, Luciano; Morzenti, Angelo; Motta, Alfredo; Pourhashem, Mohammad Mehdi K.; Rossi, Andmatteo20172017, vol.26, no.2
EditorialRosenblum, David S.20172017, vol.26, no.2
12



制造业外文文献服务平台