Unlock the full potential of Angular test-driven development (TDD) with Jasmine, Karma, Protractor, and Cypress for effective unit testing, end-to-end testing, and CI/CD Key Features Implement test-driven development practices...Lasīt vairāk
Validation of computer systems is the process that assures the formal assessment and report of quality and performance measures for all the life-cycle stages of software and system development, its implementation, qualification and acceptance, ope...Lasīt vairāk
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 2030, 2020, on Rhodes, Greece...Lasīt vairāk
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 2030, 2020, on Rhodes, Greece...Lasīt vairāk
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 2030, 2020, on Rhodes, Greece...Lasīt vairāk
Covering regulatory requirements stipulated by the FDA, this book delineates the organization, planning, verification, and documentation activities and procedural controls required for compliance with worldwide computer systems validation regulations...Lasīt vairāk
Accurate software engineering reviews and audits have become essential to the success of software companies and military and aerospace programs. These reviews and audits define the framework and specific requirements for verifying software developmen...Lasīt vairāk
Validation of computer systems is the process that assures the formal assessment and report of quality and performance measures for all the life-cycle stages of software and system development, its implementation, qualification and acceptance, ope...Lasīt vairāk
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as...Lasīt vairāk
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in Oct...Lasīt vairāk
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in Oct...Lasīt vairāk
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in Oct...Lasīt vairāk
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in Oct...Lasīt vairāk
(Izdošanas datums: 25-Nov-2016, Hardback, Izdevniecība: Royal Society of Chemistry, ISBN-13: 9781849736626)
Guiding chromatographers working in regulated industries and helping them to validate their chromatography data systems to meet data integrity, business and regulatory needs. This book is a detailed look at the life cycle and documented evidence r...Lasīt vairāk
This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISo...Lasīt vairāk
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable val...Lasīt vairāk
Good Manufacturing Practice (GMP) ensures medicinal products are produced consistently and controlled to the quality standards appropriate for their intended use and as required by product specifications or marketing authorization. Annex 11 detail...Lasīt vairāk
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Symposium on Trustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September 2015.The 10 revised full papers presented we...Lasīt vairāk
Sērija : Theoretical Computer Science and General Issues
(Izdošanas datums: 09-Jan-2015, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662459164)
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Trustworthy Global Computing, TGC 2014, held in Rome, Italy, in September 2014. The 15 revised full papers presented were carefully review...Lasīt vairāk
Sērija : Theoretical Computer Science and General Issues
(Izdošanas datums: 07-Oct-2014, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662452301)
The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014...Lasīt vairāk
