This book is about the use of techniques and tools for the design and implementation of computer systems and software that are free from logical or functional flaws (in the sense of functional requirements). The word rigorous in the title of this book is justified by the fact that the arguments for such fault freeness have their roots...

The development of network technologies and networked services has been tremendous the last decade and is expected to be more intensive in the near future with the technological progress in the field of radio communications, data communication, protocols, software engineering, applications and so on. In this plethora of technologies,...

Advertising online has come to have a not-so-favorable reputation with Internet users. Combine that reputation with the often uninformed opinion that Flash is for creating exceptionally annoying banners or website intros that are bloated in file size and you’ve got a recipe for disaster. On the other hand, when done correctly,...

Having your own blog isn’t just for the nerdy anymore. Today, it seems everyone—from multinational corporations to a neighbor up the street—has a blog. They all have one, in part, because the folks at WordPress make it easy to have one. But to actually build a good blog—to create a blog people want to read—takes...

Developing software with testable requirements is the theme of this book. A testable requirement is one with an acceptance test. Acceptance tests drive the development of the software. As many development groups have experienced, creating acceptance tests prior to implementing requirements decreases defects and...

Haskell is a deep language; we think learning it is a hugely rewarding experience. We will focus on three elements as we explain why. The first is novelty: we invite you to think about programming from a different and valuable perspective. The second is power: we’ll show you how to create software that is short, fast, and safe....

Ten years ago, ASP.NET provided software developers with a means to write complex web applications with their existing Windows Forms skillsets. Today, it continues to be a robust framework for writing scalable applications, from small e-Commerce to enterprise-level CRM. But ten years later, with many business critical applications existing...

Digital electronic circuits are the engines of cell phones, MPEG players, digital cameras, com puters, data servers, personal digital devices, GPS displays, and many other consumer prod ucts that process and use information in a digital format. This book presents a basic treatment of digital circuits and the fundamental concepts used in their...

Silverlight is a powerful development platform for creating engaging, interactive user experiences for web, desktop, and mobile applications. Integrating Silverlight RIAs in SharePoint 2010 offers amazing opportunities to combine the power and flexibility offered by SharePoint. It is easy to create great user experiences when you have a...

Computer graphics systems are capable of generating stunningly realistic images of objects that have never physically existed. In order for computers to create these accurately detailed images, digital models of appearance must include robust data to give viewers a credible visual impression of the depicted materials. In particular, digital...

The development of pattern recognition methods on the basis of so-called Markov models is tightly coupled to the technological progress in the field of automatic speech recognition. Today, however, Markov chain and hidden Markov models are also applied in many other fields where the task is the modeling and analysis of chronologically...

Yippie! I am thrilled that you picked up this book because it’s loaded with 100 creative and innovative ideas to help jumpstart your creativity and teach you to do more with your designs and photographs, faster and better, with Photoshop. Aft er fl ipping through the pages, you’ll soon discover how valuable an addition this...