Abstract

Abstract
PTCRIS (Portuguese Current Research Information System) is a program aiming at the creation and sustained development of a national integrated information ecosystem, to support research management according to the best international standards and practices. This paper reports on the experience of designing and prototyping a synchronization framework for PTCRIS based on ORCID (Open Researcher and Contributor ID). This framework embraces the "input once, re-use often" principle, and will enable a substantial reduction of the research output management burden by allowing automatic information exchange between the various national systems. The design of the framework followed best practices in rigorous software engineering, namely well-established principles in the research field of consistency management, and relied on formal analysis techniques and tools for its validation and verification. The notion of consistency between the services was formally specified and discussed with the stakeholders before the technical aspects on how to preserve said consistency were explored. Formal specification languages and automated verification tools were used to analyze the specifications and generate usage scenarios, useful for validation with the stakeholder and essential to certificate compliant services.

Abstract
In the fiercely competitive era induced by expansion of open business archetypes, the managerial aspects of Extended Manufacturing Environments (EMEs) are experiencing growing concerns. There is no scope of leaving a possible operational improvement unexplored. For enhanced operational efficiency and capacity utilization the balancing and scheduling problems of EMEs are, therefore, rightfully considered and an integer programme is proposed in this paper. The model is designed in a spread sheet and solved through What's Best optimizer. The model capabilities is assessed through a test problem. The results have demonstrated that the model is capable of defining optimized production schedules for EMEs.

Abstract
Companies focus on software development in order to survive in a highly competitive world. They not only need to keep up to date with the changes that are occurring in their environment, but they also need to assure the effectiveness of their processes. One way to do that is pursuing high quality standards by continuously improving the development processes. In this chapter, the authors describe the project of CMMI (Capability Maturity Model Integration) implementation in a software company specialized in information technology services for banking. The project was initiated with the aim of optimizing the software development process. Throughout the chapter, various aspects of the project are covered, such as the actions taken to implement the CMMI maturity level 2, the tools used to support the implementation, and the obtained results. These are useful and could serve as a reference basis for companies that consider the implementation of a maturity model.

Abstract
This paper addresses the task of finding outliers within each class in the context of supervised classification problems. Class-based outliers are cases that deviate too much with respect to the cases of the same class. We introduce a novel method for outlier detection in labelled data based on Random Forests and compare it with existing methods both on artificial and real-world data. We show that it is competitive with the existing methods and sometimes gives more intuitive results. We also provide an overview for outlier detection in labelled data. The main contribution are two methods for class-based outlier description and interpretation.

Abstract
Software testing is an important component that leads to quality software production. This paper presents the results of a framework for assessing the level of maturity in Software Testing application in the context of Small and Medium-Sized Enterprises (SMEs) based on TMMi model. Our framework includes an evaluation questionnaire based on TMMi sub-practices, support tools with examples of artifacts required to ensure that the questionnaire is thoroughly completed, as well as an automated tool support for its application, enabling SMEs to carry out self-assessment. The framework was applied in ten companies and before the results presented, it can be concluded that the companies maturity in software testing is low and that the companies positively assessed the adequacy of the framework developed for the context of SMEs.