English for tourism : contribution to language use through mobile learning

Tourism is growing and is becoming more competitive. Destinations need to find elements which demonstrate their uniqueness, the singularity which allows them to differentiate themselves from others. This struggle for uniqueness makes economies become more competitive and competition is a central element in the dynamics of Tourism. Technology is also an added value for tourism competitiveness, as it allows destinations to become internationalised and known worldwide. In this scenario, research has increased as a means to study Tourism trends in fields such as sociology and marketing. Nevertheless, there are areas in which there is not much research done and which are fundamental: these are the areas concerned with identities, communication and interpersonal relations. In this regard, Linguistics has a major role for different reasons: firstly, it studies language itself and through it, communication, secondly, language conveys culture and, thirdly, it is by enriching language users that innovation in Tourism and in knowledge, as a whole, is made possible. This innovation, on the other hand, has repercussions in areas such as management, internationalisation and marketing as well. It is, therefore, the objective of this thesis to report on how learning experiences take place in Tourism undergraduate English language classes as well as to give an account of enhanced results in classes where mobile learning was adopted. In this way, an alliance between practice and research was established. This is beneficial for the teaching and learning process because by establishing links between research based insight and practice, the outcome is grounded knowledge which helps make solid educational decisions. This research, therefore, allows to better understand if learners accept working with mobile technologies in their learning process. Before introducing any teaching and learning approach, it was necessary to be informed, as well, of how English for tourism programmes are organised. This thesis also illustrates through the premises of Systemic Functional Linguistics that language use can be enhanced by using mobile technology in Tourism undergraduate language classes.

Behavioral equivalence of hidden k-logics: an abstract algebraic approach

This work advances a research agenda which has as its main aim the application of Abstract Algebraic Logic (AAL) methods and tools to the specification and verification of software systems. It uses a generalization of the notion of an abstract deductive system to handle multi-sorted deductive systems which differentiate visible and hidden sorts. Two main results of the paper are obtained by generalizing properties of the Leibniz congruence — the central notion in AAL. In this paper we discuss a question we posed in [1] about the relationship between the behavioral equivalences of equivalent hidden logics. We also present a necessary and sufficient intrinsic condition for two hidden logics to be equivalent.

Reuse and integration of specification logics: the hybridisation perspective

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. It also captures the construction of first-order encodings of such hybridised institutions into theories in first-order logic. The method was originally developed to build suitable logics for the specification of reconfigurable software systems on top of whatever logic is used to describe local requirements of each system’s configuration. Hybridisation has, however, a broader scope, providing a fresh example of yet another development in combining and reusing logics driven by a problem from Computer Science. This paper offers an overview of this method, proposes some new extensions, namely the introduction of full quantification leading to the specification of dynamic modalities, and exemplifies its potential through a didactical application. It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration.