Nadeem Akhtar

11 Questions 23 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,675 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,032 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,610 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,916 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,437 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,285 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,035 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,915 7 View

Does anyone have suggestions for the implementation of the trait of self-adaptation in multi-agent software systems?

Self-adaptive software systems are autonomous, they can perceive the environment and can update and change themselves according to their environment (or their needs).

20 February 2014 8,972 1 View

Can someone suggest to me some tools/techniques that can be used for VDM (Vienna Development Method) based software verification?

13 February 2014 5,711 1 View

How can we differentiate formal development and modelling techniques of UPPAAL and VDM?

Can anybody using VDM guide me about its tools?

13 February 2014 7,214 1 View