10 citations · 15 across the 5 of their papers we have counts for
Showing 2015 · cs.SEShow all
3 papers · 2 filters
cs.SE2015★ 2 cited
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…
cs.SE2015★ 2 cited
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…
cs.SE2015★ 1 cited
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…