Publications Daniel Amyot
Articles scientifiques
-
Okhaide AKHIGBE, Daniel AMYOT, Gregory RICHARDS, « A systematic literature mapping of goal and non‑goal modelling methods for legal and regulatory compliance », (2019) 459-481 Requirements Engineering, Springer.
-
Taha BINALIALHAG, Jameleddine HASSINE, Daniel AMYOT, « Static slicing of Use Case Maps requirements models », (2019) 2465–2505 Software & Systems Modeling, Springer.
-
Mahdi GHASEMI, Daniel AMYOT, « From event logs to goals: a systematic literature review of goal-oriented process mining », (2020) 25:67-93 Requirements Engineering, Springer.
-
Daniel AMYOT, « Requirements Engineering (RE) for Social Good - RE Cares », (2019) 36-1 IEEE Software p.86-94.
-
Alireza PARVIZIMOSAED, « Towards the Specification and Verification of Legal Contracts », (2020) School of Electrical Engineering and Computer Science University of Ottawa.
-
John MYLOPOULOS, Daniel AMYOT, Luigi LOGRIPPO, Alireza PARVIZIMOSAED et Sepher SHARIFI, « Social Dependence Relationships in Requirements Engineering », (2020) 13th International i* Workshop (iStar'20).
-
Sepehr SHARIFI, Alireza PARVIZIMOSAED, Daniel AMYOT, Luigi LOGRIPPO et John MYLOPOULOS, « Symboleo: Towards a Specification Language for Smart Contracts.», (2020) 28th IEEE Int. Requirements Engineering Conf.