2008年自主和运行时演化系统自动化工程国际研讨会

2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops Pub Date : 1900-01-01 DOI:10.1109/asew.2008.4686283

L. Mariani, A. Polini, M. Caporuscio, A. Marco, H. Muccini, O. Shehory

{"title":"2008年自主和运行时演化系统自动化工程国际研讨会","authors":"L. Mariani, A. Polini, M. Caporuscio, A. Marco, H. Muccini, O. Shehory","doi":"10.1109/asew.2008.4686283","DOIUrl":null,"url":null,"abstract":"The ARAMIS workshop provides a forum for scientists and engineers in academia and industry to present and discuss their latest research on automated techniques for managing, verifying and validating evolving t run-time systems. In particular, ARAMIS will focus on issues, challenges, and future perspectives of techniques for automated verification and validation of evolving systems, for automatic context management and for the engineering of self-healing solutions.","PeriodicalId":215885,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops","volume":"69 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"ARAMIS 2008 International workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems\",\"authors\":\"L. Mariani, A. Polini, M. Caporuscio, A. Marco, H. Muccini, O. Shehory\",\"doi\":\"10.1109/asew.2008.4686283\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The ARAMIS workshop provides a forum for scientists and engineers in academia and industry to present and discuss their latest research on automated techniques for managing, verifying and validating evolving t run-time systems. In particular, ARAMIS will focus on issues, challenges, and future perspectives of techniques for automated verification and validation of evolving systems, for automatic context management and for the engineering of self-healing solutions.\",\"PeriodicalId\":215885,\"journal\":{\"name\":\"2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops\",\"volume\":\"69 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/asew.2008.4686283\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/asew.2008.4686283","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

ARAMIS研讨会为学术界和工业界的科学家和工程师提供了一个论坛，以展示和讨论他们在管理、验证和验证进化运行时系统的自动化技术方面的最新研究。特别是，ARAMIS将专注于问题、挑战和技术的未来前景，用于自动验证和发展系统的验证，用于自动上下文管理和自我修复解决方案的工程。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

ARAMIS 2008 International workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems

The ARAMIS workshop provides a forum for scientists and engineers in academia and industry to present and discuss their latest research on automated techniques for managing, verifying and validating evolving t run-time systems. In particular, ARAMIS will focus on issues, challenges, and future perspectives of techniques for automated verification and validation of evolving systems, for automatic context management and for the engineering of self-healing solutions.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops

自引率

0.00%

发文量