Fundamental Approaches to Software Engineering

This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications

Fundamental Approaches to Software Engineering

This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications

Shared Mobility - Operations and Economics

In the last decade, ubiquity of the internet and proliferation of smart personal devices have given rise to businesses that are built on the foundation of the sharing economy. The mobility market has implemented the sharing economy model in many forms, including but not limited to, carsharing, ride-sourcing, carpooling, taxi-sharing, ridesharing, bikesharing, and scooter sharing. Among these shared-use mobility services, ridesharing services, such as peer-to-peer (P2P) ridesharing and ride-pooling systems, are based on sharing both the vehicle and the ride between users, offering several individual and societal benefits. Despite these benefits, there are a number of operational and economic challenges that hinder the adoption of various forms of ridesharing services in practice. This dissertation attempts to address these challenges by investigating these systems from two different, but related, perspectives. The successful operation of ridesharing services in practice requires solving large-scale ride-matching problems in short periods of time. However, the high computational complexity and inherent supply and demand uncertainty present in these problems immensely undermines their real-time application. In the first part of this dissertation, we develop techniques that provide high-quality, although not necessarily optimal, system-level solutions that can be applied in real time. More precisely, we propose a distributed optimization technique based on graph partitioning to facilitate the implementation of dynamic P2P ridesharing systems in densely populated metropolitan areas. Additionally, we combine the proposed partitioning algorithm with a new local search algorithm to design a proactive framework that exploits historical demand data to optimize dynamic dispatching of a fleet of vehicles that serve on-demand ride requests. The main purpose of these methods is to maximize the social welfare of the corresponding ridesharing services. Despite the necessity of developing real-time algorithmic tools for operation of ridesharing services, solely maximizing the system-level social welfare cannot result in increasing the penetration of shared mobility services. This fact motivated the second stream of research in this dissertation, which revolves around proposing models that take economic aspects of ridesharing systems into account. To this end, the second part of this dissertation studies the impact of subsidy allocation on achieving and maintaining a critical mass of users in P2P ridesharing systems under different assumptions. First, we consider a community-based ridesharing system with ride-back guarantee, and propose a traveler incentive program that allocates subsidies to a carefully selected set of commuters to change their travel behavior, and thereby, increase the likelihood of finding more compatible and profitable matches. We further introduce an approximate algorithm to solve large-scale instances of this problem efficiently. In a subsequent study for a cooperative ridesharing market with role flexibility, we show that there may be no stable outcome (a collusion-free pricing and allocation scheme). Hence, we introduced a mathematical formulation that yields a stable outcome by allocating the minimum amount of external subsidy. Finally, we propose a truthful subsidy scheme to determine matching, scheduling, and subsidy allocation in a P2P ridesharing market with incomplete information and a budget constraint on payment deficit. The proposed mechanism is shown to guarantee important economic properties such as dominant-strategy incentive compatibility, individual rationality, budget-balance, and computational efficiency. Although the majority of the work in this dissertation focuses on ridesharing services, the presented methodologies can be easily generalized to tackle related issues in other types of shared-use mobility services.PHDCivil EngineeringUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepblue.lib.umich.edu/bitstream/2027.42/169843/1/atafresh_1.pd

Bowdoin Orient v.139, no.1-26 (2009-2010)

https://digitalcommons.bowdoin.edu/bowdoinorient-2010s/1000/thumbnail.jp

Dictionary of World Biography

Jones, Barry Owen (1932– ). Australian politician, writer and lawyer, born in Geelong. Educated at Melbourne University, he was a public servant, high school teacher, television and radio performer, university lecturer and lawyer before serving as a Labor MP in the Victorian Parliament 1972–77 and the Australian House of Representatives 1977–98. He took a leading role in reviving the Australian film industry, abolishing the death penalty in Australia, and was the first politician to raise public awareness of global warming, the ‘post-industrial’ society, the IT revolution, biotechnology, the rise of ‘the Third Age’ and the need to preserve Antarctica as a wilderness. In the Hawke Government, he was Minister for Science 1983–90, Prices and Consumer Affairs 1987, Small Business 1987–90 and Customs 1988–90. He became a member of the Executive Board of UNESCO, Paris 1991–95 and National President of the Australian Labor Party 1992–2000, 2005–06. He was Deputy Chairman of the Constitutional Convention 1998. His books include Decades of Decision 1860– (1965), Joseph II (1968), Age of Apocalypse (1975), and he edited The Penalty is Death (1968). Sleepers, Wake!: Technology and the Future of Work was published by Oxford University Press in 1982, became a bestseller and has been translated into Chinese, Japanese, Korean, Swedish and braille. The fourth edition was published in 1995. Knowledge Courage Leadership, a collection of speeches and essays, appeared in 2016. He received a DSc for his services to science in 1988 and a DLitt in 1993 for his work on information theory. Elected FTSE (1992), FAHA (1993), FAA (1996) and FASSA (2003), he is the only person to have become a Fellow of four of Australia’s five learned Academies. Awarded an AO in 1993, named as one of Australia’s 100 ‘living national treasures’ in 1998, he was elected a Visiting Fellow Commoner of Trinity College, Cambridge in 1999. His autobiography, A Thinking Reed, was published in 2006 and The Shock of Recognition, about music and literature, in 2016. In 2014 he received an AC for services ‘as a leading intellectual in Australian public life

Dictionary of World Biography

Jones, Barry Owen (1932– ). Australian politician, writer and lawyer, born in Geelong. Educated at Melbourne University, he was a public servant, high school teacher, television and radio performer, university lecturer and lawyer before serving as a Labor MP in the Victorian Parliament 1972–77 and the Australian House of Representatives 1977–98. He took a leading role in reviving the Australian film industry, abolishing the death penalty in Australia, and was the first politician to raise public awareness of global warming, the ‘post-industrial’ society, the IT revolution, biotechnology, the rise of ‘the Third Age’ and the need to preserve Antarctica as a wilderness. In the Hawke Government, he was Minister for Science 1983–90, Prices and Consumer Affairs 1987, Small Business 1987–90 and Customs 1988–90. He became a member of the Executive Board of UNESCO, Paris 1991–95 and National President of the Australian Labor Party 1992–2000, 2005–06. He was Deputy Chairman of the Constitutional Convention 1998. His books include Decades of Decision 1860– (1965), Joseph II (1968), Age of Apocalypse (1975), and he edited The Penalty is Death (1968). Sleepers, Wake!: Technology and the Future of Work was published by Oxford University Press in 1982, became a bestseller and has been translated into Chinese, Japanese, Korean, Swedish and braille. The fourth edition was published in 1995. Knowledge Courage Leadership, a collection of speeches and essays, appeared in 2016