Download or read book Fundamentals of Software Engineering written by Mehdi Dastani and published by Springer. This book was released on 2017-10-10 with total page 270 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017. The 16 full papers presented in this volume were carefully reviewed and selected from 49 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.
Download or read book Advances in Service Oriented and Cloud Computing written by Zoltán Ádám Mann and published by Springer. This book was released on 2018-04-02 with total page 201 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the technical papers presented in the workshops, which took place at the 6th European Conference on Service-Oriented and Cloud Computing, ESOCC 2017, held in Oslo, Norway, September 2017: First International Workshop on Business Process Management in the Cloud, BPM@Cloud 2017; Third International Workshop on Cloud Adoption and Migration, CloudWays 2017. The 9 full papers were carefully reviewed and selected from 12 submissions. In addition, the volume also contains 8 EU Projects papers, describing projects presented at the European Projects Forum, which took place at ESOCC 2017. The papers focus on specific topics in service-oriented and cloud computing domains such as limits and/or advantages of existing cloud solutions, future internet technologies, efficient and adaptive deployment and management of service-based applications across multiple clouds, novel cloud service migration practices and solutions, digitization of enterprises in the cloud computing era, federated cloud networking services.
Download or read book Overlooked Cities written by Hanna A. Ruszczyk and published by Routledge. This book was released on 2020-12-29 with total page 226 pages. Available in PDF, EPUB and Kindle. Book excerpt: Overlooked Cities reflects and impacts the changing landscape of urban studies and geography from the perspective of smaller and more regional cities in the urban South. It critically examines the ways in which cities are uniquely positioned within different urban and knowledge hierarchies. The book unpacks the dynamics of “overlooked-ness” in these cities, identifies emerging trends and processes that characterise such cities and provides alternative sites for comparative urban theory. It is organised into two themes: firstly, politics and power and secondly, production and negotiation of knowledge. The authors share a commitment to challenging the unevenness of urban knowledge production by approaching these cities on their own terms. Only then can we harness the insights emanating from these overlooked cities, and contribute to a deeper and richer understanding of the urban itself. This collection of essays, focusing on 13 cities in nine countries and across three continents (Luzhou, China; Bharatpur, Nepal; Bloemfontein/Mangaung and Pretoria/Tshwane, South Africa; Zarqa, Jordan; Santa Fe, Argentina; Manizales, Colombia; Arequipa and Trujillo, Peru; Dili, Timor-Leste; Bandar Lampung, Semarang and Bontang, Indonesia) makes a timely contribution to urban scholarship. The volume will be of interest to scholars from the disciplines of urban studies, geography, development and anthropology, as well as postgraduate students researching the global South and third year undergraduate students studying cities and urban studies, development and critical thinking.
Download or read book Global Planning Innovations for Urban Sustainability written by Sébastien Darchen and published by Routledge. This book was released on 2018-11-01 with total page 334 pages. Available in PDF, EPUB and Kindle. Book excerpt: As the world becomes more urbanised, solutions are required to solve current challenges for three arenas of sustainability: social sustainability, environmental sustainability and urban economic sustainability. This edited volume interrogates innovative solutions for sustainability in cities around the world. The book draws on a group of 12 international case studies, including Vancouver and Calgary in Canada, San Francisco and Los Angeles in the US (North America), Yogyakarta in Indonesia, Seoul in Korea (South-East Asia), Medellin in Colombia (South America), Helsinki in Finland, Freiburg in Germany and Seville in Spain (Europe). Each case study provides key facts about the city, presents the particular urban sustainability challenge and the planning innovation process and examines what trade-offs were made between social, environmental and economic sustainability. Importantly, the book analyses to what extent these planning innovations can be translated from one context to another. This book will be essential reading to students, academics and practitioners of urban planning, urban sustainability, urban geography, architecture, urban design, environmental sciences, urban studies and politics.
Download or read book Sustainability in Practice written by Walter Leal Filho and published by Springer Nature. This book was released on 2023-10-17 with total page 600 pages. Available in PDF, EPUB and Kindle. Book excerpt: Sustainability is now a widely spread concept, and much progress has been achieved since the 1970s, when it started to be widely discussed. At present, many international organizations and scientists are active in implementing sustainable development as a whole and the UN Sustainable Development Goals (SDGs) in particular. Nevertheless, the main research agenda is being led by some countries, providing a good opportunity for other nations and regions which have not yet been so active, to bring their viewpoints to the global discussion. One of these regions is Latin America. Consistent with the need for more cross-sectorial and cross-cultural interactions among the various stakeholders working in the field of sustainability in Latin America and beyond, this book pursues two main aims: a) to provide research institutions, universities, NGOs, government agencies, and enterprises from the region with an opportunity to present their works in the field of sustainability and b) to document and promote ideas and experiences acquired in the execution of sustainability projects, especially successful initiatives and good practice across the Latin America region. Last but not least, a further aim of the book is to present methodological approaches and experiences deriving from case studies and projects, which aim to show how sustainability may be enhanced in practice.
Download or read book Fundamental Approaches to Software Engineering written by Perdita Stevens and published by Springer. This book was released on 2016-03-22 with total page 440 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They were organized in topical sections named: concurrent and distributed systems; model-driven development; analysis and bug triaging; probabilistic and stochastic systems; proof and theorem proving; and verification.
Download or read book Handbook of Research on Applied Social Psychology in Multiculturalism written by Christiansen, Bryan and published by IGI Global. This book was released on 2021-06-18 with total page 358 pages. Available in PDF, EPUB and Kindle. Book excerpt: Social psychology is the scientific study of how the thoughts, feelings, and behaviors of individuals are influenced by the actual, imagined, and implied presence of others. In this definition, scientific refers to the empirical investigation using the scientific method, while the terms thoughts, feelings, and behaviors refer to the psychological variables that can be measured in humans. Moreover, the notion that the presence of others may be imagined or implied suggests that humans are malleable to social influences even when alone, such as when watching videos or quietly appreciating art. In such situations, people can be influenced to follow internalized cultural norms. Social psychology deals with social influence, social perception, and social interaction. The research in this field deals with what shapes our attitudes and how we develop prejudice. The Handbook of Research on Applied Social Psychology in Multiculturalism explores social psychology within the context of multiculturalism and the way society deals with cultural diversity at national and community levels. It will cover major topics of social psychology such as group behavior, social perception, leadership, non-verbal behavior, conformity, aggression, and prejudice. This book will deal with social psychology with a direct focus on how different cultures can coexist peacefully by preserving, respecting, and even encouraging cultural diversity, along with a focus on the psychology that is hindering these efforts. This book is essential for researchers in social psychology and the social sciences, activists, psychologists, practitioners, researchers, academicians, and students interested in how social psychology interacts with multiculturalism.
Download or read book Formal Methods written by Klaus Havelund and published by Springer. This book was released on 2018-07-11 with total page 702 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.
Download or read book Integrated Formal Methods written by Wolfgang Ahrendt and published by Springer Nature. This book was released on 2019-11-22 with total page 554 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.
Download or read book Latin American Comics in the Twenty First Century written by James Scorer and published by University of Texas Press. This book was released on 2024-06-11 with total page 277 pages. Available in PDF, EPUB and Kindle. Book excerpt: How twenty-first-century Latin American comics transgress social, political, and cultural frontiers. Given comics’ ability to cross borders, Latin American creators have used the form to transgress the political, social, spatial, and cultural borders that shape the region. A groundbreaking and comprehensive study of twenty-first-century Latin American comics, Latin American Comics in the Twenty-First Century documents how these works move beyond national boundaries and explores new aspects of the form, its subjects, and its creators. Latin American comics production is arguably more interconnected and more networked across national borders than ever before. Analyzing works from Argentina, Chile, Colombia, Mexico, Peru, and Uruguay, James Scorer organizes his study around forms of “transgression,” such as transnationalism, border crossings, transfeminisms, punk bodies, and encounters in the neoliberal city. Scorer examines the feminist comics collective Chicks on Comics; the DIY comics zine world; nonfiction and journalistic comics; contagion and zombie narratives; and more. Drawing from archives across the United States, Europe, and Latin America, Latin American Comics in the Twenty-First Century posits that these comics produce micronarratives of everyday life that speak to sites of social struggle shared across nation states.
Download or read book Urban Space experiences and Reflections from the Global South written by Hernández García, Jaime and published by Sello Editorial Javeriano Cali. This book was released on 2018-12-14 with total page 404 pages. Available in PDF, EPUB and Kindle. Book excerpt: The structuring of Urban Space is as topical as ever in this era of climate change, hyper-urbanisation, post-digital labour markets, and geo-political power shifts. Scholarship of the contemporary urban condition is dominated by studies and examples drawn from the global north. Yet, cities of the global south are distinctive from those of the global north. Socio-political conditions structure patterns and practices of urban reproduction and, in turn, Urban Space reflects conditions in the Global South. The result is different space related outcomes. This is the central topic of this collection. In this book, a unique collection of case study-based accounts posits both English and Spanish academic literature to interpret and reinterpret the appropriation, negotiation and reconfiguration of Urban Space in cities, from Colombia to Namibia. This collection will be of particular interest to urban scholars and others interested in contemporary urban change, especially those with an interest in the Global South. Readers will encounter new perspectives on the State’s enduring influence in urban land and territory reconfiguration and the contrasting wider rhetoric that affords and legitimises a key role for the private sector. The case studies also illuminate opportunities and possibilities for grassroots organising to challenge prevailing city actor hierarchies. They also highlight the political-economic consequences of particular cases of bus rapid transport projects for spatial and social segregation. Across these and other topics, recurring themes of inequality, governance, and environment are investigated in contested urban terrains. The result is a unique collection of viewpoints, with a common, critical narrative on the present and future challenges facing cities of the Global South.
Download or read book The Illicit and Illegal in Regional and Urban Governance and Development written by Francesco Chiodelli and published by Routledge. This book was released on 2017-09-27 with total page 385 pages. Available in PDF, EPUB and Kindle. Book excerpt: Discussions of the illicit and the illegal have tended to be somewhat restricted in their disciplinary range, to date, and have been largely confined to the literatures of anthropology, criminology, policing and, to an extent, political science. However, these debates have impinged little on cognate literatures, not least those of urban and regional studies which remain almost entirely undisturbed by such issues. This volume aims to open up debates across a range of cognate disciplines. The Illicit and Illegal in Regional and Urban Governance and Development is a multidisciplinary volume that aims to open up these debates, extending them empirically and questioning the dominant discussions of governance and development that have been rooted largely or entirely in the realm of licit and legal actors. The book investigates these issues with reference to a variety of different geographical contexts, including, but not limited to, places traditionally considered to be associated with illegal activities and extensive illicit markets, such as some regions in the so-called Global South. The chapters consider the ways in which these questions deeply affect the daily lives of several cities and regions in some advanced countries. Their comparative perspectives will demonstrate that the illicit and the illegal are an underappreciated structural aspect of current urban and regional governance and development across the globe. The book is an edited collection of research-informed essays, which will primarily be of interest to those taking advanced undergraduate and taught postgraduate courses in human geography, urban and regional planning and a range of social science disciplines that have an interest in urban and regional issues and issues related to crime and corruption.
Download or read book Cities for Life written by Jason Corburn and published by Island Press. This book was released on 2021-11-16 with total page 290 pages. Available in PDF, EPUB and Kindle. Book excerpt: Environmental Design Research Association (EDRA) Place Book Award Winner (2022) What if cities around the world actively worked to promote the health and healing of all of their residents? Cities contribute to the traumas that cause unhealthy stress, with segregated neighborhoods, insecure housing, few playgrounds, environmental pollution, and unsafe streets, particularly for the poor and residents who are Black, Indigenous, and People of Color. Some cities around the world are already helping their communities heal by investing more in peacemaking and parks than in policing; focusing on community decision-making instead of data surveillance; changing regulations to permit more libraries than liquor stores; and building more affordable housing than highways. These cities are declaring racism a public health and climate change crisis, and taking the lead in generating equitable outcomes. In Cities for Life, public health expert Jason Corburn shares lessons from three of these cities: Richmond, California; Medellín, Colombia; and Nairobi, Kenya. Corburn draws from his work with citizens, activists, and decision-makers in these cities over a ten-year period, as individuals and communities worked to heal from trauma—from gun violence, housing and food insecurity, and poverty. Corburn shows how any community can rebuild their social institutions, practices, and policies to be more focused on healing and health. This means not only centering those most traumatized in decision-making, Corburn explains, but confronting historically discriminatory, exclusionary, and racist urban institutions, and promoting healing-focused practices, place-making, and public policies. Cities for Life is essential reading for urban planning, design, healthcare, and public health professionals as they work to reverse entrenched institutional practices through new policies, rules, norms, and laws that address their damage and promote health and healing.
Download or read book OECD Public Governance Reviews OECD Integrity Review of Nuevo Le n Mexico Sustaining Integrity Reforms written by OECD and published by OECD Publishing. This book was released on 2018-11-21 with total page 240 pages. Available in PDF, EPUB and Kindle. Book excerpt: This review analyses the integrity system of Nuevo León, Mexico, as well as its efforts to build a culture of integrity in the public administration. It looks at mechanisms for providing timely advice and guidance to public officials when they are confronted with integrity-related questions and ...
Download or read book Learning Design and Technology written by J. Michael Spector and published by Springer Nature. This book was released on 2023-11-15 with total page 4144 pages. Available in PDF, EPUB and Kindle. Book excerpt: The multiple, related fields encompassed by this Major Reference Work represent a convergence of issues and topics germane to the rapidly changing segments of knowledge and practice in educational communications and technology at all levels and around the globe. There is no other comparable work that is designed not only to gather vital, current, and evolving information and understandings in these knowledge segments but also to be updated on a continuing basis in order to keep pace with the rapid changes taking place in the relevant fields. The Handbook is composed of substantive (5,000 to 15,000 words), peer-reviewed entries that examine and explicate seminal facets of learning theory, research, and practice. It provides a broad range of relevant topics, including significant developments as well as innovative uses of technology that promote learning, performance, and instruction. This work is aimed at researchers, designers, developers, instructors, and other professional practitioners.
Download or read book The Persistence of Violence written by Toby Miller and published by Rutgers University Press. This book was released on 2020-07-17 with total page 233 pages. Available in PDF, EPUB and Kindle. Book excerpt: Colombia’s headline story, about the peace process with guerrilla and its attendant controversies, does not consider the fundamental contradiction of a nation that spans generosity and violence, warmth and hatred—products of its particular pattern of invasion, dispossession, and enslavement. The Persistence of Violence fills that gap in understanding. Colombia is a place that is two countries in one—the ideal and the real—summed up in the idiomatic expression, not unique to Colombia, but particularly popular there, "Hecha la ley, hecha la trampa" (When you pass a law, you create a loophole). Less cynically, and more poetically, the Nobel Laureate Gabriel García Márquez deemed Colombians capable of both the most noble acts and the most abject ones, in a world where it seems anyone might do anything, from the beautiful to the horrendous.The Persistence of Violence draws on those contradictions and paradoxes to look at how violence—and resistance to it—characterize Colombian popular culture, from football to soap opera to journalism to tourism to the environment.
Download or read book Leveraging Applications of Formal Methods Verification and Validation Discussion Dissemination Applications written by Tiziana Margaria and published by Springer. This book was released on 2016-10-04 with total page 874 pages. Available in PDF, EPUB and Kindle. Book excerpt: The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS.
