This chapter introduces the concept of a Virtual Organization (VO), using the Internet to link
geographically separated participants in an efficient and novel manner. In particular, the …

Dynamic virtual organisations (VOs) can arise in situations in which it is critical that they
continue to operate, even in sub-optimal environments. Models of information flow in …

Software systems are pervasive in all walks of our life and have become an essential part of
our daily life. Information technology is one major area, which provides powerful and …

Résumé Les systèmes informatiques envahissent notre vie quotidienne et sont devenus des
éléments essentiels de chacun de nos instants de vie. La technologie de l'information est un …

We present the modelling and refinement of the Mondex Electronic Purse" challenge
problem". Our approach uses the well-established Vienna Development Method. Abstract …

According to the development life-cycle of a critical system, first of all we emphasise on
requirements traceability using a real-time animator. Formal modelling of requirements is a …

We propose the development of a verifiable dynamic coalition as a challenge problem for
the research communities in formal methods, dynamic coalitions, dependability and human …

Dynamic virtual organisations (VOs) can arise in situations in which it is critical that they
continue to operate, even in sub-optimal environments. Models of information flow in …