Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
- Entferne Filter: Verlag: springer berlin heidelberg
- Entferne Filter: Publikation: fundamental approaches to software engineering : 12th international conference, fase 2009, held as part of the joint european conferences on theory and practice of software, etaps 2009, york, uk, march 22-29, 2009. proceedings
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- graph transformation 4 Treffer
- model check 4 Treffer
- method call 2 Treffer
- model transformation 2 Treffer
- predicate symbol 2 Treffer
-
45 weitere Werte:
- source code 2 Treffer
- type graph 2 Treffer
- abstract interpretation 1 Treffer
- activity block 1 Treffer
- activity diagram 1 Treffer
- alloy analyzer 1 Treffer
- application program interface 1 Treffer
- architecture description languages 1 Treffer
- array variable 1 Treffer
- atomic action 1 Treffer
- atomicity violation 1 Treffer
- automated debugging 1 Treffer
- autonomic computing 1 Treffer
- autonomic manager 1 Treffer
- behavior rule 1 Treffer
- black box testing 1 Treffer
- board size 1 Treffer
- boundary element 1 Treffer
- clone detection 1 Treffer
- code clone 1 Treffer
- common model 1 Treffer
- component interface 1 Treffer
- concrete syntax 1 Treffer
- concurrent event 1 Treffer
- concurrent program 1 Treffer
- control dependence 1 Treffer
- control point 1 Treffer
- critical pair 1 Treffer
- data race 1 Treffer
- debugging 1 Treffer
- deduction system 1 Treffer
- design pattern 1 Treffer
- design patterns 1 Treffer
- embedded systems 1 Treffer
- execution context 1 Treffer
- execution path 1 Treffer
- explicit state 1 Treffer
- extended finite state machines 1 Treffer
- formal connection 1 Treffer
- formal semantic 1 Treffer
- formal verification 1 Treffer
- hoare logic 1 Treffer
- hybrid tree 1 Treffer
- inference rule 1 Treffer
- interactive testing 1 Treffer
Sprache
33 Treffer
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff: