Software Development category: 2585 books
by Anthony Chen, Joy Beatty
Language: English
Release Date: July 15, 2012
Language: English
Release Date: July 15, 2012
Apply best practices for capturing, analyzing, and implementing software requirements through visual models—and deliver better results for your business. The authors—experts in eliciting and visualizing requirements—walk you through a simple but comprehensive language of visual models that has...
Static Analysis of Software
The Abstract Interpretation
Language: English
Release Date: February 7, 2013
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis.
This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields:...
by Michael Duffy
Language: English
Release Date: November 26, 2015
Language: English
Release Date: November 26, 2015
Over 120 recipes covering key automation techniques through code management and virtualization offered by modern Infrastructure as a Service
About This Book
Use some of the powerful tools that have emerged to enable systems administrators and developers to take control and automate the management,...
by Charitha Kankanamge
Language: English
Release Date: October 26, 2012
Language: English
Release Date: October 26, 2012
"Web Services Testing with soapUI" starts with an overview of SOA and web services testing, and gets your hands dirty with a sample project which makes use of open source web service engine, Apache Axis2. All demonstrations and hands-on exercises are based on this sample project. This book is a practical...
Hardware and Software: Verification and Testing
12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Language: English
Release Date: October 31, 2016
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance...
Model Checking Software
23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Language: English
Release Date: April 7, 2016
This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.
The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed...
DevOps with OpenShift
Cloud Deployments Made Easy
Language: English
Release Date: July 10, 2017
For many organizations, a big part of DevOps’ appeal is software automation using infrastructure-as-code techniques. This book presents developers, architects, and infra-ops engineers with a more practical option. You’ll learn how a container-centric approach from OpenShift, Red Hat’s cloud-based...
by Vaughn Vernon
Language: English
Release Date: June 1, 2016
Language: English
Release Date: June 1, 2016
Domain-Driven Design (DDD) software modeling delivers powerful results in practice, not just in theory, which is why developers worldwide are rapidly moving to adopt it. Now, for the first time, there’s an accessible guide to the basics of DDD: What it is, what problems it solves, how it works,...
Systems Engineering with SysML/UML
Modeling, Analysis, Design
Language: English
Release Date: August 29, 2011
UML, the Universal Modeling Language, was the first programming language designed to fulfill the requirement for "universality." However, it is a software-specific language, and does not support the needs of engineers designing from the broader systems-based perspective. Therefore, SysML...
Formal Methods and Software Engineering
17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Language: English
Release Date: November 30, 2015
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics...
Business Analysis Agility
Solve the Real Problem, Deliver Real Value
Language: English
Release Date: October 5, 2018
Understand and Solve Your Customers’ Real Problems with Agile Business Analysis
To deliver real value, you must understand what your customers truly value, and solve the problems they really need solved. Business analysis can help you do this—and it’s as crucial in agile environments...
Métodos Quantitativos com Stata
Procedimentos, Rotinase Análise de Resultados
Language: Portuguese
Release Date: October 20, 2013
Este é um livro que tem dois objetivos centrais: apresentar as principais técnicas estatísticas e econométricas que podem ser adotadas quando do tratamento de bancos de dados provenientes de diversos campos do conhecimento, para fins de tomada de decisão, e propiciar ao leitor uma oportunidade...
Software Engineering in Health Care
4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers
Language: English
Release Date: July 26, 2017
This book constitutes revised selected papers from the jointly held conferences FHIES 2014, 4th International Symposium on Foundations of Health Information Engineering and Systems, and SEHC 2014, 6th International Workshop on Software Engineering in Health Care. The meeting took place in Washington,...
Interoperability for Enterprise Software and Applications
Proceedings of the Workshops and the Doctorial Symposium of the I-ESA International Conference 2010
Language: English
Release Date: March 1, 2013
Within the framework of the Sixth I-ESA International Conference, supported by the INTEROP VLab (International Virtual Laboratory on Enterprise Interoperability, http://www.interop-vlab.eu), three workshops and a Doctoral Symposium have been organized in order to strengthen some key topics related...