The amount of software used in safety-critical systems is increasing at a rapid rate. At the same time, software technology is changing, projects are pressed to develop software faster and more cheaply, and the software is being used in more critical ways. Developing Safety-Crit…
The amount of software used in safety-critical systems is increasing at a rapid rate. At the same time, software technology is changing, projects are pressed to develop software faster and more cheaply, and the software is being used in more critical ways. Developing Safety-Crit…
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.…
Develop a base for DevOps culture by implementing Continuous Integration and Continuous Delivery including automated builds, unit test execution, packaging, and static code analysis with Jenkins 2About This Book* Explore Continuous Integration and automation, along with how to m…
Develop a base for DevOps culture by implementing Continuous Integration and Continuous Delivery including automated builds, unit test execution, packaging, and static code analysis with Jenkins 2 About This Book Explore Continuous Integration and automation, along with how to m…