83 treff

datamaskinprogrammer prøving
Feilhåndtering og robusthet mot programvarefeil : retningslinjer for testing
Bjarne E. Helvik, Trond Myrstad og Bjørn ...
Bok Bokmål 1993 · Les boka på nett · Vis mer
Testing av datamaskinprogrammer i forbindelse med programendringer
Ulvund, Olav Storli
Bok Bokmål 1984 · Vis mer
How to estimate the total number of errors in a software system
Tor Stålhane
Bok Bokmål 1986 · Vis mer
A study report on software quality models and software quality metrics
Eldfrid Øfsti Øvstedal
Bok Bokmål 1987 · Vis mer
Testing av ECLIPSE på RISC arbeidsstasjoner
Tor Helge Hansen
Bok Bokmål 1991 · Les boka på nett · Vis mer
Evaluering av språket Ada
Arne Venstad
Bok Bokmål 1986 · Vis mer
Standard innhold for testplaner med forklaringer
Hans Schaefer
Bok Bokmål 1984 · Vis mer
Program verification
Nissim Francez
Bok Engelsk 1992 · Vis mer
Functional program testing and analysis
William E. Howden
Bok Språk ikke angitt 1987 · Vis mer
Effective methods for software testing
William E. Perry
Bok Engelsk 2006 · Vis mer
Software quality engineering : a total technical and management approach
Michael S. Deutsch, Ronald R. Willis
Bok Engelsk 1988 · Vis mer
Software assessment : reliability, safety, testability
Michael A. Friedman, Jeffrey M. Voas
Bok Engelsk 1995 · Vis mer
Programming logics : an introduction to verification and semantics
Raymond D. Gumb
Bok Engelsk 1989 · Vis mer
Endringskontroll og variant-håndtering
Per Holager
Bok Språk ikke angitt 1985 · Vis mer
Debugging utilities for the ENTIL system
Borgen, Odd S.
Bok Engelsk 1985 · Vis mer
Hvordan å komme i gang med kvalitetssikring av programvare
Gravelsæter, Tore
Bok Språk ikke angitt 1984 · Vis mer
Programsystem for etterprøving av spesifiserte krav
av Bjørn Muggerud, Tor Breivik
Bok Språk ikke angitt 1987 · Vis mer
Mathematical theory of program correctness
Jaco de Bakker ; with the assistance of A...
Bok Engelsk 1980 · Vis mer
PIFF : Pascal Interpretator og FeilFinner
Sven Rustad
Bok Språk ikke angitt 1986 · Vis mer
Test process improvement : a practical step-by-step guide to structured testing
Tim Koomen, Martin Pol
Bok Engelsk 1999 · Vis mer
A closer look at McCabes cyclomatic number
Tor Stålhane
Bok Språk ikke angitt 1984 · Vis mer
Softwaredokumentation : beskrivelse af værktøjer til udvikling og dokumentation af programmel på design-, programmerings-, test- og drift-niveau
Henrik Scherwin
Bok Dansk 1983 · Vis mer
COMPASS : introduction of formal methods in code development and inspection
Tim Heyer
Bok Engelsk 1998 · Vis mer
Testen, Analysieren und Verifizieren von Software : Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI : proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992
P. Liggesmeyer, H. M. Sneed, A. Spillner ...
Bok Tysk 1992 · Vis mer
Verifikation af sandtidsprogrammer : en indføring i brug af formelle metoder til verifikation af programmer med sideløbende processer, herunder anvendelse af Petri net
John Mølgaard, Jens Heile Heilesen
Bok Dansk 1986 · Vis mer
A survey of verification techniques for parallel programs
Howard Barringer
Bok Språk ikke angitt 1985 · Vis mer
The practice of programming
Brian W. Kernighan, Rob Pike
Bok Engelsk 1999 · Vis mer
Norsk Data software factory : object management system
Tor Didriksen
Bok Språk ikke angitt 1987 · Vis mer
SIMOB : a toolbox for observation of Simula executions
Knut Barra, Hans-Petter Dahle, Torstein S...
Bok Engelsk 1986 · Vis mer
FORTVER : a tool for documentation and error diagnosis of FORTRAN-77 programs
Reidar Conradi, Dag Svanæs
Bok Språk ikke angitt 1985 · Vis mer