We present a strategy for the automatic generation of test cases from parametrised use case
templates that capture control flow, state, input and output. Our approach allows test …

The continuous growth of the use of Information and Communication Technology in different
sectors of the market calls out for software professionals with the qualifications needed to …

In order to exploit the benefits of PBL and mitigate the risk of failure when implementing it,
the NEXT (iNnovative Educational experience in Technology) research group has been …

This paper focuses presents a study of eight years of cross-course project-based learning
(CC-PjBL) in an upper-level requirements and project management (RPM) course. Project …

Context: Software testing is an important activity to ensure quality for software products.
However, there is a lack of qualified professionals and a lack of motivation to work with …

We introduce an approach for the construction of feature test models expressed in the CSP
process algebra, from use cases described in a controlled natural language. From these …

The Brazilian IT market has been showing signs of misalignment about the professional
training offered by the Academy and the needs that organizations demand. Such …

This paper mechanises conformance verification in the setting of the CSP process algebra.
The verification strategy is captured by a theorem stated as a process refinement …

This article presents an experience in software residence, addressing jointly, software
product line and version control process. A residency program in software is conceptually …

Simulation games can help teaching and learning in several areas of Software Engineering.
One important research issue is providing support for simulation games development …