- There are many agent tools for facilitating professional programmers in developing multi-agent systems (MAS); however, not all of them can be easily used by users who are not pro...
The New Oxford Dictionary of English A powerful and well-chosen metaphor can speak a thousand words in terms of the insight it gives to the audience; a poor one can hide and confu...
This paper presents a development process with particular focus on non-functional properties. The process is built around the concept of measurements at different levels of abstra...
In order to develop security critical Information Systems, specifying security quality requirements is vitally important, although it is a very difficult task. Fortunately, there ...
Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added...