Build on your knowledge of ActionScript to take the fast track developing iOS apps with Apple's latest language, Swift. Swift's syntax is easier to understand than Objective-C for people already familiar with ActionScript. At the same time it offers a number of new features and richer expressiveness than both ActionScript and Objective-C. Switching to a new platform usually involves migration on three levels: tools, workflow, and programming language. This book is structured as a guide that will help you on each level with step-by-step tutorials. Apart from the tutorials, it comes with recipes for some of the most popular mobile development topics: social network integration and messaging, taking advantage of device capabilities, networking and working with local and iCloud data, advertising in your app or game, and 2D and 3D graphics. The book also includes a final chapter that takes you through Apple's App Store submission process. Don't just build your apps, sell them. What You Will Learn: Expand your development knowledge to native iOS programming with Swift Use the latest Xcode 7 IDE Migrate your existing ActionScript projects to Swift Create advanced UI, leverage the device hardware, integrate with social networks, take advantage of 2D and 3D graphics Diagnose your app quickly with Xcode's debugger and instruments Prepare and submit our iOS app in Apple's App Store Who This Book is For: Migrating to Swift from Flash and ActionScript is for Flash and Adobe AIR developers who want to move on to native iOS programming with the latest Apple Swift language. It's for the seasoned ActionScript programmer who is looking to add another language and platform to their tool belt quickly. Migrating to Swift from Flash and ActionScript is a good choice for developers who learn by doing and don't have time to read thick manuals and books for beginners in order to start programming in a new language.

C. J. Date is one of the founding fathers of the relational database field. Many of today's seasoned database professionals "grew up" on Date's writings. Those same professionals, along with other serious database students and practitioners, form the core audience for Date's ongoing writing efforts. Date on Database: Writings 2000-2006 is a compilation of Date's most significant articles and papers over the past seven years. It gives readers a one-stop place in which to find Date's latest thinking on relational technology. Many papers are not easily found outside this book.

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.

Pro OGRE 3D Programming offers a detailed guide to the cross-platform Object-Oriented Graphics Rendering Engine (OGRE) 3D engine. OGRE provides an object-oriented interface to render 3D scenes. Commonly used in game creation, it can be utilized to create a variety of 3D based applications, including architectural visualization and simulations. The authors begin with obtaining the source code, move on to using the rendering library, and conclude with the polishing of the final application. Beginning-level knowledge of game design practices, intermediate-level knowledge of the C++ language, and a familiarity with open-source project-management tools such as CVS and Subversion are all recommended.

This book presents the latest research on the software crowdsourcing approach to develop large and complex software in a cloud-based platform. It develops the fundamental principles, management organization and processes, and a cloud-based infrastructure to support this new software development approach. The book examines a variety of issues in software crowdsourcing processes, including software quality, costs, diversity of solutions, and the competitive nature of crowdsourcing processes. Furthermore, the book outlines a research roadmap of this emerging field, including all the key technology and management issues for the foreseeable future. Crowdsourcing, as demonstrated by Wikipedia and Facebook for online web applications, has shown promising results for a variety of applications, including healthcare, business, gold mining exploration, education, and software development. Software crowdsourcing is emerging as a promising solution to designing, developing and maintaining software. Preliminary software crowdsourcing practices and platforms, including Apple's App Store and TopCoder, demonstrate the advantages of crowdsourcing in terms of software ecosystem expansion and product quality improvement.

This book constitutes the refereed proceedings of the Second International Conference on Technologies and Innovation, CITI 2016, held in Guayaquil, Ecuador, in November 2016. The 21 revised full papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on knowledge representation and natural language processing; Cloud and mobile computing; software engineering; expert systems and soft computing.

This book offers a selection of papers from the 2016 International Conference on Software Process Improvement (CIMPS'16), held between the 12th and 14th of October 2016 in Aguascalientes, Aguascalientes, Mexico. The CIMPS'16 is a global forum for researchers and practitioners to present and discuss the most recent innovations, trends, results, experiences and concerns in the different aspects of software engineering with a focus on, but not limited to, software processes, security in information and communication technology, and big data. The main topics covered include: organizational models, standards and methodologies, knowledge management, software systems, applications and tools, information and communication technologies and processes in non-software domains (mining, automotive, aerospace, business, health care, manufacturing, etc.) with a clear focus on software process challenges.

This is a book about numbers and how those numbers are represented in and operated on by computers. It is crucial that developers understand this area because the numerical operations allowed by computers, and the limitations of those operations, especially in the area of floating point math, affect virtually everything people try to do with computers. This book aims to fill this gap by exploring, in sufficient but not overwhelming detail, just what it is that computers do with numbers. Divided into two parts, the first deals with standard representations of integers and floating point numbers, while the second details several other number representations. Each chapter ends with exercises to review the key points. Topics covered include interval arithmetic, fixed-point numbers, floating point numbers, big integers and rational arithmetic. This book is for anyone who develops software including software engineerings, scientists, computer science students, engineering students and anyone who programs for fun.

This unique text/reference describes an exciting and novel approach to supercomputing in the DataFlow paradigm. The major advantages and applications of this approach are clearly described, and a detailed explanation of the programming model is provided using simple yet effective examples. The work is developed from a series of lecture courses taught by the authors in more than 40 universities across more than 20 countries, and from research carried out by Maxeler Technologies, Inc. Topics and features: presents a thorough introduction to DataFlow supercomputing for big data problems; reviews the latest research on the DataFlow architecture and its applications; introduces a new method for the rapid handling of real-world challenges involving large datasets; provides a case study on the use of the new approach to accelerate the Cooley-Tukey algorithm on a DataFlow machine; includes a step-by-step guide to the web-based integrated development environment WebIDE.

This volume provides a comprehensive state of the art overview of a series of advanced trends and concepts that have recently been proposed in the area of green information technologies engineering as well as of design and development methodologies for models and complex systems architectures and their intelligent components. The contributions included in the volume have their roots in the authors' presentations, and vivid discussions that have followed the presentations, at a series of workshop and seminars held within the international TEMPUS-project GreenCo project in United Kingdom, Italy, Portugal, Sweden and the Ukraine, during 2013-2015 and at the 1st - 5th Workshops on Green and Safe Computing (GreenSCom) held in Russia, Slovakia and the Ukraine. The book presents a systematic exposition of research on principles, models, components and complex systems and a description of industry- and society-oriented aspects of the green IT engineering. A chapter-oriented structure has been adopted for this book following a "vertical view" of the green IT, from hardware (CPU and FPGA) and software components to complex industrial systems. The 15 chapters of the book are grouped into five sections: (1) Methodology and Principles of Green IT Engineering for Complex Systems, (2) Green Components and Programmable Systems, (3) Green Internet Computing, Cloud and Communication Systems, (4) Modeling and Assessment of Green Computer Systems and Infrastructures, and (5) Gree

This book presents a design methodology that is practically applicable to the architectural design of a broad range of systems. It is based on fundamental design concepts to conceive and specify the required functional properties of a system, while abstracting from the specific implementation functions and technologies that can be chosen to build the system. Abstraction and precision are indispensable when it comes to understanding complex systems and precisely creating and representing them at a high functional level. Once understood, these concepts appear natural, self-evident and extremely powerful, since they can directly, precisely and concisely reflect what is considered essential for the functional behavior of a system. The first two chapters present the global views on how to design systems and how to interpret terms and meta-concepts. This informal introduction provides the general context for the remainder of the book. On a more formal level, Chapters 3 through 6 present the main basic design concepts, illustrating them with examples. Language notations are introduced along with the basic design concepts. Lastly, Chapters 7 to 12 discuss the more intricate basic design concepts of interactive systems by focusing on their common functional goal. These chapters are recommended to readers who have a particular interest in the design of protocols and interfaces for various systems. The didactic approach makes it suitable for graduate students who want to develop insights into and skills in developing complex systems, as well as practitioners in industry and large organizations who are responsible for the design and development of large and complex systems. It includes numerous tangible examples from various fields, and several appealing exercises with their solutions.

This book constitutes the refereed proceedings of the Third International Conference on Information Systems for Crisis Response and Management in Mediterranean Countries, ISCRAM-med 2016, held in Madrid, Spain, in October 2016. Information systems and technologies can play a key role in crisis management in order to support preparation, response, mitigation and recovery processes. Yet technology is not enough to guarantee a better management process, and therefore the conference does not only focus on engineering technologies, but also on their application and practical experiences. The 12 full and 8 short papers presented in this volume were carefully reviewed and selected from 36 submissions. They are organized in topical sections on mobile apps for citizens, modeling and simulation, development of information systems, information and knowledge management, collaboration and coordination, social computing, and issues in humanitarian crisis.

With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering. The core theoretical principles have been studied for many decades and there is now a comprehensive research literature that complements the extensive implementation experience. In this book the author presents a clear, thorough introduction to the essentials of Petri nets. He explains the core modeling techniques and analysis methods and he illustrates their usefulness with examples and case studies. Part I describes how to use Petri nets for modeling; all concepts are explained with the help of examples, starting with a generic, powerful model which is also intuitive and realistic. Part II covers the essential analysis methods that are specific to Petri nets, introducing techniques used to formulate key properties of system nets and algorithms for proving their validity. Part III presents case studies, each introducing new concepts, properties and analysis techniques required for very different modeling tasks. The author offers different paths among the chapters and sections: the elementary strand for readers who wish to study only elementary nets; the modeling strand for those who wish to study the modeling but not the analysis of systems; and finally the elementary models of the modeling strand for those interested in technically simple, but challenging examples and case studies. The author achieves an excellent balance between consistency, comprehensibility and correctness in a book of distinctive design. Among its characteristics, formal arguments are reduced to a minimum in the main text with many of the theoretical formalisms moved to an appendix, the explanations are supported throughout with fully integrated graphical illustrations, and each chapter ends with exercises and recommendations for further reading. The book is suitable for students of computer science and related subjects such as engineering, and for a broad range of researchers and practitioners.

This book describes an approach and supporting infrastructure to facilitate debugging the silicon implementation of a System-on-Chip (SOC), allowing its associated product to be introduced into the market more quickly. Readers learn step-by-step the key requirements for debugging a modern, silicon SOC implementation, nine factors that complicate this debugging task, and a new debug approach that addresses these requirements and complicating factors. The authors' novel communication-centric, scan-based, abstraction-based, run/stop-based (CSAR) debug approach is discussed in detail, showing how it helps to meet debug requirements and address the nine, previously identified factors that complicate debugging silicon implementations of SOCs. The authors also derive the debug infrastructure requirements to support debugging of a silicon implementation of an SOC with their CSAR debug approach. This debug infrastructure consists of a generic on-chip debug architecture, a configurable automated design-for-debug flow to be used during the design of an SOC, and customizable off-chip debugger software. Coverage includes an evaluation of the efficiency and effectiveness of the CSAR approach and its supporting infrastructure, using six industrial SOCs and an illustrative, example SOC model. The authors also quantify the hardware cost and design effort to support their approach.

This book presents a new procedural modelling methodology capable of producing traversable buildings constrained by arbitrary convex shapes, based on a pure treemap approach. The authors establish a process to change the format of interior rooms, through wall number modification and offer an adaptation of a "fake-concave" technique to support non-convex building layouts. It will also include: * A proposal for an extensible building ontology to guide the methodology process and support the generation of other architectural style buildings (e.g. roman houses); * A presentation of an ontology-based grammar to provide the procedural modelling methodology with production rules; * Experimental computer managed processes for the stochastic generation of buildings. Most of the existing solutions regarding building interiors only focus on the generation of floor plans mainly composed of rectangular shapes. Yet there are a wide variety of ancient and contemporary buildings that are composed of shapes other than rectangles, both internally and externally. Ontology-based Procedural Modelling of Traversable Buildings Composed by Arbitrary Shapes will address this by providing the Procedural Modelling field with processes and techniques capable of properly supporting for example, digital preservation of cultural heritage or extensive virtual urban environment productions, specifically ones involving the generation/reconstruction of virtual buildings with such geometric requirements.

This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016. The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.

Large Scale and Big Data: Processing and Management provides readers with a central source of reference on the data management techniques currently available for large-scale data processing. Presenting chapters written by leading researchers, academics, and practitioners, it addresses the fundamental challenges associated with Big Data processing tools and techniques across a range of computing environments. The book begins by discussing the basic concepts and tools of large-scale Big Data processing and cloud computing. It also provides an overview of different programming models and cloud-based deployment models. The book's second section examines the usage of advanced Big Data processing techniques in different domains, including semantic web, graph processing, and stream processing. The third section discusses advanced topics of Big Data processing such as consistency management, privacy, and security. Supplying a comprehensive summary from both the research and applied perspectives, the book covers recent research discoveries and applications, making it an ideal reference for a wide range of audiences, including researchers and academics working on databases, data mining, and web scale data processing. After reading this book, you will gain a fundamental understanding of how to use Big Data-processing tools and techniques effectively across application domains. Coverage includes cloud data management architectures, big data analytics visualization, data management, analytics for vast amounts of unstructured data, clustering, classification, link analysis of big data, scalable data mining, and machine learning techniques.

This book constitutes the refereed proceedings of the 10th IFIP WG 5.1 International Conference on Product Lifecycle Management, PLM 2013, held in Nantes, France, in July 2013. The 63 full papers presented together with 2 keynote talks were carefully reviewed and selected from 91 submissions. They are organized in the following topical sections: PLM for sustainability, traceability and performance; PLM infrastructure and implementation processes; capture and reuse of product and process information; PLM and knowledge management; enterprise system integration; PLM and influence of/from social networks; PLM maturity and improvement concepts; PLM and collaborative product development; PLM virtual and simulation environments; and building information modeling.

This book constitutes the refereed proceedings of the 31st International Symposium on Computer and Information Sciences, ISCIS 2016, held in Krakow, Poland, in October 2016. The 29 revised full papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on smart algorithms; data classification and processing; stochastic modelling; performance evaluation; queuing systems; wireless networks and security; image processing and computer vision.

This book focuses on the design, development, management, governance and application of evolving software processes that are aligned with changing business objectives, such as expansion to new domains or shifting to global production. In the context of an evolving business world, it examines the complete software process lifecycle, from the initial definition of a product to its systematic improvement. In doing so, it addresses difficult problems, such as how to implement processes in highly regulated domains or where to find a suitable notation system for documenting processes, and provides essential insights and tips to help readers manage process evolutions. And last but not least, it provides a wealth of examples and cases on how to deal with software evolution in practice. Reflecting these topics, the book is divided into three parts. Part 1 focuses on software business transformation and addresses the questions of which process(es) to use and adapt, and how to organize process improvement programs. Subsequently, Part 2 mainly addresses process modeling. Lastly, Part 3 collects concrete approaches, experiences, and recommendations that can help to improve software processes, with a particular focus on specific lifecycle phases. This book is aimed at anyone interested in understanding and optimizing software development tasks at their organization. While the experiences and ideas presented will be useful for both those readers who are unfamiliar with software process improvement and want to get an overview of the different aspects of the topic, and for those who are experts with many years of experience, it particularly targets the needs of researchers and Ph.D. students in the area of software and systems engineering or information systems who study advanced topics concerning the organization and management of (software development) projects and process improvements projects.

This book constitutes the refereed proceedings of the 22nd International Conference on Information and Software Technologies, ICIST 2016, held in Druskininkai, Lithuania, in October 2016. The 61 papers presented were carefully reviewed and selected from 158 submissions. The papers are organized in topical sections on information systems; business intelligence for information and software systems; software engineering; information technology applications.

This book constitutes the refereed proceedings of the SIGSAND/PLAIS EuroSymposium 2016 titled Information Systems: Development, Research, Applications, Education, held in Gdansk and Sopot, Poland, on September 29, 2016. The objective of this symposium is to promote and develop high-quality research on all issues related to systems analysis and design (SAND). It provides a forum for SAND researchers and practitioners in Europe and beyond to interact, collaborate, and develop their field. The 14 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections on information systems development, information systems management, and information systems learning.

Healthcare and well-being have captured the attention of established software companies, start-ups, and investors. Software is starting to play a central role for addressing the problems of the aging society and the escalating cost of healthcare services. Enablers of such digital health are a growing number of sensors for sensing the human body and communication infrastructure for remote meetings, data sharing, and messaging. The challenge that lies in front of us is how to effectively make use of these capabilities, for example to empower patients and to free the scarce resources of medical personnel. Requirements engineering is the process by which the capabilities of a software product are aligned with stakeholder needs and a shared understanding between the stakeholders and development team established. This book provides guide for what to look for and do when inquiring and specifying software that targets healthcare and well-being, helping readers avoid the pitfalls of the highly regulated and sensible healthcare domain are and how they can be overcome. This book brings together the knowledge of 22 researchers, engineers, lawyers, and CEOs that have experience in the development of digital health solutions. It represents a unique line-up of best practices and recommendations of how to engineer requirements for digital health. In particular the book presents: * The area of digital health, e-health, and m-health * Best practice for requirements engineering based on evidence from a large number of projects * Practical step-by-step guidelines, examples, and lessons-learned for working with laws, regulations, ethical issues, interoperability, user experience, security, and privacy * How to put these many concerns together for engineering the requirements of a digital health solution and for scaling a digital health product For anybody who intends to develop software for digital health, this book is an introduction and reference with a wealth of actionable insights. For students interested in understanding how to apply software to healthcare, the text introduces key topics and guides further studies with references to important literature.

The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015, and the 15th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC. The 16 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: security, service composition, communication protocols, business processes, distributed systems, and multi-agent systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.

This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.