Download or read book Design Thinking Research written by Hasso Plattner and published by Springer. This book was released on 2015-09-08 with total page 288 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book summarizes the results of Design Thinking Research carried out at Stanford University in Palo Alto, California, USA and Hasso Plattner Institute in Potsdam, Germany. The authors offer readers a closer look at Design Thinking with its processes of innovations and methods. The contents of the articles range from how to design ideas, methods and technologies via creativity experiments and wicked problem solutions, to creative collaboration in the real world and the connectivity of designers and engineers. But the topics go beyond this in their detailed exploration of design thinking and its use in IT systems engineering fields and even from a management perspective. The authors show how these methods and strategies work in companies, introduce new technologies and their functions and demonstrate how Design Thinking can influence as diverse a topic area as marriage. Furthermore, we see how special design thinking use functions in solving wicked problems in complex fields. Thinking and creating innovations are basically and inherently human – so is Design Thinking. Due to this, Design Thinking is not only a factual matter or a result of special courses nor of being gifted or trained: it’s a way of dealing with our environment and improving techniques, technologies and life.
Download or read book Software Engineering and Formal Methods written by Dimitra Giannakopoulou and published by Springer. This book was released on 2014-08-04 with total page 412 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014. The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.
Download or read book The JCop language specification Version 1 0 April 2012 written by Malte Appeltauer and published by Universitätsverlag Potsdam. This book was released on 2012 with total page 60 pages. Available in PDF, EPUB and Kindle. Book excerpt: Program behavior that relies on contextual information, such as physical location or network accessibility, is common in today's applications, yet its representation is not sufficiently supported by programming languages. With context-oriented programming (COP), such context-dependent behavioral variations can be explicitly modularized and dynamically activated. In general, COP could be used to manage any context-specific behavior. However, its contemporary realizations limit the control of dynamic adaptation. This, in turn, limits the interaction of COP's adaptation mechanisms with widely used architectures, such as event-based, mobile, and distributed programming. The JCop programming language extends Java with language constructs for context-oriented programming and additionally provides a domain-specific aspect language for declarative control over runtime adaptations. As a result, these redesigned implementations are more concise and better modularized than their counterparts using plain COP. JCop's main features have been described in our previous publications. However, a complete language specification has not been presented so far. This report presents the entire JCop language including the syntax and semantics of its new language constructs.
Download or read book Parallel Computing Technologies written by Victor Malyshkin and published by Springer. This book was released on 2017-08-17 with total page 521 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 14th International Conference on Parallel Computing Technologies, PaCT 2017, held in Nizhny Novgorod, Russia, in September 2017. The 25 full papers and 24 short papers presented were carefully reviewed and selected from 93 submissions. The papers are organized in topical sections on mainstream parallel computing, parallel models and algorithms in numerical computation, cellular automata and discrete event systems, organization of parallel computation, parallel computing applications.
Download or read book Computer and Information Science written by Roger Lee and published by Springer. This book was released on 2016-06-25 with total page 189 pages. Available in PDF, EPUB and Kindle. Book excerpt: This edited book presents scientific results of the 15th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2016) which was held on June 26– 29 in Okayama, Japan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. The conference organizers selected the best papers from those papers accepted for presentation at the conference. The papers were chosen based on review scores submitted by members of the program committee, and underwent further rigorous rounds of review. This publication captures 12 of the conference’s most promising papers, and we impatiently await the important contributions that we know these authors will bring to the field of computer and information science.
Download or read book Software Composition written by Walter Binder and published by Springer. This book was released on 2013-06-13 with total page 152 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book constitutes the refereed proceedings of the 12th International Conference on Software Composition, SC 2013, held in Budapest, Hungary, in June 2013, co-located with the STAF 2013 Federated Conferences. The 9 revised full papers were carefully reviewed and selected from 21 submissions for inclusion in the book. The papers reflect all current research in software composition, including but not limited to component-based software engineering; composition and adaption techniques; composition algebras, calculi, and type systems; feature-oriented software development; verification, validation, and testing; dynamic composition and reconfiguration.
Download or read book Programming Languages with Applications to Biology and Security written by Chiara Bodei and published by Springer. This book was released on 2015-10-07 with total page 386 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Festschrift volume is published in honor of Pierpaolo Degano on the occasion of his 65th birthday and is the outcome of a colloquium held in Pisa, Italy, in June 2015. Pierpaolo Degano has worked on a large variety of topics including formal program semantics, concurrency theory, systems biology and security. The volume contains 22 refereed papers and one extended abstract, including personal memoirs and regular research papers by close collaborators and friends and a laudatio illustrating his distinguished career and his main scientific contributions. The papers deal with the main research topics explored by Pierpaolo Degano and those still under his investigation.
Download or read book Semantics in Data and Knowledge Bases written by Klaus-Dieter Schewe and published by Springer. This book was released on 2013-01-03 with total page 207 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Semantics in Data and Knowledge Bases, SDKB 2011, held in July 2011 in Zürich, Switzerland. The 8 revised full papers presented were carefully selected from numerous submissions covering topics of formal models for data and knowledge bases, integrity constraints maintenance and dependency theory, formal methods for data and knowledge base design, reasoning about data and knowledge base dynamics, adaptivity for personalised data and knowledge bases view-centered data- and knowledge-intensive systems, information integration in data and knowledge bases, knowledge discovery in data and knowledge bases, validation and verification of data and knowledge base designs, formal linguistics for data and knowledge bases, logical and mathematical foundations of semantics, semantics in data- and knowledge-intensive applications.
Download or read book Service Oriented Computing written by Chengfei Liu and published by Springer. This book was released on 2012-10-26 with total page 811 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the conference proceedings of the 10th International Conference on Service-Oriented Computing, ICSOC 2012, held in Shanghai, China in November 2012. The 32 full papers and 21 short papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on service engineering, service management, cloud, service QoS, service security, privacy and personalization, service applications in business and society, service composition and choreography, service scaling and cloud, process management, service description and discovery, service security, privacy and personalization, applications, as well as cloud computing.
Download or read book International Workshop on Context Oriented Programming written by and published by . This book was released on 2009 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Mobile Context Awareness written by Tom Lovett and published by Springer Science & Business Media. This book was released on 2012-04-23 with total page 193 pages. Available in PDF, EPUB and Kindle. Book excerpt: Mobile context-awareness is a popular research trend in the field of ubiquitous computing. Advances in mobile device sensory hardware and the rise of ‘virtual’ sensors such as web application programming interfaces (APIs) mean that the mobile user is exposed to a vast range of data that can be used for new advanced applications. Mobile Context Awareness presents work from industrial and academic researchers, focusing on novel methods of context acquisition in the mobile environment – particularly through the use of physical and virtual sensors – along with research into new applications utilising this context. In addition, the book provides insights into the technical and usability challenges involved in mobile context-awareness, as well as observations on current and future trends in the field.
Download or read book Coordination Models and Languages written by Marjan Sirjani and published by Springer. This book was released on 2012-06-09 with total page 289 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 14th International Conference on Coordination Models and Languages, COORDINATION 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 18 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems.
Download or read book High Performance Computing Systems Performance Modeling Benchmarking and Simulation written by Stephen A. Jarvis and published by Springer. This book was released on 2014-09-30 with total page 303 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 4th International Workshop, PMBS 2013 in Denver, CO, USA in November 2013. The 14 papers presented in this volume were carefully reviewed and selected from 37 submissions. The selected articles broadly cover topics on massively parallel and high-performance simulations, modeling and simulation, model development and analysis, performance optimization, power estimation and optimization, high performance computing, reliability, performance analysis, and network simulations.
Download or read book Semantics Logics and Calculi written by Christian W. Probst and published by Springer. This book was released on 2016-01-07 with total page 353 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis. The book features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life and are dedicated to them and to their work. The papers were presented at a colloquium at the Technical University of Denmark in January 2016.
Download or read book Embedded Systems Design Analysis and Verification written by Gunar Schirner and published by Springer. This book was released on 2013-06-13 with total page 368 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013. The 22 full revised papers presented together with 8 short papers were carefully reviewed and selected from 42 submissions. The papers have been organized in the following topical sections: design methodologies; non-functional aspects of embedded systems; verification; performance analysis; real-time systems; embedded system applications; and real-time aspects in distributed systems. The book also includes a special chapter dedicated to the BMBF funded ARAMIS project on Automotive, Railway and Avionics Multicore Systems.
Download or read book Web based Development in the Lively Kernel written by Jens Lincke and published by Universitätsverlag Potsdam. This book was released on 2012 with total page 70 pages. Available in PDF, EPUB and Kindle. Book excerpt: The World Wide Web as an application platform becomes increasingly important. However, the development of Web applications is often more complex than for the desktop. Web-based development environments like Lively Webwerkstatt can mitigate this problem by making the development process more interactive and direct. By moving the development environment into the Web, applications can be developed collaboratively in a Wiki-like manner. This report documents the results of the project seminar on Web-based Development Environments 2010. In this seminar, participants extended the Web-based development environment Lively Webwerkstatt. They worked in small teams on current research topics from the field of Web-development and tool support for programmers and implemented their results in the Webwerkstatt environment.
Download or read book Human Centered Software Product Lines written by Jean-Sébastien Sottet and published by Springer. This book was released on 2017-10-05 with total page 159 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book takes a unique HCI approach to the concept of Software Product Line (SPL) and discusses the peculiarities of human-computer interaction not usually addressed in more traditional approaches. SPL is based on industrial practices for defining a range of software products. SPL design identifies commonalities and differences between the various software versions, modelling and managing the software variability. Recent research has focused on reconciling the different viewpoints of SPL and HCI, and in particular emphasizing the specific variability of HCI and the management of complex SPL models that could benefit from HCI in terms of representation, manipulation and visualization. This edited volume includes research that addresses the SPL for HCI and HCI for SPL. In putting together these two research streams, the groundwork is laid for future research into this important area. Both the HCI and the software engineering communities will find this book an invaluable resource.
