Brian Nielsen – författare
Visar alla böcker från författaren Brian Nielsen. Handla med fri frakt och snabb leverans.
4 produkter
Formal Approaches to Software Testing
4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
Av Jens Grabowski, Brian Nielsen
Häftad, 2005
566 kr
Lägg i varukorg
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very …
Formal Approaches to Software Testing
4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
Av Brian Nielsen, Jens Grabowski
E-bok, 2005
755 kr
Lägg i varukorg
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very …
Testing Software and Systems
24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings
Av Brian Nielsen, Carsten Weise
Häftad, 2012
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. …
Testing Software and Systems
24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings
Av Carsten Weise, Brian Nielsen
E-bok, 2012
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. …
