Using Non-Profit Partners to Engage Students in RE

Nowadays, new learning tools offer opportunities for limitless combinations of different types of learning materials (e.g. Flash-animations, PDF files, hyper- texts, simulations)

Inspired by the principles of the Programmed Instruction (PI) teaching method, we seek to develop a new Formal Languages eTextbook capable of conveying Formal Lan- guages concepts

At the beginning of the game, players ask questions to create towers, for each question asked one tower will be created.. In regular tower defense games, the tower has a

This paper presents a solution to the Class Responsibility Assignment (CRA) case at the Transformation Tool Contest (TTC) 2016 using the .NET Modeling Framework (NMF).. The goal of

Next, we have extended our reachability graph computation with an A* like search space exploration that takes a metric as parameter and at each step chooses the state with the

Awareness We asked students questions on whether they think they are aware of how they, their group and the other students in class spend efforts and time in the course, and

The paper introduces the key notions of BIM, including goals, evidence, and influence. It also outlines their translation into DL axioms, forming an upper-level ontology. Specific

Its extensible open-source platform supports several ontology file formats including CLIPS (Prot´ eg´ e’s na- tive format), various XML dialects, databases, DAML+OIL and RDF(S)..