Error[unknown-locale | Frontend.ProductSearchPage | section.bannerbox.prefix] Error[unknown-locale | Frontend.ProductSearchPage | section.bannerbox.publisher.all] Error[unknown-locale | Frontend.ProductSearchPage | section.bannerbox.titles]

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.showingresults]

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.whithin] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.facet.book] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.facet.pcycon] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.facet.en]

Domain-Specific Conceptual Modeling Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Domain-Specific Conceptual Modeling

Karagiannis, D. (Ed), Lee, M. (Ed), Hinkelmann, K. (Ed), Utz, W. (Ed) (2022)

This book demonstrates the significance of domain-specific conceptual modeling through new research and development approaches that are manifested in each of the chapters. They …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.HARD] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

Lee, R. (Ed) (2022)

This book presents scientific results of the 22nd ACIS International Fall Virtual Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.HARD] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Transactions on Large-Scale Data- and Knowledge-Centered Systems L Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Transactions on Large-Scale Data- and Knowledge-Centered Systems L

Hameurlain, A. (Ed), Tjoa, A. M. (Ed) (2021)

The LNCS journal Transactions on Large-Scale Data and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Formal Methods in Outer Space Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Formal Methods in Outer Space

Bartocci, E. (Ed), Falcone, Y. (Ed), Leucker, M. (Ed) (2021)

This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Design Thinking Research Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Design Thinking Research

Meinel, C. (Ed), Leifer, L. (Ed) (2021)

Extensive research conducted by the Hasso Plattner Design Thinking Research Program at Stanford University in Palo Alto, California, USA, and the Hasso Plattner Institute in …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.HARD] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Transactions on Rough Sets XXII Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Transactions on Rough Sets XXII

Peters, J. F. (Ed), Skowron, A. (Ed) (2020)

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Deductive Software Verification: Future Perspectives Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Deductive Software Verification: Future Perspectives

Ahrendt, W. (Ed), Beckert, B. (Ed), Bubel, R. (Ed), Hähnle, R. (Ed), Ulbrich, M. (Ed) (2020)

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification. Since the inception of the KeY project two decades …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Machine Learning for Dynamic Software Analysis: Potentials and Limits Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Machine Learning for Dynamic Software Analysis: Potentials and Limits

Bennaceur, A. (Ed), Hähnle, R. (Ed), Meinke, K. (Ed) (2018)

Machine learning of software artefacts is an emerging area of interaction between the machine learning and software analysis communities.  Increased productivity in software …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Finding Source Code on the Web for Remix and Reuse Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Finding Source Code on the Web for Remix and Reuse

Sim, S. E. (Ed), Gallardo-Valencia, R. E. (Ed) (2013)

In recent years, searching for source code on the web has become increasingly common among professional software developers and is emerging as an area of academic research. This …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.HARD] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Innovative Technologies for Dependable OTS-Based Critical Systems Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Innovative Technologies for Dependable OTS-Based Critical Systems

Cotroneo, D. (Ed) (2013)

The demand for large-scale dependable, systems, such as Air Traffic Management, industrial plants and space systems, is attracting efforts of many word-leading European companies …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.HARD] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Software Engineering for Self-Adaptive Systems Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Software Engineering for Self-Adaptive Systems

de Lemos, R. (Ed), Giese, H. (Ed), Müller, H. A. (Ed), Shaw, M. (Ed) (2013)

Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Patterns, Programming and Everything Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Patterns, Programming and Everything

Breitman, K. K. (Ed), Horspool, R. N. (Ed) (2012)

With 11 invited submissions from leading researchers and teams of researchers sharing one common characteristic ? all have worked with Dr. Judith Bishop during her long and …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.HARD] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Software and Systems Traceability Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Software and Systems Traceability

Huang, J. (Ed), Gotel, O. (Ed), Zisman, A. (Ed) (2012)

Software and Systems Traceability provides a comprehensive description of the practices and theories of software traceability across all phases of the software development …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.HARD] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

The Future of EU Agricultural Markets by AGMEMOD Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

The Future of EU Agricultural Markets by AGMEMOD

Chantreuil, F. (Ed), Hanrahan, K. F. (Ed), van Leeuwen, M. (Ed) (2012)

This book grasps the opportunity to show the strength of AGMEMOD in terms of baseline analysis at detailed regional and market levels, supported by an experienced team of …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.HARD.BP] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Facing the Multicore-Challenge II Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Facing the Multicore-Challenge II

Keller, R. (Ed), Kramer, D. (Ed), Weiss, J. (Ed) (2012)

This state-of-the-art survey features topics related to the impact of multicore, manycore, and coprocessor technologies in science and for large-scale applications in an …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Migratory Interactive Applications for Ubiquitous Environments Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Migratory Interactive Applications for Ubiquitous Environments

Paternò, F. (Ed) (2011)

Ubiquitous environments are important because they allow users to move about freely and continue the interaction with the available applications through a variety of interactive …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.HARD] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Specification and Verification of Multi-agent Systems Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Specification and Verification of Multi-agent Systems

Dastani, M. (Ed), Hindriks, K. V. (Ed), Meyer, J. (Ed) (2010)

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.HARD] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Evolving Towards the Internetworked Enterprise Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Evolving Towards the Internetworked Enterprise

Passiante, G. (Ed) (2010)

A new model of business has emerged within the Digital-Economy called Internetworked Enterprise (IE); it’s a model that posits networks, communities of individuals and refusal of …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.HARD] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Formal Methods: State of the Art and New Directions Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Formal Methods: State of the Art and New Directions

Boca, P. (Ed), Bowen, J. P. (Ed), Siddiqi, J. (Ed) (2010)

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.HARD] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Transactions on Aspect-Oriented Software Development VII Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Transactions on Aspect-Oriented Software Development VII

(2010)

– Those who want to learn about AOM ?nd in this special issue a concise collection of descriptions of solid and mature AOM approaches. They only have to take the time to …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]