1. Requirements specification via activity diagrams for agent-based systems;Abushark;Auton. Agent. Multi Agent Syst.,2016
2. Propagating auml protocols to detailed design;Abushark,2013
3. Checking consistency of agent designs against interaction protocols for early-phase defect location;Abushark,2014
4. Early detection of design faults relative to requirement specifications in agent-based models;Abushark,2015
5. An integrated development environment for electronic institutions;Arcos,2005