Title :
Reasoning about Agents in Goal-Oriented Requirements Engineering
Author :
Van Lamsweerde استاد مشاور , Herde Andre استاد راهنما
University :
UCL )Les Bibliotheques de L,Universite Catholique de Louvain(
Major :
FSA 3 - Doctorat en sciences appliquees
Keyword :
Goal-oriented requirements engineering , KAOS goal-oriented method , formal methods , specification elaboration process
