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

期刊


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

2003, vol.12, no.1 2003, vol.12, no.2 2003, vol.12, no.3 2003, vol.12, no.4

题名作者出版年年卷期
Multi-Valued Symbolic Model-CheckingMARSHA CHECHIK; BENET DEVEREUX; STEVE EASTERBROOK; ARIE GURFINKEL20032003, vol.12, no.4
A Framework and Tool Support for the Systematic Testing of Model-Based SpecificationsTIM MILLER; PAUL STROOPER20032003, vol.12, no.4
A Model-Checking Verification Environment for Mobile ProcessesGIAN-LUIGI FERRARI; STEFANIA GNESI; UGO MONTANARI; MARCO PISTORE20032003, vol.12, no.4
Developing Multiagent Systems: The Gaia MethodologyFRANCO ZAMBONELLI; NICHOLAS R. JENNINGS; MICHAEL WOOLDRIDGE20032003, vol.12, no.3
Automatic High-Quality Reengineering of Database Programs by Abstraction, Transformation and ReimplementationYOSSI COHEN; YISHAI A. FELDMAN20032003, vol.12, no.3
Automatic Testing Equivalence Verification of Spi Calculus SpecificationsLUCA DURANTE; RICCARDO SISTO ADRIANO VALENZANO20032003, vol.12, no.2
Static Analysis to Support the Evolution of Exception Structure in Object-Oriented SystemsMARTIN P. ROBILLARD; GAIL C. MURPHY20032003, vol.12, no.2
Term Rewriting with Traversal FunctionsMARK G. J. VAN DEN BRAND; PAUL KLINT; JURGEN J. VINJU20032003, vol.12, no.2
A Formal Approach for Designing CORBA-Based ApplicationsALBERTO COEN-PORISINI; MATTEO PRADELLA; MATTEO ROSSI; DINO MANDRIOLI20032003, vol.12, no.2
Higher-order architectural connectorsAntonia Lopes; Michel Wermelinger; Jose Luiz Fiadeiro20032003, vol.12, no.1
12



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