Topics

Areas of Interest include, but are not limited to, the following:

  • Requirement specification
  • Elicitation of user requirements
  • Modelling notations
  • Rule-based modelling
  • Integration of modelling and specification
  • Workflow modelling
  • Simulation
  • Formal analysis and design
  • Human-centred design
  • Software engineering techniques
  • Testing
  • Validation
  • Formal and semi-formal methods
  • Verification of system correctness
  • Model checking
  • Combination of verification methods
  • Quality assessment
  • Technical frameworks
  • Support tools
  • Applications and case studies

Workshop characteristics

This event will bring together researchers to focus on all aspects of the development process that can contribute to make AmI systems safer and to provide methodologies that can increase the confidence in these developments.

This event will offer a variety of activities to attract prominent researchers and practitioners in the field. We aim to provide a suitable environment for researchers and practitioners to share their knowledge and experiences in the field.

Typical areas to consider will be: testing, validation, verification of correctness, tools for simulation, gathering of user requirements and human-centred design, to mention a few. This list will be expanded with the focus on attracting papers that highlight the process of increasing users satisfaction and trust in AmI systems.