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

期刊


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

2002, vol.11, no.1 2002, vol.11, no.2 2002, vol.11, no.3 2002, vol.11, no.4

题名作者出版年年卷期
Automated abstraction of class diagramsAlexander Egyed20022002, vol.11, no.4
Comparing test sets and criteria in the presence of test hypotheses and fault domainsR. M. Hierons20022002, vol.11, no.4
Architecting families of software systems with process algebrasMarco Bernardo; Paolo Clancarini; Lorenzo Donatiello20022002, vol.11, no.4
Equivalence analysis and its application in improving the efficiency of program slicingDonglin Liang; Mary Jean Harrold20022002, vol.11, no.3
Two case studies of open source software development: Apache and MozillaAudris Mockus; Avaya Labs Research; Roy T. Fielding; Day Software; James D. Herbsleb20022002, vol.11, no.3
Temporal abstract classes and virtual temporal specifications for real-time systemsAlexander P. Pons20022002, vol.11, no.3
Alloy: a lightweight object modelling notationDaniel Jackson20022002, vol.11, no.2
Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designsYannis Smaragdakis; Don Batory20022002, vol.11, no.2
Achieving extensibility through product-lines and domain-specific languages: a case studyBon Batory; Clay Johnson; Bob Macdonald; Dale Von Heeder20022002, vol.11, no.2
A formal design notation for real-time systemsMiguel Felder; Mauro Pezze20022002, vol.11, no.2
12



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