Search
Now showing items 1-3 of 3
Model-Driven requirements engineering process aided by ontologies and natural controlled languages
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2009-06-29)
Researches in Requirements Engineering have been growing in the latest few years. Researchers are concerned with a set of open issues such as: communication between several user profiles involved in software engineering; ...
Extração automática de modelos CSP a partir de casos de uso
(Universidade Federal de Pernambuco, 2014)
Model checking requirements written in a controlled natural language
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2017)