Topics

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

  • 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