• DocumentCode
    5943
  • Title

    Reasoning about Agents in Goal-Oriented Requirements Engineering

  • Author

    Van Lamsweerde استاد مشاور , Herde Andre استاد راهنما

  • University
    UCL )Les Bibliotheques de L,Universite Catholique de Louvain(
  • Grade
    دكتري
  • Major
    FSA 3 - Doctorat en sciences appliquees
  • Number of pages
    0
  • Publish Date
    2002
  • Keyword

    Goal-oriented requirements engineering , KAOS goal-oriented method , formal methods , specification elaboration process

  • Note
    01
  • Language
    انگليسي