18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.最新文献

筛选

英文中文

SPQR: flexible automated design pattern extraction from source code 灵活的自动设计模式从源代码提取

18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings. Pub Date : 2003-10-06 DOI: 10.1109/ASE.2003.1240309

J. Smith, D. Stotts

{"title":"SPQR: flexible automated design pattern extraction from source code","authors":"J. Smith, D. Stotts","doi":"10.1109/ASE.2003.1240309","DOIUrl":"https://doi.org/10.1109/ASE.2003.1240309","url":null,"abstract":"Previous automated approaches to discovering design patterns in source code have suffered from a need to enumerate static descriptions of structural and behavioral relationships, resulting in a finite library of variations on pattern implementation. Our approach, system for pattern query and recognition, or SPQR, differs in that we do not seek statically to encode each variant of the patterns that we wish to find. Our system finds pattern variants that were not explicitly defined, but instead are inferred dynamically during code analysis by a theorem prover, providing practical tool support for software construction, comprehension, maintenance, and refactoring. We use a logical inference system to reveal large numbers of patterns and their variations from a small number of definitions by encoding in a formal denotational semantics a small number of fundamental OO concepts (elemental design patterns), encode the rules by which these concepts are combined to form patterns (reliance operators), and encode the structural/behavioral relationships among components of objects and classes (rho-calculus). A chain of fully automated tools provides a path from source code to revealed patterns. We describe our approach in this paper with a concrete example to drive the discussion, accompanied by formal treatment of the foundational topics.","PeriodicalId":114604,"journal":{"name":"18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126588811","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 112

Proceedings 18th IEEE International Conference on Automated Software Engineering 第18届IEEE自动化软件工程国际会议论文集

18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings. Pub Date : 1900-01-01 DOI: 10.1109/ASE.2003.1240288

Acm Sigsoft, Ministère de l'Agriculture et de la Colonisation du Québec

引用次数: 11

Unspeculation Unspeculation

18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings. Pub Date : 1900-01-01 DOI: 10.1109/ASE.2003.1240308

Noah Snavely, S. Debray, G. Andrews

引用次数: 2

首页上一页