Abstract
Novel techniques and a toolset are presented for automatically testing the conformance of software implementations against partial behavioral models constituted by a set of parameterized UML sequence diagrams, describing both external interactions with users or client applications and internal interactions between objects in the system. Test code is automatically generated from the sequence diagrams and executed on the implementation under test, and test results and coverage information are presented back visually in the model. A runtime test library handles internal interaction checking, test stubs, and user interaction testing, taking advantage of aspect-oriented programming techniques. Incremental conformance checking is achieved by first translating sequence diagrams to Extended Petri Nets that combine the characteristics of Colored Petri Nets and Event-Driven Petri Nets.

Abstract

Abstract
By designing systems as sets of modules that can be composed into larger applications, developers unleash a multitude of advantages. The promise of AOP (Aspect-Oriented Programming) is to enable developers to organize crosscutting concerns into separate units of modularity making it easier to accomplish this vision. However, AOP does not allow unit tests to be untangled, which impairs the development of properly tested independent modules. This paper presents a technique that enables developers to encapsulate crosscutting concerns using AOP and still be able to develop reusable unit tests. Our approach uses incremental testing and invasive aspects to modify and adapt tests. The approach was evaluated in a medium scale project with promising results. Without using the proposed technique, due to the presence of invasive aspects, some unit tests would have to be discarded or modified to accommodate the changes made by them. This would have a profound impact on the overall modularity and, in particular, on the reusability of those modules. We will show that this technique enables proper unit tests that can be reused even when coupled with aspect-oriented code.

Abstract
Spatial analyses and competition assessments can be used by firms to identify target geographic markets for entry. By integrating these two kinds of analysis, this paper presents an innovative method that identifies target geographic markets for health care providers. In these target markets, supply is potentially insufficient to satisfy demand and competition problems that make entry unsuccessful are not expected to occur. Considering the Portuguese hospital health care market, an application of the method in a case study illustrates how the method works in practice.

Abstract
This paper presents a PhD thesis proposal in Informatics Engineering, scheduled for completion in July 2018. This PhD thesis is part of Spatio-Temporal Information Systems, with applicability in technological communication tools and visual representation of knowledge, for Digital Media (newspapers, radio and television). It is intended to maximize the efficiency and effectiveness of the value of heterogeneous, multivariate, multidimensional information characteristic of this context, produced and shared by different sources, in different formats. It is hoped that participation in this Doctoral Symposium will enrich and update the work in progress and help the preparation of the PhD thesis proposal.

Abstract
Digital Games can be effective as learning tools, in applications that can be designated as Serious Games (SG), Games for Learning (GL) or Games-based learning (GBL). SG provide challenges in accordance with the intended learning objectives and can adapt and/or repeat (by allowing error recovering) them according to the learner's level. In training, this aspect is decisive in the acquisition of knowledge, experience and professional skills. The effectiveness of games-based training is directly related to the success on how the challenges promote the acquisition of skills, for which there is no optimal design methodology. This paper presents how a study that identifies the most appropriate game genres to develop specific skills and competences can be used to provide initial solutions to serious games design methodologies. The Triadic Certification model combines the competences defined for each training plan with the challenges designed for the serious games on a matrix that matches the needs and levels.