Nadeem Akhtar

8 Questions 21 Answers 0 Followers

Questions related from Nadeem Akhtar

Is anybody working in the domain of System-of-Systems interested to discuss interoperability issues in System-of-Systems?

Discuss how a number of autonomous system having different types of platforms (functional as well as technical) interact with each other and work together

06 June 2014 2,648 3 View

What are the major issues that the software engineer encounters while integrating formal methods in industrial projects?

Formal methods have mathematical foundations. They are based on algebra or finite state machines. Are they practical? Do they justify their costs? Is it better to use light-weight implementations...

08 March 2014 10,000 15 View

Can anyone propose a Microsoft dot NET based framework/platform for the design and implementation of a multi-agent system?

We have already designed and implemented a number of software applications based on the multi-agent paradigm. We have used Java based FIPA compliant platforms JADE and SAGE. Most of our work is...

04 March 2014 9,578 2 View

Is it feasible to integrate UML with formal verification in industrial projects?

UML is a very popular modelling technique and tool. Formal specifications are based on mathematics. Formal verification is done by model checking, proving axioms and by algebraic based methods....

26 February 2014 6,874 12 View

Can anyone suggest some industrial projects that were implemented by using VDM for formal specifications and verification?

VDM is a formal specification technique. It can be used for the formal specification and verification.

25 February 2014 3,417 1 View

Can someone present a case study ideal for the implementation of self-adaptive multi-agent system?

A self-adaptive multi-agent system consists of agents. Each agent is autonomous and can make decisions. The self-adaptive system can adapt according to the requirements and surrounding environment.

25 February 2014 9,114 1 View

Can anyone propose some basic examples of formal modelling in UPPAAL?

Examples that are concerned with Real-time systems? Examples in which time is an issue?

20 February 2014 1,004 1 View

How we can integrate formal verification approaches into the agile development process?

Agile development is concerned with the rapid development of a software. In agile development the customer involvement plays an important role. The software is updated and upgraded according to...

20 February 2014 5,885 7 View