• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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