This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; development of transformations; and applications and case studies.

The book addresses the need to investigate new approaches to lower energy requirement in multiple application areas and serves as a guide into emerging circuit technologies. It explores revolutionary device concepts, sensors, and associated circuits and architectures that will greatly extend the practical engineering limits of energy-efficient computation. The book responds to the need to develop disruptive new system architectures and semiconductor processes aimed at achieving the highest level of computational energy efficiency for general purpose computing systems. Discusses unique technologies and material only available in specialized journal and conferences. Covers emerging materials and device structures, such as ultra-low power technologies, nanoelectronics, and microsystem manufacturing. Explores semiconductor processing and manufacturing, device design, and performance. Contains practical applications in the engineering field, as well as graduate studies. Written by international experts from both academia and industry.

This book provides a platform for addressing human factors in software and systems engineering, both pushing the boundaries of current research and responding to new challenges, fostering new research ideas in the process. Topics include evolutionary and complex systems, human systems integration, smart grids and infrastructure, workforce training requirements, systems engineering education, and defense and aerospace. Based on the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, held on July 17-21, 2017, Los Angeles, USA, this book is an inspiring guide for all researchers and professionals in the field of human factors, software and systems engineering.

This book embarks on a mission to dissect, unravel and demystify the concepts of Web services, including their implementation and composition techniques. It provides a comprehensive perspective on the fundamentals of implementation standards and strategies for Web services (in the first half of the book), while also presenting composition techniques for leveraging existing services to create larger ones (in the second half). Pursuing a unique approach, it begins with a sound overview of concepts, followed by a targeted technical discussion that is in turn linked to practical exercises for hands-on learning. For each chapter, practical exercises are available on Github. Mainly intended as a comprehensive textbook on the implementation and composition of Web services, it also offers a useful reference guide for academics and practitioners. Lecturers will find this book useful for a variety of courses, from undergraduate courses on the foundational technology of Web services through graduate courses on complex Web service composition. Students and researchers entering the field will benefit from the combination of a broad technical overview with practical self-guided exercises. Lastly, professionals will gain a well-informed grasp of how to synthesize the concepts of conventional and "newer" breeds of Web services, which they can use to revise foundational concepts or for practical implementation tasks.

This book constitutes the thoroughly refereed proceedings of three international workshops held in Essen, Germany, in conjunction with the 29th International Conference on Advanced Information Systems Engineering, CAiSE 2017, in June 2017. The 11 full papers presented were carefully reviewed and selected from 27 submissions. The workshops were the 4th International Workshop on Advances in Services Design Based on the Notion of Capability (ASDENCA); the 5th International Workshop on Cognitive Aspects of Information Systems Engineering (COGNISE); and the First International Workshop on Teaching for Smart Information Systems - Smart Information Systems for Teaching (T4SIS4T), which took place as a dedicated session under the umbrella of the COGNISE workshop.

This book presents a coherent, novel vision of Smart Cities, built around a value-driven architecture. It describes the limitations of the contemporary notion of the Smart City and argues that the next developmental step must actively include not only the physical infrastructure, but information technology and human infrastructure as well, requiring the intensive integration of technical solutions from the Internet of Things (IoT) and social computing. The book is divided into five major parts, the first of which provides both a general introduction and a coherent vision that ties together all the components that are required to realize the vision for Smart Cities. Part II then discusses the provisioning and governance of Smart City systems and infrastructures. In turn, Part III addresses the core technologies and technological enablers for managing the social component of the Smart City platform. Both parts combine state-of-the-art research with cutting-edge industrial efforts in the respective fields. Lastly, Part IV details a road map to achieving Cyber-Human Smart Cities. Rounding out the coverage, it discusses the concrete technological advances needed to move beyond contemporary Smart Cities and toward the Smart Cities of the future. Overall, the book provides an essential overview of the latest developments in the areas of IoT and social computing research, and outlines a research roadmap for a closer integration of the two areas in the context of the Smart City. As such, it offers a valuable resource for researchers and graduate students alike.

Master build and release management with Team Foundation Service and Visual Studio Team Services to facilitate the continuous delivery of software updates to your development team. You'll receive detailed, practical guidance on automating website deployments in Azure App Service, database deployments to Azure platform, Micro Services deployments in Azure Service Fabric, and more. Each deployment is structured with the aid of hands-on lessons in a given target environment designed to empower your teams to achieve successful DevOps. This book provides lessons on how to optimize build release management definitions using capabilities, such as task groups. With the help of practical scenarios, you'll also learn how to diagnose and fix issues in automated builds and deployments. You'll see how to enhance the capability of build and release management, using team services/TFS Marketplace extensions and writing your own extensions for any missing functionality via hands-on lessons. What You Will Learn Automate deployment to Azure platform, including Web App Service, Azure SQL and Azure Service Fabric Test automation integration with builds and deployments Perform Dynamic CRM deployment handling and package management with TFS/VSTS Examine requirement to production delivery traceability in practical terms Review cross platform build/deployment capabilities of TFS/VSTS. Who This Book Is For Build/Release Engineers, Configuration Managers, Software Developers, Test Automation Engineers, System Engineers, Software Architects and System/Production Support Engineers or anyone who handles and involves in the software delivery process.

This textbook provides a detailed introduction to the use of software in combination with simple and economical hardware (a sound level meter with calibrated AC output and a digital recording system) to obtain sophisticated measurements usually requiring expensive equipment. It emphasizes the use of free, open source, and multiplatform software. Many commercial acoustical measurement systems use software algorithms as an integral component; however the methods are not disclosed. This book enables the reader to develop useful algorithms and provides insight into the use of digital audio editing tools to document features in the signal. Topics covered include acoustical measurement principles, in-depth critical study of uncertainty applied to acoustical measurements, digital signal processing from the basics, and metrologically-oriented spectral and statistical analysis of signals. The student will gain a deep understanding of the use of software for measurement purposes; the ability to implement software-based measurement systems; familiarity with the hardware necessary to acquire and store signals; an appreciation for the key issue of long-term preservation of signals; and a full grasp of the often neglected issue of uncertainty in acoustical measurements. Pedagogical features include in-text worked-out examples, end-of-chapter problems, a glossary of metrology terms, and extensive appendices covering statistics, proofs, additional examples, file formats, and underlying theory.

This book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallee, France, in June 2017. The 17 revised full papers presented were carefully reviewed and selected from 31 submissions. The topics of the presented papers include state complexity of automata; implementations of automata and experiments; enhanced regular expressions; and complexity analysis.

Get started and learn a step-by-step approach to application development using Microsoft Azure. Select the right services to solve the problem at hand in a cost-effective manner and explore the potential different services and how they can help in building enterprise applications. Azure has an ample amount of resources and tutorials, but most of them focus on specific services and explain those services on their own and in a given context. Practical Azure Application Development focuses on building complete solutions on Azure using different services. This book gives you the holistic approach to Azure as a solutions development platform. This book: Covers Azure as a solution development platform for building applications Provides real-world examples to understand why and when an Azure service is required Discusses how Azure helps to achieve continuous improvement and expansion of an application Provides application development experience from purchasing Azure to integrating with core Azure services, including an introduction to DevOps with VSTS What You'll Learn Use Azure services to solve real-world software problems Define the usage of Azure services and select the right services to solve the problem at hand Make clear and less ambiguous decisions about using different Azure services Take a holistic approach to Azure as a solution platform Understand the basics of security, data protection, and cost controls in Azure Who This Book Is For Developers, software engineers, and architects who have experience in .NET and web development, but have little or no knowledge in planning and developing an application on Azure

This book constitutes the refereed proceedings of the 20th International Conference on Business Information Systems, BIS 2017, held in Poznan, Poland, in June 2017. Big Data Analytics helps to understand and enhance enterprises by linking many fields of information technology and business. This year's conference theme was: Big Data Analytics for Business and Public Administration. The 24 full papers presented in this volume were carefully reviewed and selected from 72 submissions. They were organized in topical sections named: big and smart data; business and enterprise modeling; ICT project management; process management; smart infrastructure; and applications.

This book constitutes the proceedings of the 9th International Conference on Cross-Cultural Design, CCD 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The papers thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The 60 papers presented in the CCD 2017 proceedings are organized in topical sections: cultural foundations of design; cross-cultural product and service design; cross-cultural communication; design for social development; cross-cultural design for learning.

Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods including architecture description languages, virtual prototyping, and formal analysis methods. CPS are based on a new design paradigm intended to enable emerging software-intensive systems. Embedded computers and networks monitor and control the physical processes, usually with the help of feedback loops where physical processes affect computations and vice versa. The principal challenges in system design lie in this constant interaction of software, hardware and physics. Developing reliable CPS has become a critical issue for the industry and society, because many applications such as transportation, power distribution, medical equipment and tele-medicine are dependent on CPS. Safety and security requirements must be ensured by means of powerful validation tools. Satisfying such requirements, including quality of service, implies having formally proven the required properties of the system before it is deployed. The book is concerned with internationally standardized modeling languages such as AADL, SysML, and MARTE. As the effectiveness of the technologies is demonstrated with industrial sample cases from the automotive and aerospace sectors, links between the methods presented and industrial problems are clearly understandable. Each chapter is self-contained, addressing specific scientific or engineering problems, and identifying further issues. In closing, it includes perspectives on future directions in CPS design from an architecture analysis viewpoint.

This book constitutes the proceedings of two events held in conjunction with the CAiSE conferences and related to the areas of enterprise, business-process and information systems modeling: the 18th International Conference on Business Process Modeling, Development and Support, BPMDS 2017, and the 22nd International Conference on Evaluation and Modeling Methods for Systems Analysis and Development, EMMSAD, 2017. They took place in Essen, Germany, in June 2017. The focus theme for BPMDS 2017 papers was "Enabling Business Transformation by Business Process Modeling, Development and Support". From 24 submitted papers, 11 were finally accepted and organized by: Non-functional considerations in business processes; new challenges in business process modeling and support; testing business processes; business process model comprehension; an experience report on teaching business process modeling. The EMMSAD conference focuses on evaluating, exploring and enhancing modeling methods and techniques for the development of information and software systems, enterprises, and business processes. It received 25 submissions, from which 9 full and 2 short papers were selected and organized: evaluation and comparison of modeling languages and methods; modeling approaches to support decision making; behavioral specification and business process modeling; and modeling languages and methods in evolving context.

Advances in Computers, the latest volume in the series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design, and applications. In addition, it provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of significant, lasting value in this rapidly expanding field.

This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017. The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking, Liveness and Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri Nets for Pathways.

Replication is a way of copying and updating information in a database. The Definitive Guide to SQL Server 2005 Replication is for Microsoft database developers and administrators who want to learn about the different types of replication and those best suited to SQL Server 2005. The book will also delve into advanced topics like replication of SQL Server with heterogeneous databases; replication of different database objects like stored procedures; backup and recovery of replicated databases; performance and tuning; and finally troubleshooting replication. As such, this book will address the concerns of both novice and advanced users of replication.

The SourceForge open source lightweight Wicket project is a Java web application framework that takes simplicity, separation of concerns and ease of development to a new level. This book takes a no-nonsense approach, jumping directly to the practical aspects of Wicket. Chapters include Developing Wicket Forms; Validation with Wicket; Developing a Simple Application; Providing a Common Layout; Spring Integration; Wicket Localization; Wicket and Ajax; Custom Components and Wicket Extensions, and Unit Testing. Pro Wicket gets you quickly up and running with the framework and the attractively simple 'wicket-way' of addressing web development requirements.

.NET 2.0 IL (Intermediate Language) is the foundation language at the root of all the .NET languages. It is this code which is compiled and executed by the .NET 2.0 Framework. As a result of this absolutely anything that can be expressed in IL can be carried out by the .NET 2.0 Framework. This book gives readers inside information on the language's architecture straight from the most reliable possible source - Serge Lidin, the language's designer.

Updated to include coverage of the latest 'DBPro' extension for database professionals this book is the only reference needed to get started with Visual Studio 2005 Team System. It will guide you through the entire breadth of VSTS. If you are a stakeholder, you have a portal that gives you instant access to project documents, status, and performance indicators. If you are a project manager, you will learn how create, manage, and assess team performance. If you are a developer, you will learn how to write higher-quality code, and ensure that the code works and performs well.

This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book also suggests the need for a generalization of Turing computability theory. It is important for graduate students and researchers engaged with the concurrent semantics of distributed communicating systems. The author assumes some prior knowledge of formal languages and theoretical computer science.

Explore key scenarios required for building quality Ionic apps quickly and easily and bring them to the iOS and Android mobile ecosystem. Learn Ionic 2 explains various techniques to quickly integrate third-party back end systems. With this short guide, you'll benefit from practical examples of implementing authentication and authorization, connecting to social media, integrating with payment gateway, and analytics integration. This book presents solutions to the challenges faced during the development process of these tasks. Validation is essential to the survival and eventual success of any startup. You validate your business idea by placing a product in the hands of your customers and getting them to interact with it. The Ionic framework makes this possible. What You'll Learn: Master end-to-end hybrid application development Create user management modules including signup, login, and forgotten passwords Use analytics to evaluate an application using Ionic Framework Who This Book Is For: Tech entrepreneurs and businessmen with ideas

This authoritative text/reference describes the state of the art in requirements engineering for software systems for distributed computing. A particular focus is placed on integrated solutions, which take into account the requirements of scalability, flexibility, sustainability and operability for distributed environments. Topics and features: discusses the latest developments, tools, technologies and trends in software requirements engineering; reviews the relevant theoretical frameworks, practical approaches and methodologies for service requirements; examines the three key components of the requirements engineering process, namely requirements elicitation, requirements specification, and requirements validation and evaluation; presents detailed contributions from an international selection of highly reputed experts in the field; offers guidance on best practices, and suggests directions for further research in the area.

This book is open access under a CC BY license. The volume constitutes the proceedings of the 18th International Conference on Agile Software Development, XP 2017, held in Cologne, Germany, in May 2017. The 14 full and 6 short papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: improving agile processes; agile in organization; and safety critical software. In addition, the volume contains 3 doctoral symposium papers (from 4 papers submitted).

This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches for embedded software with hardware dependencies. Coverage includes the entire flow of design, verification and debugging of embedded software and all key approaches to debugging, dynamic, static, and hybrid verification. This book discusses the current, industrial embedded software verification flow, as well as emerging trends with focus on formal and hybrid verification and debugging approaches.