长垣产业园区科技文献服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
起重机械
智能制造
高级检索
关于我们
版权声明
使用帮助
期刊
ISSN
1049-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
2016, vol.25, no.1
2016, vol.25, no.2
2016, vol.25, no.3
2016, vol.25, no.4
题名
作者
出版年
年卷期
Untitled
Rosenblum, David
2016
2016, vol.25, no.2
Understanding JavaScript Event-Based Interactions with Clematis
Alimadadi, Saba; Sequeira, Sheldon; Mesbah, Ali; Pattabiraman, Karthik
2016
2016, vol.25, no.2
Inflow and Retention in OSS Communities with Commercial Involvement: A Case Study of Three Hybrid Projects
Zhou, Minghui; Mockus, Audris; Ma, Xiujuan; Zhang, Lu; Mei, Hong
2016
2016, vol.25, no.2
Concurrency Debugging with Differential Schedule Projections
Machado, Nuno; Quinta, Daniel; Lucia, Brandon; Rodrigues, Luis
2016
2016, vol.25, no.2
Control Explicit-Data Symbolic Model Checking
Bauch, Petr; Havel, Vojtech; Barnat, Jiri
2016
2016, vol.25, no.2
Less is More: Estimating Probabilistic Rewards over Partial System Explorations
Pavese, Esteban; Braberman, Victor; Uchitel, Sebastian
2016
2016, vol.25, no.2
SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization
Hierons, Robert M.; Li, Miqing; Liu, Xiaohui; Segura, Sergio; Zheng, Wei
2016
2016, vol.25, no.2
DIAPRO: Unifying Dynamic Impact Analyses for Improved and Variable Cost-Effectiveness
Cai, Haipeng; Santelices, Raul; Thain, Douglas
2016
2016, vol.25, no.2
A Stack Memory Abstraction and Symbolic Analysis Framework for Executables
Anand, Kapil; Elwazeer, Khaled; Kotha, Aparna; Smithson, Matthew; Barua, Rajeev; Keromytis, Angelos
2016
2016, vol.25, no.2
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
京公网安备11010202008970号 机械工业信息研究院 2018-2024