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

期刊


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

2013, vol.22, no.1 2013, vol.22, no.2 2013, vol.22, no.3 2013, vol.22, no.4

题名作者出版年年卷期
Modeling and Verifying Hierarchical Real-Time Systems Using Stateful Timed CSPJUN SUN; YANG LIU; JIN SONG DONG; YAN LIU; LING SHI; ETIENNE ANDRE20132013, vol.22, no.1
Views: Synthesizing Fine-Grained Concurrency ControlBRIAN DEMSKY; PATRICK LAM20132013, vol.22, no.1
Facilitating the Transition from Use Case Models to Analysis Models: Approach and ExperimentsTAO YUE; LIONEL C. BRIAND; YVAN LABICHE20132013, vol.22, no.1
Achieving Scalable Model-Based Testing Through Test Case DiversityHADI HEMMATI; ANDREA ARCURI; LIONEL BRIAND20132013, vol.22, no.1
Detecting Missing Method Calls As Violations of the Majority RuleMARTIN MONPERRUS; MIRA MEZINI20132013, vol.22, no.1
Scaling Predictive Analysis of Concurrent Programs by Removing Trace RedundancyJEFF HUANG; JINGUO ZHOU; CHARLES ZHANG20132013, vol.22, no.1
Synthesizing Nonanomalous Event-Based Controllers for Liveness GoalsNICOLAS D'IPPOLITO; VICTOR BRABERMAN; NIR PITERMAN; SEBASTIAN UCHITEL20132013, vol.22, no.1



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