 |
|
 |
|
|
|
|
| |
 |
|
| |
CSCW and groupware |
 |
|
| |
Our work in this area deals with the challenges of the conception and development of innovative solutions for collaborative
works and learning tasks.
We consider aspects such as awareness and tailoring. We apply techonologies and technics such as semantic web and peer to peer networks. Results take the forms of innovative groupware tools, collaboration methods, and design and development methodologies. |
|
| |
Theory and formal methods |
|
|
| |
The research in this area includes functional programming, formal analysis of programming languages, formal methods in software engineering and Fork algebra. The group investigates how formal specifications can supplement software development and how they may help to clarify the semantics of both notations (i.e. analysis and design languages, programming languages, etc.) and concepts. |
|
| |
Web-engineering |
|
|
|
In this area we focus on the modelling and design approaches to build web applications in a modular way. Projects in this area are an evolution of our early work on the object-oriented hypermedia design method (OOHDM). We are currenty conducting research in fields related with mobile Web applications such as physical hypermedia, context-aware Web software, etc.
|
|
| |
|
|
|
|
GIS and mobile computing |
|
|
|
|
This research group is dealing with the challenges of construction of geographic applications, particularly mobile applications, from the perspective of software engineering. The work is focused on architectural approaches, design models and methods, with special emphasis on the quality of the aforesaid applications.
|
|
|
|
|
|
|
 |
