Software Development category: 2585 books
Model-Based Engineering with AADL
An Introduction to the SAE Architecture Analysis & Design Language
Language: English
Release Date: September 25, 2012
Conventional build-then-test practices are making today’s embedded, software-reliant systems unaffordable to build. In response, more than thirty leading industrial organizations have joined SAE (formerly, the Society of Automotive Engineers) to define the SAE Architecture Analysis & Design...
Environmental Software Systems
Proceedings of the International Symposium on Environmental Software Systems, 1995
Language: English
Release Date: June 5, 2013
Due to increasing practical needs, software support of environmental protection and research tasks is growing in importance and scope. Software systems help to monitor basic data, to maintain and process relevant environmental information, to analyze gathered information and to carry out decision...
Software Verification and Analysis
An Integrated, Hands-On Approach
Language: English
Release Date: April 29, 2009
“The situation is good, but not hopeless” (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this...
Enhancing Software Fault Prediction With Machine Learning
Emerging Research and Opportunities
Language: English
Release Date: September 13, 2017
Software development and design is an intricate and complex process that requires a multitude of steps to ultimately create a quality product. One crucial aspect of this process is minimizing potential errors through software fault prediction. Enhancing Software Fault Prediction With Machine Learning:...
Proceedings of 6th International Conference in Software Engineering for Defence Applications
SEDA 2018
Language: English
Release Date: March 18, 2019
This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on cost/benefit...
Agile Methods
9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers
Language: English
Release Date: March 6, 2019
This book constitutes revised selected papers from the 9th Brazilian Workshop on Agile Methods, WBMA 2018, held in Campinas, Brazil, in October 2018. The 6 full and 1 short papers presented in this volume were carefully reviewed and selected from 18 submissions.
Accepted papers in this edition...
Fit for Developing Software
Framework for Integrated Tests
Language: English
Release Date: June 29, 2005
The Fit open source testing framework brings unprecedented agility to the entire development process. Fit for Developing Software shows you how to use Fit to clarify business rules, express them with concrete examples, and organize the examples into test tables that drive testing throughout the software...
DevOps
A Software Architect's Perspective
Language: English
Release Date: May 8, 2015
The First Complete Guide to DevOps for Software Architects
DevOps promises to accelerate the release of new software features and improve monitoring of systems in production, but its crucial implications for software architects and architecture are often ignored.
In...
97 Things Every Software Architect Should Know
Collective Wisdom from the Experts
Language: English
Release Date: February 5, 2009
In this truly unique technical book, today's leading software architects present valuable principles on key development issues that go way beyond technology. More than four dozen architects -- including Neal Ford, Michael Nygard, and Bill de hOra -- offer advice for communicating with stakeholders,...
by Patrick Li
Language: English
Release Date: November 23, 2016
Language: English
Release Date: November 23, 2016
Explore the great features of the all-new JIRA 7 to manage projects and effectively handle bugs and software issues
About This Book
Updated for JIRA 7, this book covers all the new features introduced in JIRA 7 with a dedicated chapter on JIRA Service Desk—one of the biggest new add-ons to...
by Hassan Gomaa
Language: English
Release Date: May 26, 2016
Language: English
Release Date: May 26, 2016
This tutorial reference takes the reader from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE and shows how to apply the COMET/RTE design method to real-world problems. The author covers key topics such as architectural patterns for distributed and hierarchical...
WPF Control Development Unleashed
Building Advanced User Experiences, Portable Documents
Language: English
Release Date: September 11, 2009
WPF Control Development Unleashed
Building Advanced User Experiences
In this book, two leading Windows Presentation Foundation experts give developers everything they need to build next-generation WPF applications–software that is more robust, usable, and compelling.
Drawing...
Software Engineering and Formal Methods
15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
Language: English
Release Date: August 24, 2017
This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.
The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions....
Agent-Oriented Software Engineering
Reflections on Architectures, Methodologies, Languages, and Frameworks
Language: English
Release Date: June 2, 2014
With this book, Onn Shehory and Arnon Sturm, together with further contributors, introduce the reader to various facets of agent-oriented software engineering (AOSE). They provide a selected collection of state-of-the-art findings, which combines research from information systems, artificial intelligence,...