中国机械工程学会生产工程分会知识服务平台

期刊


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

2007, vol.16, no.1 2007, vol.16, no.2 2007, vol.16, no.3 2007, vol.16, no.4

题名作者出版年年卷期
Three Empirical Studies on Estimating the Design Effort of Web ApplicationsLUCIANO BARESI; Politecnico di Milano; SANDRO MORASCA20072007, vol.16, no.4
Recovering Traceability Links in Software Artifact Management Systems using Information Retrieval MethodsANDREA DE LUCIA; FAUSTO FASANO; ROCCO OLIVETO; GENOVEFFA TORTORA20072007, vol.16, no.4
Static Checking of Dynamically Generated Queries in Database ApplicationsGARY WASSERMANN; CARL GOULD; ZHENDONG SU; PREMKUMAR DEVANBU20072007, vol.16, no.4
Model Checking the Java Metalocking AlgorithmSAMIK BASU; SCOTT A. SMOLKA20072007, vol.16, no.3
Metamodel-Based Model Conformance and Multiview Consistency CheckingRICHARD F. PAIGE; PHILLIP J. BROOKE; JONATHAN S. OSTROFF20072007, vol.16, no.3
Test Conditions for Fault Classes in Boolean SpecificationsKALPESH KAPOOR; JONATHAN P. BOWEN20072007, vol.16, no.3
Polychronous Design of Embedded Real-Time ApplicationsABDOULAYE GAMATIE; THIERRY GAUTIER; PAUL LE GUERNIC; JEAN-PIERRE TALPIN20072007, vol.16, no.2
An Empirical Study of Static Program Slice SizeDAVID BINKLEY; NICOLAS GOLD; MARK HARMAN20072007, vol.16, no.2
Foundations of Incremental Aspect Model-CheckingSHRIRAM KRISHNAMURTHI; KATHI FISLER20072007, vol.16, no.2
A Formal Model of ServicesMANFRED BROY; INGOLF H. KRUGER; MICHAEL MEISINGER20072007, vol.16, no.1
12



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