10 citations · 15 across the 5 of their papers we have counts for
4 papers · 1 filter
Formal requirement and architecture specifications of a multi-agent robotic system
Nadeem Akhtar, Yann Le Guyadec, Flavio Oquendo
One of the most challenging tasks in specification engineering for a multi-agent robotic system is to formally specify and architect the system, especially as a multi-agent robotic…
Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDY
Nadeem Akhtar
One of the most challenging tasks in software specifications engineering for a multi-agent system is to ensure correctness. As these systems have high concurrency, often have dynam…
KitRobot: A multi-platform graphical programming IDE to program mini-robotic agents
Nadeem Akhtar, Anique Akhtar
The analysis, design and development of a graphical programming IDE for mini-robotic agents allows novice users to program robotic agents by a graphical drag and drop interface, wi…
Requirement analysis, Architectural design and Formal verification of a multi-agent based University Information Management System
Nadeem Akhtar, Aisha Shafique Ghori, Nadeem Salamat
This paper presents an approach based on the analysis, design, and formal verification of a multi-agent based university Information Management System (IMS). University IMS accesse…