Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Formal Foundations of Reuse and Domain Engineering
This book constitutes the refereed proceedings of the 11th International Conference on Software Reuse, ICSR 2009, held in Falls Church, VA, USA, in September 2009. The 28 full papers were caryfully selected from numerous submissions. 2009 was the year that ICSR went back to its roots. The theme was Formal Foundations of Reuse and Domain Engineering. The theory and formal foundations that underlie current reuse and domain engineering practice were explored and current advancements to get an idea of where the field of reuse was headed, were looked at. Many of the papers in these proceedings reflect that theme, e.g. component reuse and verification, feature modeling, generators and model-driven development, industry experience, product lines, reuse and patterns, service-oriented environments.
The Scandal of Self-contradiction
Pier Paolo Pasolini (1922-1975) was both a writer and filmmaker deeply rooted in European culture, as well as an intellectual who moved between different traditions, identities and positions. Early on he looked to Africa and Asia for possible alternatives to the hegemony of Western Neocapitalism and Consumerism, and in his hands the Greek and Judeo-Christian Classics morphed into unsettling multistable figures constantly shifting between West and East, North and South, the present and the past, rationality and myth, identity and otherness. The contributions in this volume, which belong to different intellectual and disciplinary fields, are bound together by a fascination for Pasolini's ability to recognize contradictions, to intensify and multiply them, as well as to make them aesthetically and politically productive. What emerges is a "euro-eccentric" and multifaceted Pasolini of great interest for the present.
Marxism and Phenomenology
Marxism and Phenomenology: The Dialectical Horizons of Critique, edited by Bryan Smyth and Richard Westerman, offers new perspectives on the possibility of a philosophical outlook that combines Marxism and phenomenology in the critique of capitalism. Although Marxism’s focus on impersonal social structures and phenomenology’s concern with lived experience can make these traditions appear conceptually incompatible, the potential critical force of a theoretical reconciliation inspired several attempts in the twentieth century to articulate a phenomenological Marxism. Updating and extending this approach, the contributors to this volume identify and develop new and previously overlooked con...
Software Architecture
Welcome to the European Conference on Software Architecture (ECSA), which is the premier European software engineering conference. ECSA provides researchers and practitioners with a platform to present and discuss the most recent, innovative, and significant findings and experiences in the field of software architecture research and practice. The fourth edition of ECSA was built upon a history of a successful series of European workshops on software architecture held from 2004 through 2006 and a series of European software architecture conferences from 2007 through 2009. The last ECSA was merged with the 8th Working IEEE/IFIP Conference on Software Architecture (WICSA). Apart from the tradit...
The Ends of Utopian Thinking in Critical Theory
The book offers a critical account of how utopian thinking became defeated as a tool of philosophy whose explicit objective has been to not only analyse but emancipate the world. While such philosophy was originally inseparable from ideas of a radically better society it aimed to realise, many of its most influential practitioners today object to the use of utopian ideas. Countering this scepticism, the book argues in favour of utopian thinking. By elucidating a concept of utopia freed of its alleged pitfalls, the book contends that utopian thinking indeed presents an important resource for achieving emancipatory social goals.
Quality of Information and Communications Technology
This book constitutes the refereed proceedings of the 14th International Conference on the Quality of Information and Communications Technology, QUATIC 2021, held in Algarve, Portugal*, in September 2021. The 30 full papers and 9 short papers were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections: ICT verification and validation; software evolution; process modeling, improvement and assessment; quality aspects in quantum computing; safety, security, and privacy; quality aspects in machine learning, AI and data analytics; evidence-based software quality engineering; quality in cyber-physical systems; software quality education and training. *The conference was held virtually due to the COVID-19 pandemic.
Handbook of Research on Embedded Systems Design
As real-time and integrated systems become increasingly sophisticated, issues related to development life cycles, non-recurring engineering costs, and poor synergy between development teams will arise. The Handbook of Research on Embedded Systems Design provides insights from the computer science community on integrated systems research projects taking place in the European region. This premier references work takes a look at the diverse range of design principles covered by these projects, from specification at high abstraction levels using standards such as UML and related profiles to intermediate design phases. This work will be invaluable to designers of embedded software, academicians, students, practitioners, professionals, and researchers working in the computer science industry.
Computer Safety, Reliability, and Security
This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on dynamic fault trees; safety case and argumentation; formal verification; autonomous systems; static analysis and testing; safety analysis and assessment; safety and security.
Computer Safety, Reliability, and Security
This book constitutes the refereed proceedings of the 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018, held in Västerås, Sweden, in September 2018. The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk.
Advanced Information Systems Engineering
This book constitutes the refereed proceedings of the 11th International Conference on Advanced Information Systems Engineering, CAiSE'99 held in Heidelberg, Germany in June 1999. The 27 revised full papers presented together with 12 short research papers and two invited contributions were carefully selected from a total of 168 submissions. The papers are organized in topical sections on components, information systems management, method engineering, data warehouses, process modeling, CORBA and distributed information systems, workflow systems, heterogeneous databases, and information systems dynamics.
