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

期刊


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

2010, vol.19, no.1 2010, vol.19, no.2 2010, vol.19, no.3 2010, vol.19, no.4

题名作者出版年年卷期
Analysis and Applications of Timed Service ProtocolsJULIEN PONGE; BOUALEM BENATALLAH; FABIO CASATI; FAROUK TOUMANI20102010, vol.19, no.4
Semantic Self-Assessment of Query Results in Dynamic EnvironmentsJAM IE PAYTON; CHRISTINE JULIEN; GRUIA-CATALIN ROMAN; VASANTH RAJAMANI20102010, vol.19, no.4
A Verification System for Interval-Based Specification LanguagesCHUNQING CHEN; JIN SONG DONG; JUN SUN; ANDREW MARTIN20102010, vol.19, no.4
Synthesizing Hierarchical State Machines from Expressive Scenario DescriptionsJON WHITTLE; PRAVEEN K. JAYARAMAN20102010, vol.19, no.3
Partial Constraint Checking for Context Consistency in Pervasive ComputingCHANG XU; S. C. CHEUNG; W. K. CHAN; CHUNYANG YE20102010, vol.19, no.3
Design and Implementation of SATOR: A Web Service AggregatorANTONIO BROGI; RAZVAN POPESCU; MATTEO TANCA20102010, vol.19, no.3
Amoeba: A Methodology for Modeling and Evolving Cross-Organizational Business ProcessesNIRMIT DESAI; AMIT K. CHOPRA; MUNINDAR P. SINGH20102010, vol.19, no.2
Measuring the Strength of Information Flows in ProgramsWES MASRI; ANDY PODGURSKI20102010, vol.19, no.2
Conceptual Data Model-Based Software Size Estimation for Information SystemsHEE BENG KUAN TAN; YUAN ZHAO; HONGYU ZHANG20102010, vol.19, no.2
Unifying Aspect- and Object-Oriented DesignHRIDESH RAJAN; KEVIN J. SULLIVAN20102010, vol.19, no.1
12



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