长垣产业园区科技文献服务平台

期刊


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

2011, vol.20, no.1 2011, vol.20, no.2 2011, vol.20, no.3 2011, vol.20, no.4

题名作者出版年年卷期
Recommending Adaptive Changes for Framework EvolutionBARTHELEMY DAGENAIS; MARTIN P. ROBILLARD20112011, vol.20, no.4
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJSHAHAR MAOZ; DAVID HAREL; ASAF KLEINBORT20112011, vol.20, no.4
Gaia-PL: A Product Line Engineering Approach for Efficiently Designing Multiagent SystemsJOSH DEHLINGER; ROBYN R. LUTZ20112011, vol.20, no.4
Discovering Multidimensional Correlations among Regulatory Requirements to Understand RiskR. A. GANDHI; S. W. LEE20112011, vol.20, no.4
The Minimal Failure-Causing Schema of Combinatorial TestingCHANGHAI NIE; HARETON LEUNG20112011, vol.20, no.4
Runtime Verification for LTL and TLTLANDREAS BAUER; MARTIN LEUCKER; CHRISTIAN SCHALLHART20112011, vol.20, no.4
Temporal Dependency-Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Scientific Workflow SystemsJINJUN CHEN; YUN YANG20112011, vol.20, no.3
PrIMe: A Methodology for Developing Provenance-Aware ApplicationsSIMON MILES; PAUL GROTH; STEVE MUNROE; LUC MOREAU20112011, vol.20, no.3
A Revisit of Fault Class Hierarchies in General Boolean SpecificationsZHENYU CHEN; TSONG YUEH CHEN; BAOWEN XU20112011, vol.20, no.3
FlagRemover: A Testability Transformation for Transforming Loop-Assigned FlagsDAVID W. BINKLEY; MARK HARMAN; KIRAN LAKHOTIA20112011, vol.20, no.3
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024