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

期刊


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

2012, vol.21, no.1 2012, vol.21, no.2 2012, vol.21, no.3 2012, vol.21, no.4

题名作者出版年年卷期
HAMPI: A Solver for Word Equations over Strings, Regular Expressions, and Context-Free GrammarsADAM KIEZUN; VIJAY GANESH; SHAY ARTZI; PHILIP J. GUO; PIETER HOOIMEIJER; MICHAEL D. ERNST20122012, vol.21, no.4
Validating Software Metrics: A Spectrum of PhilosophiesANDREW MENEELY; BEN SMITH; LAURIE WILLIAMS20122012, vol.21, no.4
Concept Location Using Formal Concept Analysis and Information RetrievalDENYS POSHYVANYK; MALCOM GETHERS; ANDRIAN MARCUS20122012, vol.21, no.4
Validation of Requirements for Hybrid Systems: a Formal ApproachALESSANDRO CIMATTI; MARCO ROVERI; ANGELO SUSI; STEFANO TONETTA20122012, vol.21, no.4
A Formal Model for Automated Software Modularity and Evolvability AnalysisYUANFANG CAI; KEVIN SULLIVAN20122012, vol.21, no.4
Systematizing Pragmatic Software ReuseREID HOLMES; ROBERT J. WALKER20122012, vol.21, no.4
DARWIN: An Approach to Debugging Evolving ProgramsDAWEI QI; ABHIK ROYCHOUDHURY; ZHENKAI LIANG; KAPIL VASWANI20122012, vol.21, no.3
A Two-Phase Approximation for Model Checking Probabilistic Unbounded Until Properties of Probabilistic SystemsPAUL JENNINGS; ARKA P. GHOSH; SAMIK BASU20122012, vol.21, no.3
Accounting for Defect Characteristics in Evaluations of Testing TechniquesJAYMIE STRECKER; ATIF M. MEMON20122012, vol.21, no.3
A Logical Verification Methodology for Service-Oriented ComputingALESSANDRO FANTECHI; STEFANIA GNESI; ALESSANDRO LAPADULA; FRANCO MAZZANTI; ROSARIO PUGLIESE; FRANCESCO TIEZZI20122012, vol.21, no.3
123



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