As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.

One approach especially intrigued me. John Guttag and Jim...

• Gain insights into the inner working of Backbone to leverage it...

• Create interactive web applications using WebRTC
• Get introduced to advanced technologies such as WebSocket and Erlang
• Develop your own secure web applications and services with practical projects
...

This reference provides real-world examples, strategies, and templates for the implementation of effective design control programs that meet current ISO 9000 and FDA QSR standards and regulations-offering product development models for the production of safe, durable, and cost-efficient medical devices and systems.

Details...

• Create fully testable web applications from real-world solutions with the powerful data-binding offered by KnockoutJS
• Create new and reusable components by yourself and learn how to integrate external...

• Discover the power of Elasticsearch by implementing it in a variety of real-world scenarios such as restaurant and e-commerce search
• Discover...

• Get to grips with Ansible's features such as orchestration, automatic node discovery, and data encryption
• Create data-driven, modular and reusable...

• Explore the powerful features of Cocos2d-x and use them to your advantage
• Tackle commonly faced problems while creating popular 2D games
• A step-by-step guide...

• Build interactive electronic devices using the Arduino
• Learn about web page, touch sensor, Bluetooth, and infrared controls
• A project-based guide to create...

• Construct top-notch web applications with one of the best frameworks based on PHP
• Implement new functionalities using FuelPHP's convenient utilities and features such as the ORM,...