Proposals 
Navigation Title

Categories
Search Title
RSLingo III
From Web 2.0 Wiki, Proposals::RS Lingo III

RSLingo (III) – Transformação de Requisitos em Protótipos de Sistemas de Informação



Enquadramento: Trabalho enquadrado no âmbito da iniciativa ProjectIT/RSLingo, na temática da Engenharia de Requisitos e da Engenharia Conduzida por Modelos (MDE, Model-Driven Engineering).
Para informações iniciais sobre a temática, consultar e.g.:
- David de Almeida Ferreira, Alberto Rodrigues da Silva, RSLingo: An Information Extraction Approach toward Formal Requirements Specifications, in Proceedings of Second IEEE International Workshop on Model-Driven Requirements Engineering (MoDRE), in the 20th IEEE International Requirements Engineering Conference (RE'2012), 2012, IEEE Computer Society.
http://isg.inesc-id.pt/alb/static/papers/2012/C114-df-RE-modre-2012.pdf
- Alberto Rodrigues da Silva, João Saraiva, David Ferreira, Rui Silva, Carlos Videira, Integration of RE and MDE Paradigms: The ProjectIT Approach and Tools, in IET Software Journal, December 2007, 1(6), p. 217-314, IET. http://isg.inesc-id.pt/alb/static/papers/2007/ji4-as-200712-IET.pdf

Palavras-chave: Engenharia de Requisitos, Engenharia Conduzida por Modelos, Plataformas Colaborativas, Gestão do Conhecimento

Objectivos: Investigação na área de plataformas colaborativas para gestão de requisitos técnicos, que permita uma mais eficaz e eficiente definição e gestão de requisitos de projectos informáticos.

Descrição: O aluno deverá realizar as seguintes tarefas principais:
1. Investigação inicial: Conhecimento geral da proposta RSLingo, constituída por um conjunto de técnicas e linguagens para especificação mais rigorosa de requisitos, em particular através da utilização da linguagem RSL-IL. Deverá ainda investigar linguagens de modelação de sistemas de informação baseadas em UML, tais como XIS ou XIS/Mobile.
2. Aspectos de desenho e desenvolvimento a considerar (preliminar):
Definir e implementar mecanismos de transformação de especificações de requisitos (definidos em RSL-IL) em formatos complementares, nomeadamente e como exemplo em: (i) modelos de sistemas de informação em UML ou linguagens afins; e (ii) documentação técnica de requisitos de acordo com templates predefinidos (e.g. o template do IEEE Std 830-1998).
3. Avaliação de resultados.