Abstract
This research establishes the relationship between the digital channels that organizations use to communicate with their audience and the stages of the consumer buying decision process in online stores. Researchers have not treated this relationship in much detail and little-known empirical research has focused on exploring relationships between the two subjects. Establishing this relationship is of crucial importance for organizations and consumers, as it ensures organizations use the digital channels that consumers want. A literature review of digital channels and consumer behavior models was performed, which allowed us to define which are the digital channels and to identify the different models of consumer behavior appropriate for the digital age. A quantitative methodology was used, supported on a questionnaire that allowed us to find out which digital channels are the most appropriate for each stage of the buying decision process. The results show that consumers use more than one digital channel at each stage of the buying decision process and for each stage, a set of digital channels is identifiable that is most preferred. In light of the above, those who are responsible for defining the digital marketing strategy know what types of content they should produce for each digital channel, allowing them to guarantee efficiency in the use of resources while ensuring that consumers get what they want.

Abstract
The Brazilian oil industry is facing a period of significant techno-economic challenges to meet the increase in reserves and production in ultra-deep waters. The subsea production system is an essential technological frontier to ensure the technical and economic viability of oil fields. Thus, the use of digital technologies fits in with these goals and already shows promising results, which stimulate companies in the development of digitalization. For this, the main aim of this chapter is to investigate the role of digital transformation to the subsea productive system of the Brazilian oil industry. By using the analytical and theoretical framework of innovation system, the author explores the relevance, capacity, and strategy developed for the use of digital transformation into subsea production system activities. It was possible to identify the critical features of techno-economic development and conclude that despite the existing capacity, coordination, interactions, and funding are issues to be promoted and improved.

Abstract
Despite documentation being considered the primary challenge to agile methods in safety-critical software systems development [1], agile would be of particular interest to improve changeability while providing efficiency and effectiveness to all the phases of software development. In this work, we created mechanisms for automating document processing and management to improve the efficiency and effectiveness of documentation activities of safety-critical software systems development, most concretely in the aerospace domain. The implemented tools were co-designed and validated iteratively in the concrete industrial context of Critical Software (CSW) projects, within a wider research work towards continuous certification [3]. We interviewed Critical Software professionals to validate our solution, collected feedback on the implemented tools and got insights for future work. The tools were also the target of synthetic tests that allowed us to conclude that document automation is possible in the critical-safety software development industry and carries several benefits. The developed tools are not yet qualified in compliance with the DO-330 standard (Tools Qualification).

Abstract

Abstract
Often referred to as 'the mathematics of dynamical, state-based systems', Coalgebra claims to provide a compositional and uniform framework to specify, analyse and reason about state and behaviour in computing. This paper addresses this claim by discussing why Coalgebra matters for the design of models and logics for computational phenomena. To a great extent, in this domain one is interested in properties that are preserved along the system's evolution, the so-called 'business rules' or system's invariants, as well as in liveness requirements, stating that e.g. some desirable outcome will be eventually produced. Both classes are examples of modal assertions, i.e. properties that are to be interpreted across a transition system capturing the system's dynamics. The relevance of modal reasoning in computing is witnessed by the fact that most university syllabi in the area include some incursion into modal logic, in particular in its temporal variants. The novelty is that, as it happens with the notions of transition, behaviour, or observational equivalence, modalities in Coalgebra acquire a shape. That is, they become parametric on whatever type of behaviour, and corresponding coinduction scheme, seems appropriate for addressing the problem at hand. In this context, the paper revisits Coalgebra from a computational perspective, focussing on three topics central to software design: how systems are modelled, how models are composed, and finally, how properties of their behaviours can be expressed and verified.

Abstract
Parkinson's disease (PD) is a neurodegenerative disorder that impairs people's mobility. Due to its erratic nature and complexity, the progression of the disease differs from person to person, making it difficult to keep track of the patient's progress. These factors, together with the limited number of annual clinical appointments, create the need to have a tool that can help patients and healthcare professionals better manage Parkinson's outside of the clinical environment. PDapp strives to address this need combining mHealth features with the capabilities of the iHandU appcessory, a novel and seamless wearable device designed to measure wrist rigidity, bradykinesia (slow movement), and tremor, thus enabling continuous effective follow-up, while connecting patients and clinicians remotely. The PDapp system is comprised of a mobile application where patients can manage their medication, self-perform various symptom tests, and maintain clinicians informed of relevant events; a specialized web dashboard for clinicians to monitor all their patient's history and recent events; and a cloud database that exhibits existing data in real-time. The first prototype integrates all these components and provides a promising proof-of-concept that, with a few additions, can be a system that brings value to Parkinson's management. This application design and functionalities were developed jointly with clinicians, addressing their problems and needs. The collected feedback was very positive stating that its usability and simplicity is completely suitable for patients to use. PDapp will introduce a complete and innovative methodology to follow-up PD patient's disease progression and support clinicians during appointments and patients at home, guiding medication adjustment for better disease management. This system is intended as one more step to the PD mHealth ecosystem, improving follow-up and disease therapy yet reducing clinicians' workload.