83 treff

datamaskinprogrammer prøving
Software testing management : life on the critical path
Thomas C. Royer
Bok Engelsk 1993 · Vis mer
An introduction to FORTRAN VERIFIER (2nd ed.) : a tool for documentation and error diagnosis of FORTRAN-77 programs
Reidar Conradi and Dag Svanæs
Bok Språk ikke angitt 1986 · Vis mer
Proceedings of the Symposium on Application and Assessment of Automated Tools for Software Development : November 1-3, 1983, Hyatt Hohl on Union Square, San Francisco, California
Symposium on Application and Assessment of Automated Toolsfor Software Development
Bok Språk ikke angitt 1983 · Vis mer
Computer aided verification : 11th international conference, CAV'99, Trento, Italy, July 6-10, 1999 : proceedings
CAV '99
Bok Engelsk 1999 · Vis mer
Computer aided verification : 10th international conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings
CAV '98
Bok Engelsk 1998 · Vis mer
Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings
CAV '97
Bok Engelsk 1997 · Vis mer
Towards estimating software testability using static analysis
by David Byers
Bok Engelsk 1997 · Vis mer
Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
CAV '96
Bok Engelsk 1996 · Vis mer
Computer aided verification : 7th international conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings
CAV '95
Bok Engelsk 1995 · Vis mer
Automated software testing : introduction, management, and performance
Elfriede Dustin, Jeff Rashka, John Paul
Bok Engelsk 1999 · Vis mer
Software testing techniques
Boris Beizer
Bok Engelsk 1983 · Vis mer
State testing of embedded software
Antti Auer
Bok Engelsk 1997 · Vis mer
The benchmark book
Rich Grace
Bok Engelsk 1996 · Vis mer
Computer-aided verification : 2nd international conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings
CAV '90
Bok Engelsk 1991 · Vis mer
Programs for testing automatic quadrature routines
by Jarle Berntsen and Morten Skogen
Bok Engelsk 1987 · Vis mer
A test of some well known one dimensional general purpose automatic quadrature routines
by Jarle Berntsen
Bok Engelsk 1986 · Vis mer
Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings
CAV '94
Bok Engelsk 1994 · Vis mer
Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings
CAV '92
Bok Engelsk 1993 · Vis mer
Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings
CAV '93
Bok Engelsk 1993 · Vis mer
Practical implementation of software metrics
Paul Goodman
Bok Engelsk 1993 · Vis mer
Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings
CAV '91
Bok Engelsk 1992 · Vis mer
Intention-based diagnosis of novice programming errors
W. Lewis Johnson
Bok Språk ikke angitt 1986 · Vis mer
Testing av sanntids programsystemer
Helge Rustad
Bok Språk ikke angitt 1986 · Vis mer
Verification and validation of real-time software
edited by W. J. Quirk
Bok Språk ikke angitt 1985 · Vis mer
Approaches to prototyping
Working Conference on Prototyping
Bok Språk ikke angitt 1984 · Vis mer
Interprocedural dynamic slicing with applications to debugging and testing
Mariam Kamkar
Bok Engelsk 1993 · Vis mer
Design description information for adaption of the CDS
Asgeir Langen, Kari Juul Wedde
Bok Engelsk 1991 · Les boka på nett · Vis mer
High-integrity software
edited by C. T. Sennett
Bok Språk ikke angitt 1989 · Vis mer
Software testing and evaluation
Richard A. DeMillo ... [et al.]
Bok Språk ikke angitt 1987 · Vis mer
Quality programming : developing and testing software with statistical quality control
Chin-Kuei Cho
Bok Språk ikke angitt 1987 · Vis mer