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

期刊


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

题名作者出版年年卷期
Precise Memory Leak Detection for Java Software Using Container ProfilingGUOQING XU; ATANAS ROUNTEV20132013, vol.22, no.3
Marple: Detecting Faults in Path Segments Using Automatically Generated AnalysesWEI LE; MARY LOU SOFFA20132013, vol.22, no.3
Fault Localization Prioritization: Comparing Information-Theoretic and Coverage-Based ApproachesSHIN YOO; MARK HARMAN; DAVID CLARK20132013, vol.22, no.3
Bounded Satisfiability Checking of Metric Temporal Logic SpecificationsMATTEO PRADELLA; ANGELO MORZENTI; PIERLUIGI SAN PIETRO20132013, vol.22, no.3
The Value of Design Rationale InformationDAVIDE FALESSI; LIONEL C. BRIAND; GIOVANNI CANTONE; RAFAEL CAPILLA; PHILIPPE KRUCHTEN20132013, vol.22, no.3
Trading Obliviousness for Modularity with Cooperative Aspect-Oriented ProgrammingKEVIN HOFFMAN; PATRICK EUGSTER20132013, vol.22, no.3
An Algebra of Design PatternsHONG ZHU; IAN BAYLEY20132013, vol.22, no.3
Finite Satisfiability of UML Class Diagrams with Constrained Class HierarchyMIRA BALABAN; AZZAM MARAEE20132013, vol.22, no.3
Enabledness-Based Program Abstractions for Behavior ValidationGUIDO DE CASO; VICTOR BRABERMAN; DIEGO GARBERVETSKY; SEBASTIAN UCHITEL20132013, vol.22, no.3
Using a Functional Size Measurement Procedure to Evaluate the Quality of Models in MDD EnvironmentsBEATRIZ MARIN; GIOVANNI GIACHETTI; OSCAR PASTOR; TANJA E. J. VOS; ALAIN ABRAN20132013, vol.22, no.3
12



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