ProjectsWe offer projects to FCT/UNL students - Diploma Project, Master's projects - across a number of software engineering topics, all related to the same general goal: Domain Specific Modeling Languages, Rapid Prototyping, Development of formally proved software. We are currently involved in several projects:
BATIC3S: (in cooperation with University of Geneva and Ecole d'Ingénieur de Genève (HES/SO))
This project proposes a framework for prototyping 3D stereoscopic user interfaces for complex control systems starting from their formal specification. The use of formal languages allows for specifications both at the structural and behavioural level of the system and the interface, and enables rapid prototyping of adaptive 3D user interfaces which can be easily tested with users and adapted to their needs.
The development of a framework and a methodology is foreseen to guide the modelization of the system using the CO-OPN language, and the transformation into an executable prototype.
A use case is planned in the context of the collaboration with the European Organization for Nuclear Research (CERN) for the development of the control interface for the CMS Silicon Strip Tracker diagnostic and control system and the ATLAS experiment.
A DSL for "Augmented Reality" industry (joint project with company YDREAMS):
This project focuses on the design of a DSL to support the Software Engineer life-cycle, allowing for rapid prototyping.
A DSL for I* and KAOS:
This project focuses on the designing a common language for Early Requirements, based on existant diagrammatic tools.