征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介

Developing self-adaptive, self-organising systems (SASO) that fulfil the requirements of different stakeholders is no simple matter. Quality assurance is required at each phase of the entire development process, starting from requirements elicitation, system architecture design, agent design, and finally in the implementation of the system. The quality of the artefacts from each development phase affects the rest of the system, since all parts are closely related to each other. Furthermore, the shift of adaptation decisions from design-time to run-time - necessitated by the need of the systems to adapt to changing circumstances - makes it difficult, but even more essential, to assure high quality standards in these kind of systems. Accordingly, the analysis and evaluation of these self-* systems has to take into account the specific operational context to achieve high quality standards.

征稿信息

重要日期

2016-07-04
初稿截稿日期

征稿范围

  • Modelling and verification

  • formal models and modelling languages such as automata, state machines, process algebras, logics, HOL, Markov-chains, UML

  • run-time verification and validation in self-adaptive, self-organising systems empirical evaluation

  • empirical evaluation

  • measurement and evaluation of resilience, security, performance, reliability, and cost in self-adaptive, self-organising systems

  • benchmarking of self-adaptive, self-organising systems

  • test-centred development

  • test derivation, test selection, test coverage, test implementation and execution, test result analysis, test oracles, test management, and monitoring

  • automated support of any of the testing activities, rigid testing processes, test driven development

  • case studies, industrial applications, and experience reports

留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 09月12日

    2016

    会议日期

  • 07月04日 2016

    初稿截稿日期

  • 09月12日 2016

    注册截止日期

移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询