Publications Daniel Amyot
Scientific articles
-
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 and 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.