e-Informatica

A Case Study on Behavioural Modelling of Service-Oriented Architectures

A Component Model with Support of Mobile Architectures and Formal Description

Formal Approach to an Architecture of Distributed Information Systems