Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering最新文献_第8页

Automatically documenting program changes 自动记录程序更改

Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2010-09-20 DOI: 10.1145/1858996.1859005

Raymond P. L. Buse, Westley Weimer

引用次数: 188

Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983 主旨发言：实际实施将源于正式规范 -- KBSA，1983 年

Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2010-09-20 DOI: 10.1145/1858996.1858998

C. Green

{"title":"Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983","authors":"C. Green","doi":"10.1145/1858996.1858998","DOIUrl":"https://doi.org/10.1145/1858996.1858998","url":null,"abstract":"The 1983 KBSA (Knowledge-Based Software Assistant) report led to the founding of the KBSE (Knowledge-Based Software Engineering conference series. The KBSE conference then changed into the ASE conference in 1997. And this year marks the 25th anniversary of the conference series. As an author of the KBSA report I was invited to talk here about the report and the beginnings of the conference. I will also discuss my own early research in program synthesis and logic programming, leading up to the KBSA report. We will visit some of the goals/milestones in the KBSA report. For example, the report calls for a formal requirements language, executable specifications, and a transformation language. The report also calls for a future development process in which \"The transformation from requirements to specifications to implementations will be carried out with automated, knowledge-based assistance\"; i.e., \"the actual implementation will be derived from the formal specification\", and \"the [software] development and the proof of correctness will be co-derived\". Then I will describe recent progress at Kestrel Institute, including a higher-order logic specification of a small operating system.","PeriodicalId":341489,"journal":{"name":"Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132707743","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}

引用次数: 0

Using transitive changesets to support feature location 使用可传递的变更集来支持特性定位

Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2010-09-20 DOI: 10.1145/1858996.1859066

S. Ratanotayanon, Hye Jung Choi, S. Sim

引用次数: 13

REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems REMES工具链:一组用于嵌入式系统行为建模和分析的集成工具

Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2010-09-20 DOI: 10.1145/1858996.1859076

Dinko Ivanov, M. Orlic, C. Seceleanu, Aneta Vulgarakis

引用次数: 24

Text mining in supporting software systems risk assurance 文本挖掘在支持软件系统风险保证中的应用

Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2010-09-20 DOI: 10.1145/1858996.1859027

LiGuo Huang, D. Port, Liang Wang, Tao Xie, T. Menzies

引用次数: 19

Tool support for code generation from a UMLsec property 工具支持从UMLsec属性生成代码

Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2010-09-20 DOI: 10.1145/1858996.1859074

Lionel Montrieux, J. Jürjens, Charles B. Haley, Yijun Yu, Pierre-Yves Schobbens, H. Toussaint

引用次数: 19

PeerUnit: a framework for testing peer-to-peer systems PeerUnit:一个测试点对点系统的框架

Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2010-09-20 DOI: 10.1145/1858996.1859030

E. Almeida, J. Marynowski, G. Sunyé, P. Valduriez

引用次数: 7

Timesheet assistant: mining and reporting developer effort 时间表助手:挖掘和报告开发人员的工作

Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2010-09-20 DOI: 10.1145/1858996.1859049

Renuka Sindhgatta, N. Narendra, Bikram Sengupta, Karthik Venkat Ramanan, A. Ryman

{"title":"Timesheet assistant: mining and reporting developer effort","authors":"Renuka Sindhgatta, N. Narendra, Bikram Sengupta, Karthik Venkat Ramanan, A. Ryman","doi":"10.1145/1858996.1859049","DOIUrl":"https://doi.org/10.1145/1858996.1859049","url":null,"abstract":"Timesheets are an important instrument used to track time spent by team members in a software project on the tasks assigned to them. In a typical project, developers fill timesheets manually on a periodic basis. This is often tedious, time consuming and error prone. Over or under reporting of time spent on tasks causes errors in billing development costs to customers and wrong estimation baselines for future work, which can have serious business consequences. In order to assist developers in filling their timesheets accurately, we present a tool called Timesheet Assistant (TA) that non-intrusively mines developer activities and uses statistical analysis on historical data to estimate the actual effort the developer may have spent on individual assigned tasks. TA further helps the developer or project manager by presenting the details of the activities along with effort data so that the effort may be seen in the context of the actual work performed. We report on an empirical study of TA in a software maintenance project at IBM that provides preliminary validation of its feasibility and usefulness. Some of the limitations of the TA approach and possible ways to address those are also discussed.","PeriodicalId":341489,"journal":{"name":"Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering","volume":"612 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123066114","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}

引用次数: 2

Security-driven model-based dynamic adaptation 安全驱动的基于模型的动态适应

Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2010-09-20 DOI: 10.1145/1858996.1859040

Brice Morin, T. Mouelhi, Franck Fleurey, Yves Le Traon, Olivier Barais, J. Jézéquel

引用次数: 43

Reducing estimation uncertainty with continuous assessment: tracking the "cone of uncertainty" 通过持续评估减少评估的不确定性:跟踪“不确定性锥体”

Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2010-09-20 DOI: 10.1145/1858996.1859065

Pongtip Aroonvatanaporn, Chatchai Sinthop, B. Boehm

引用次数: 9