Vasco Amaral's Homepage


 
Home
Research
Publications
Society
Teaching
CV
Events Organizer

 

My current research interests:

I feel specially attracted by the issue of Software Languages Engineering, centering on the topic of defining a systematic approach for the development of Domains Specific Languages and respective framework for supporting it. This also includes model based approaches for the development and modeling of reliable software, (implying the design of DSLs, development of formal frameworks and techniques that lead to the development of tools for rapid-prototyping in software intensive domains). Other topics I am very interested in are related to Database Management Systems, (specially query languages, query optimization and database implementation details).

ACM Computing Classification System personal interest subjects J.2 Physical Sciences and Engineering; F.3 Logics and meaning of programs; H.1 Models and Principles; H.2 Database Management


Projects:

AMPLE: Aspect-Oriented, Model Driven Product Line Engineering

(Financed by the European Union) The focus of the project is on combining aspect-oriented and model-driven techniques to address variability at each stage in a software product line engineering lifecycle and bind the variation points in various development stages and dimensions into a coherent variability framework across the life cycle.

PHEASANT: Physicists' Easy Analysis Tool

Visual Query Language for High Energy physicists. (Summary) This project has the support of LIP (in projects collaborating with DESY and CERN) and has the cooperation of the group Database and Management Systems from the University of Mannheim, Germany.

BATIC3S: Building Adaptive Three-dimensional Interfaces for Critical Complex Control Systems Software:

(Financed by the Portuguese FCT/MCTES) In cooperation with the Software Modeling and Verification group (CUI) of the University of Geneva, we are focusing our research on methodologies for formal model-based rapid prototyping of graphical user interfaces in the domain of complex control systems.

BEI: BPM Editor for IPDMS

(Financed by the portuguese company SINFIC)

AR-DSL: DSL for Augmented Reality Platform

Collaboration with the portuguese company YDreams.