Login / Signup

Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions.

Steve Jeffrey Tueno FotsoMarc FrappierRégine LaleauAmel MammarMichael Leuschel
Published in: IFM (2018)
Keyphrases
  • goal oriented
  • data sets
  • search algorithm
  • real time
  • databases
  • genetic algorithm
  • search engine
  • computer vision
  • data structure
  • expert systems
  • relational databases
  • software components
  • formal methods