Using formal methods to support testing

Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing

When local interaction does not suffice: Sources of firm innovation in urban Norway

The geographical sources of innovation of firms have been hotly debated. While the traditional view is that physical proximity within city-regions is key for the innovative capacity of firms, the literature on 'global pipelines' has been stressing the importance of establishing communication channels to the outside world. This paper uses a specifically tailored survey of the level of innovation of 1604 firms of more than 10 employees located in the five largest Norwegian city-regions (Oslo, Bergen, Stavanger, Trondheim, and Kristiansand) in order to determine a) the geographical dimension of the sources of innovation and b) the factors behind the propensity to innovate in Norwegian firms. The results stress that while interaction with a multitude of partners within Norwegian city-regions or with other national partners has a negligible effect on firm innovation, those firms with a greater diversity of international partners tend to innovate more and introduce more radical innovations. The results also highlight that the roots of this greater innovative capacity lie in a combination of firm – size of firms, share of foreign ownership, and sector – and cultural – the level of open-mindedness of managers – characteristics.Innovation; radical innovation; interaction; pipelines; partnerships; firms; city-regions; Norway

Developing sustainable business models for institutions’ provision of open educational resources: Learning from OpenLearn users’ motivations and experiences

Universities across the globe have, for some time, been exploring the possibilities for achieving public benefit and generating business and visibility through releasing and sharing open educational resources (OER). Many have written about the need to develop sustainable and profitable business models around the production and release of OER. Downes (2006), for example, has questioned the financial sustainability of OER production at scale. Many of the proposed business models focus on OER’s value in generating revenue and detractors of OER have questioned whether they are in competition with formal education. This paper reports on a study intended to broaden the conversation about OER business models to consider the motivations and experiences of OER users as the basis for making a better informed decision about whether OER and formal learning are competitive or complementary with each other. The study focused on OpenLearn - the Open University’s (OU) web-based platform for OER, which hosts hundreds of online courses and videos and is accessed by over 3,000,000 users a year. A large scale survey and follow-up interviews with OpenLearn users worldwide revealed that university provided OER can offer learners a bridge to formal education, allowing them to try out a subject before registering on a formal course and to build confidence in their abilities as learners. In addition, it was found that using OER during formal paid-for study can improve learners’ performance and self-reliance, leading to increased retention and satisfaction with the learning experience

Open educational resources for all? Comparing user motivations and characteristics across The Open University’s iTunes U channel and OpenLearn platform.

With the rise in access to mobile multimedia devices, educational institutions have exploited the iTunes U platform as an additional channel to provide free educational resources with the aim of profile-raising and breaking down barriers to education. For those prepared to invest in content preparation, it is possible to produce interactive, portable material that can be made available globally. Commentators have questioned both the financial implications for platform-specific content production, and the availability of devices for learners to access it (Osborne, 2012). The Open University (OU) makes its free educational resources available on iTunes U and via its web-based open educational resources (OER) platform, OpenLearn. The OU’s OER on iTunes U reached the 60 million download mark in 2013; its OpenLearn platform boasts 27 million unique visitors since 2006. This paper reports the results of a large-scale study of users of the OU’s iTunes U channel and OpenLearn platform. A survey of several thousand users revealed key differences in demographics between those accessing OER via the web and via iTunes U. In addition, the data allowed comparison between three groups: formal learners, informal learners and educators. The study raises questions about whether university-provided OER meet the needs of users and makes recommendations for how content can be modified to suit their needs. As the publishing of OER becomes core to business, we reflect on reasons why understanding users’ motivations and demographics is vital, allowing for needs-led resource provision and content that is adapted to best achieve learner satisfaction, and to deliver institutions’ social mission

A debugging engine for parallel and distributed programs

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.In the last decade a considerable amount of research work has focused on distributed debugging, one of the crucial fields in the parallel software development cycle. The productivity of the software development process strongly depends on the adequate definition of what debugging tools should be provided, and what debugging methodologies and functionalities should these tools support. The work described in this dissertation was initiated in 1995, in the context of two research projects, the SEPP (Software Engineering for Parallel Processing) and HPCTI (High-Performance Computing Tools for Industry), both sponsored by the European Union in the Copernicus programme, which aimed at the design and implementation of an integrated parallel software development environment. In the context of these projects, two independent toolsets have been developed, the GRADE and EDPEPPS parallel software development environments. Our contribution to these projects was in the debugging support. We have designed a debugging engine and developed a prototype, which was integrated the both toolsets (it was the only tool developed in the context of the SEPP and HPCTI projects which achieved such a result). Even after the closing of those research projects, further research work on distributed debugger has been carried on, which conducted to the re-design and re-implementation of the debugging engine. This dissertation describes the debugging engine according to its most up-to-date design and implementation stages. It also reposts some of the experimentalworkmade with both the initial and the current implementations, and how it contributed to validate the design and implementations of the debugging engine

A compendium of Technologies, Practices, Services and Policies for Scaling Climate Smart Agriculture in Odisha (India)

Stakeholders engaged in agricultural research for development (AR4D) are increasingly tackling risks associated with climate change in smallholder systems. Accordingly, development and scaling of climate-smart agriculture (CSA) are one of the priorities for all the organizations, departments and ministries associated with the farm sector. Having a ‘one-stop-shop’ compiled in the format of a compendium for CSA technologies, practices and services would therefore serve a guide for all the stakeholders for scaling CSA in smallholder systems. Bringing out a Compendium on Climate-Smart Agriculture (CSA) for Odisha, India was therefore thought of during the workshop on ‘Scaling Climate-Smart Agriculture in Odisha’ organized at Bhubaneswar on 18-19 July 2018 by International Rice Research Institute (IRRI) in collaboration with Department of Agriculture (DoA) & Farmers’ Empowerment, Indian Council of Agricultural Research-National Rice Research Institute (ICAR-NRRI), Orissa University of Agriculture and Technology (OUAT) & International Maize and Wheat Improvement Center (CIMMYT) under the aegis of CGIAR Research program on Climate Change, Agriculture and Food Security (CCAFS). The main objectives to bring forth this compendium are: to argue the case for agriculture policies and practices that are climate-smart; to raise awareness of what can be done to make agriculture policies and practices climatesmart; and to provide practical guidance and recommendations that are well referenced and, wherever possible, based on lessons learned from practical action. CSA programmes are unlikely to be effective unless their implementation is supported by sound policies and institutions. It is therefore important to enhance institutional capacities in order to implement and replicate CSA strategies. Institutions are vital to agricultural development as well as the realisation of resilient livelihoods.They are not only a tool for farmers and decision-makers, but are also the main conduit through which CSA practices can be scaled up and sustained. The focus in this compendium is on CSA and it’s relevant aspects, i.e., (i) technologies and practices, (ii) services, (iii) technology targeting, (iv) business models, (v) capacity building, and (vi) policies. The approaches and tools available in the compendium span from face-to-face technicianfarmer dialogues to more structured exchanges of online and offline e-learning. In every scenario it is clear that tailoring to local expectations and needs is key. In particular, the voice of farmers is essential to be captured as they are the key actors to promote sustainable agriculture, and their issues need to be prioritized. CSA practices are expected to sustainably increase productivity and resilience (adaptation), reduce Greenhouse Gases (mitigation), and enhance achievement of national food security along with sustainable development goals. CSA is widely expected to contribute towards achieving these objectives and enhance climate change adaptation. CSA practices have to be included in State’s Climate Policy as a priority intervention as the state steps up efforts to tackle climate change. Furthermore, emphasis shoud be laid on CSA training for a sustainable mode to enhance CSA adoption in the state hence the relevance of developing this document. The adaption of climate related knowledge, technologies and practices to local conditions, promoting joint learning by farmers, researchers, rural advisor and widely disseminating CSA practices, is critical. This compendium brings together a collection of experiences from different stakeholders with background of agricultural extension and rural advisory services in supporting CSA. The contributions are not intended to be state-of-the art academic articles but thought and discussion pieces of work in progress. The compendium itself is a ‘living‘ document which is intended to be revised periodically

230501

Cooperative Vehicular Platooning (Co-VP) is a paradigmatic example of a Cooperative Cyber-Physical System (Co-CPS), which holds the potential to vastly improve road safety by partially removing humans from the driving task. However, the challenges are substantial, as the domain involves several topics, such as control theory, communications, vehicle dynamics, security, and traffic engineering, that must be coupled to describe, develop and validate these systems of systems accurately. This work presents a comprehensive survey of significant and recent advances in Co-VP relevant fields. We start by overviewing the work on control strategies and underlying communication infrastructures, focusing on their interplay. We also address a fundamental concern by presenting a cyber-security overview regarding these systems. Furthermore, we present and compare the primary initiatives to test and validate those systems, including simulation tools, hardware-in-the-loop setups, and vehicular testbeds. Finally, we highlight a few open challenges in the Co-VP domain. This work aims to provide a fundamental overview of highly relevant works on Co-VP topics, particularly by exposing their inter-dependencies, facilitating a guide that will support further developments in this challenging field.info:eu-repo/semantics/publishedVersio

Understanding the Turbulence of Business Environment in Telecom Industry: Empirical Evidence from Indonesia

Previous studies have shown that business performance is mostly determined by the ability of a company to create competitive advantage. However, the rapid changes in technology, markets, regulations and hypercompetition have made the business environment increasingly uncertain and unpredictable so that it can erode competitive advantage. This phenomenon is known as the turbulence of business environment and can cause a company to have difficulty maintaining its competitive advantage so that it is very interesting to study further. The purpose of this study is to understand how the turbulence of business environment occurs in the telecommunications industry in Indonesia. The study involved 213 leaders of business units of telecommunications operators in Indonesia as research respondents. The research methods used are descriptive survey and explanatory survey using component-based structural modeling, Partial Least Square-Path Modeling (PLS-PM). The results of the study showed that the telecommunications industry in Indonesia has experienced high turbulence of business environment, caused mainly by competitive turbulence. However, it was found that the technological turbulence and the market turbulence have contributed the most dominant to the occurrence of turbulence business environment in telecommunication industry. This study also discussed the problem solving of the business environment turbulence and recommendations for the sustainability of the telecommunications industry in Indonesia.*****Tujuan dari penelitian ini adalah untuk mendapatkan gambaran bagaimana turbulensi lingkungan bisnis yang terjadi pada industri telekomunikasi di Indonesia. Penelitian melibatkan pimpinan unit bisnis penyelenggara telekomunikasi sebagai responden penelitian. Metode penelitian yang digunakan adalah metode descriptive survey dan explanatory survei menggunakan pemodelan struktural berbasis komponen yaitu Partial Least Square-Path Modelling (PLS-PM). Hasil penelitian menunjukkan bahwa industri penyelenggaraan telekomunikasi di Indonesia mengalami gejolak turbulensi lingkungan bisnis yang tinggi, disebabkan terutama oleh turbulensi lingkungan kompetisi. Meskipun demikian, ditemukan bahwa sesungguhnya turbulensi lingkungan teknologi dan turbulensi lingkungan pasar yang berkontribusi paling dominan terhadap terjadinya turbulensi lingkungan bisnis pada industri telekomunikasi. Dalam penelitian ini juga dibahas pemecahan masalah turbulensi lingkungan bisnis tersebut dan rekomendasinya bagi keberlangsungan industri telekomunikasi di Indonesia