Agent systems are distributed systems consist of agents that autonomously interact to each
other in an environment to perform tasks and achieve goals. Performing verification is …

Scenarios are commonly used for software requirements modeling. Scenarios describe how
system components, users and the environment interact to complete the system functionality …

Traditional runtime quantitative verification approaches for self-adaptive systems usually rely
on the use of state-transition models to describe the system behaviour and check property …

Modeling and implementing auction systems using agent technology is a common practice
because agents can assume various roles and their behavior will be determined as a result …

Agent-oriented analysis and design is a prosperous approach to model and build software
systems. On the other hand, semantic web services are software components that have …

Ontologies have been utilized in many different areas of software engineering. As software
systems grow in size and complexity, the need to devise methodologies to manage the …

Distributed software Systems (DSS) and Multiagent Systems (MAS) as a sub-class of DSS
can provide efficient and cost effective solutions for a wide range of applications. The …

Road related deaths and injuries continue to be one of the highest incidents recorded in
organizations. Road Safety has become a major concern worldwide. Therefore the United …

Verification of requirements documents is crucial for developing quality software products.
Scenarios are powerful tools for requirements elicitation. Manual verification of the …

Requirement elicitation is one of the most challenging stages of the software development
lifecycle. Many bugs are introduced into the system as the result of incomplete or …