Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...