Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 121
Sie haben nicht gefunden, wonach Sie gesucht haben? Wenden Sie sich an Kontakt such_da.
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Schlagwort
finite state machine
22
software engineering/software/program verification
18
software engineering/testing and debugging
18
reliability
17
validation
16
design
15
mehr ...
theory
15
computing and processing
13
d.2.5 [software engineering] testing and debugging - debugging aids
13
formal methods
13
jml
13
programming by contract
13
testing tools
13
tools
13
02 engineering and technology
11
0202 electrical engineering, electronic engineering, information engineering
11
class invariants
10
f.3.1 [logics and meanings of programs] specifying and verifying and reasoning about programs - asse
10
distributed systems
9
invariants
9
testing
9
automata
8
general purpose graphics processing units
8
controllability
7
d.3.2 [programming languages] language classifications - object-oriented languages
7
monitors
7
systems and software
7
verification
7
algorithms
6
software engineering testing and debugging (cr d.2.5)
6
weniger ...
Veröffentlicht in
ieee transactions on software engineering
10
ieee transactions on software engineering, software engineering, ieee transactions on, iieee trans. software eng.
8
ieee transactions on computers
5
cybernetics and information technologies
3
ieee transactions on computers, computers, ieee transactions on, ieee trans. comput.
3
software quality and productivity : theory, practice, education and training
3
mehr ...
acm transactions on software engineering and methodology
2
2011 ieee international conference on system engineering and technology, system engineering and technology (icset), 2011 ieee international conference on
1
ieee transactions on dependable and secure computing
1
ieee transactions on dependable and secure computing, dependable and secure computing, ieee transactions on, ieee trans. dependable and secure comput.
1
ifip transactions a-computer science and technology
1
protocol specification, testing and verification, xiii
1
software testing, verification and reliability
1
weniger ...
Verlag
universitat stuttgart
17
ieee
16
arts and science
12
department of mathematics and computer science
12
lethbridge, alta. : university of lethbridge, dept. of mathematics and computer science
12
ieee computer soc
11
mehr ...
institute of electrical and electronics engineers (ieee)
7
ccsd
3
csrea press
3
elsevier science bv
3
springer us
3
acm
2
association for computing machinery (acm)
2
association for computing machinery, inc.
2
hal ccsd
2
sciendo
2
springer
2
texas a&m university- kingsville
2
united states
2
acm press
1
dagstuhl publishing
1
ieee computer society
1
institute of electrical and electronics engineers
1
karlstads universitet, institutionen for matematik och datavetenskap
1
springer international publishing
1
university of alberta library
1
walter de gruyter gmbh
1
wiley
1
zenodo
1
weniger ...
Sprache
Datenbank
Erscheinungsjahr
Filter