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.
-
Alexander DEKHTYAR, Jane HUFFMAN HAYES, Irit HADAR, Erin COMBS, Alessio FERRARI, Sarah GREGORY, Jennifer HORKOFF, Meira LEVY, Maleknaz NAYEBI, Barbara PAECH, Jared PAYNE, Matt PRIMROSE, Paola SPOLETINI, Shell CLARKE, Chuck BROPHY, Daniel AMYOT, Walid MAALEJ, Guenther RUHE, Jane CLELAND-HUANG et Didar ZOWGHI, « Requirements Engineering (RE) for Social Good: RE Cares [Requirements] », (2019) 36-1 IEEE Software 86‑94, DOI: 10.1109/MS.2018.2874327.
-
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.
