Topics

Areas of interest include, but are not limited to, the following ones, all of them applied to increase the reliability, security and safety of Intelligent Environments and related systems (such as Ambient Intelligence systems, Pervasive/Ubiquitous Computing systems, Smart Environments, Multi-Agent Systems, etc.):

  • 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