Gamification has been widely used to design better educational systems aiming to increase
students' concentration, motivation, engagement, flow experience, and others positive …

In recent years ontology-based systems engineering has grown significantly. Its raison d'etre
is to use ontologies to improve the systems engineering body of knowledge. Specifically …

There is an increase use of ontology-driven approaches to support requirements
engineering (RE) activities, such as elicitation, analysis, specification, validation and …

Natural Language Processing (NLP) is widely used to support the automation of different
Requirements Engineering (RE) tasks. Most of the proposed approaches start with various …

Flow Theory has been increasingly applied to Computers and Education to address several
topics within this field (eg, motivation, engagement, learning performance and so on). At the …

Requirements represent a central element in product development. The large number of
requirements inevitably results in an increased susceptibility to errors, an expenditure of …

Ontologies serve as a one of the formal means to represent and model knowledge in
computer science, electrical engineering, system engineering and other related disciplines …

Formal methods are mathematical techniques used for develo** reliable and verified
systems. Event-B formal method is proved to be very useful to construct models of systems …

Ontologies are formal representations of knowledge about a given domain. Based on them,
it is possible to create more expressive knowledge bases that can be shared, extended and …

Context There are two interrelated difficulties in requirements engineering processes. First,
free-format modelling practices in requirements engineering activities may lead to low …