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

期刊


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

2004, vol.13, no.1 2004, vol.13, no.2 2004, vol.13, no.3 2004, vol.13, no.4

题名作者出版年年卷期
A Framework for Modeling and Implementing Visual Notations With Applications to Software EngineeringGENNARO GOSTAGLIOLA; VINCENZO DEUFEMIA; GIUSEPPE POLESE20042004, vol.13, no.4
Flow Analysis for Verifying Properties of Concurrent Software SystemsMATTHEW B. DWYER; LORI A. CLARKE; JAMIESON M. COBLEIGH; GLEB NAUMOVICH20042004, vol.13, no.4
Coupling and Cohesion Metrics for Knowledge-Based Systems Using Frames and RulesSTEFAN KRAMER; HERMANN KAINDL20042004, vol.13, no.3
On Test Suite Composition and Cost-Effective Regression TestingGREGG ROTHERMEL; SEBASTIAN ELBAUM; ALEXEY G. MALISHEVSKY; XUEMEI QIU20042004, vol.13, no.3
Mae - A System Model and Environment for Managing Architectural EvolutionROSHANAK ROSHANDEL; MARIJA MIKIC-RAKIC; NENAD MEDVIDOVIC20042004, vol.13, no.2
Classifying Data Dependences in the Presence of Pointers for Program Comprehension, Testing, and DebuggingALESSANDRO ORSO; SAURABH SINHA; MARY JEAN HARROLD20042004, vol.13, no.2
Assembly Instruction Level Reverse Execution for DebuggingTANKUT AKGUL; VINCENT J. MOONEY III20042004, vol.13, no.2
A Formal Model for Reasoning About Adaptive QoS-Enabled MiddlewareNALINI VENKATASUBRAMANIAN; GULA AGHA; CAROLYN TALCOTT20042004, vol.13, no.1
Incremental Elaboration of Scenario-Based Specifications and Behavior Models Using Implied ScenariosSEBASTIAN UCHITEL; JEFF KRAMER; JEFF MAGEE20042004, vol.13, no.1
Address Translation in Telecommunication FeaturesPAMELA ZAVE20042004, vol.13, no.1



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