Cited By
View all- Abushark YThangarajah JHarland JMiller T(2017)A framework for automatically ensuring the conformance of agent designsJournal of Systems and Software10.1016/j.jss.2017.05.098131:C(266-310)Online publication date: 1-Sep-2017
- Abushark YMiller TThangarajah JWinikoff MHarland J(2017)Requirements specification via activity diagrams for agent-based systemsAutonomous Agents and Multi-Agent Systems10.1007/s10458-016-9327-731:3(423-468)Online publication date: 1-May-2017
- Yadav NThangarajah J(2016)Checking the conformance of requirements in agent designs using ATLProceedings of the Twenty-second European Conference on Artificial Intelligence10.3233/978-1-61499-672-9-243(243-251)Online publication date: 29-Aug-2016
- Show More Cited By