We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformatio...
Web authoring environments enable end-users to create applications that integrate information from other web sources. Users can create web sites that include built-in components t...
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...
: The need for support of multi-user interaction is growing in several application domains, including the Web. However, there is a lack of tools able to support designers and devel...