Introduces you to Microsoft's multi-paradigm programming language, F#. This book helps you learn how to use F# as a general-purpose language similar to C# and Visual Basic, as well as a functional programming language for developing concurrent and math-intensive applications on the .NET platform.

Software developers face an ever-changing and ever-expanding technology landscape. Developing technical skills is vital, but there are dozens of soft skills and learning techniques you need if you're to grow. This book helps you learn how to 'Nurture Your Passion' by finding a pet project to help you rediscover the joy of problem solving.

Offers essays from software testers that illustrate the qualities and techniques necessary to make testing an art in itself. Through personal anecdotes, this book helps you learn how each of these professionals developed best practices for testing a wide range of software projects involving XMPP, GUI tools, Open Map applications, and more.

It is imperative to equip practitioners with a workable framework to manage component-based development in distributed environments, and to offer a theoretical construct to academics wishing to advance the study of global teams. This book outlines the key challenges faced by projects and offers tools to implement CBD in global teams.

The Practical, Example-Rich Guide to Building Better Systems, Software, and Hardware with DFSS Design for Six Sigma (DFSS) offers engineers powerful opportunities to develop more successful systems, software, hardware, and processes. In Applying Design for Six Sigma to Software and Hardware Systems, two leading experts offer a realistic, step-by-step process for succeeding with DFSS. Their clear,

Petri nets are mathematical modeling tools for the description of discrete events in manufacturing, transport, computer, and communication networks. Presenting a Petri net model called resource-oriented Petri net, this book demonstrates how to apply it to the modeling and control of manufacturing systems.

Offers a comprehensive understanding of systems integration technologies, architectures, applications, and project management techniques involved in enterprise system integration. This book includes coverage of mobile communications, standards for integrated manufacturing and e-commerce, RFID, and Web-based systems.

Process algebraic architectural languages and the analysis techniques provide a formal paradigm that allows for the modeling and analysis of such systems and of the related properties during the early stages of the design process. The book presents such a paradigm in a novel way that privileges the discussion of its foundational characteristics.

Windows Azure is Microsoft's next-generation cloud-computing operating system and is designed to provide companies with new business opportunities as they migrate toward hosted services. Introducing Microsoft Azure provides all the information developers need to get started with this new technology and apply it across a range of situations. Presented in a clear, concise manner, this book provides

.

An increasing number of systems are exploiting mixed reality but to date there are no systematic methods, techniques of guidelines for the development of such systems. In bringing together contributions on a broad range of mixed reality development issues this book provides a sound theoretical foundation for a disciplined approach to mixed reality engineering. Divided into three parts: ...

.

Explores trends and theories which illuminate the direction of developments which may lead to a transformation of the role of software in global information society. This book emphasises on human-centric software methodologies, and end-user development techniques for an optimally harmonized performance between the design tool and the user.

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 strong evidence that formal methods can be effective and deployed in industrial-scale applications. Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods

.

.

.

.

Multi-agent systems are claimed to be especially suited to the development of software systems that are decentralized, can deal flexibly with dynamic conditions, and are open to system components that come and go. This book presents a software engineering approach for multi-agent systems that is based on software architecture.

Presents methods to reduce computer energy consumption by means of a better usage of a specific set of resources and maximizing the efficiency of the running applications. This title shows how computer resources can be optimally adapted to application needs, reducing job run time.