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

期刊


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

2005, vol.14, no.1 2005, vol.14, no.2 2005, vol.14, no.3 2005, vol.14, no.4

题名作者出版年年卷期
Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational ApproachMARCELO F. FRIAS; CARLOS G. LOPEZ POMBO; GABRIEL A. BAUM; NAZARENO M. AGUIRRE; THOMAS S. E. MAIBAUM20052005, vol.14, no.4
The Impact of Software Engineering Research on Modern Programming LanguagesBARBARA G. RYDER; MARGARET BURNETT; MARY LOU SOFFA20052005, vol.14, no.4
Impact of Software Engineering Research on the Practice of Software Configuration ManagementJACKY ESTUBLIER; GEOFFREY CLEMM; DAVID LEBLANG; WALTER TICHY; ANDRE VAN DER HOEK; DARCY WIBORG-WEBER; WALTER TICHY; REIDAR CONRADI20052005, vol.14, no.4
Toward an Engineering Discipline for GrammarwarePAUL KLINT20052005, vol.14, no.3
Reasoning About Inconsistencies in Natural Language RequirementsVINCENZO GERVASI; DIDAR ZOWGHI20052005, vol.14, no.3
An Extended Fault Class Hierarchy for Specification-Based TestingMAN F. LAU; YUEN T. YU20052005, vol.14, no.3
A Comprehensive Approach for the Development of Modular Software Architecture Description LanguagesERIC M. DASHOFY; ANDRE VAN DER HOEK; RICHARD N. TAYLOR20052005, vol.14, no.2
Software Reuse for Scientific Computing Through Program GenerationMARTIN ERWIG; ZHE FU20052005, vol.14, no.2
A Scalable Formal Method for Design and Automatic Checking of User InterfacesJEAN BERSTEL; GILLES ROUSSEL; PIERLUIGI SAN PIETRO20052005, vol.14, no.2
An Empirical Study of Industrial Requirements Engineering Process Assessment and ImprovementIAN SOMMERVILLE; JANE RANSOM20052005, vol.14, no.1
12



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