An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
This paper describes an approach to construct interactive virtual environments, which are suitable for the development of artificial virtual human life simulations. Our main goal ...
Etienne de Sevin, Marcelo Kallmann, Daniel Thalman...
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
This paper presents an interaction model adapted to mixed reality environments known as IRVO (Interacting with Real and Virtual Objects). IRVO aims at modeling the interaction bet...
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...