Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Methode 3 Treffer
- Formale Spezifikationstechnik 2 Treffer
- Software Engineering 2 Treffer
- Softwarearchitektur 2 Treffer
- Softwarespezifikation 2 Treffer
-
34 weitere Werte:
- Algebraische Spezifikation 1 Treffer
- Computational logic 1 Treffer
- Echtzeitsystem 1 Treffer
- Ergonomie 1 Treffer
- Fehlertoleranz 1 Treffer
- Graphersetzungssystem 1 Treffer
- Komponente (Software) 1 Treffer
- Korrektheit 1 Treffer
- Künstliche Intelligenz 1 Treffer
- Leitsystem (Technik) 1 Treffer
- Logische Programmierung 1 Treffer
- Mensch-Maschine-System 1 Treffer
- Objektorientierung 1 Treffer
- Petri-Netz 1 Treffer
- Programm 1 Treffer
- Programmierumgebung 1 Treffer
- Programmsynthese 1 Treffer
- Programmtransformation 1 Treffer
- Prozessautomation 1 Treffer
- Prozessregelung 1 Treffer
- Qualitätssicherung 1 Treffer
- Risiko 1 Treffer
- Sicherheitskritisches System 1 Treffer
- Software 1 Treffer
- Softwareergonomie 1 Treffer
- Softwarelebenszyklus 1 Treffer
- Softwareproduktion 1 Treffer
- Softwaresystem 1 Treffer
- Standardsoftware 1 Treffer
- Systemmodell 1 Treffer
- Technisches System 1 Treffer
- Testen 1 Treffer
- UML 1 Treffer
- Verifikation 1 Treffer
Sprache
Form
Person
- Bowen, Jonathan P. (1956-) 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
- Bruynooghe, Maurice 1 Treffer
- Butler, Michael 1 Treffer
- Cechich, Alejandra 1 Treffer
-
12 weitere Werte:
- Conradi, Reidar 1 Treffer
- Curtis, Bill 1 Treffer
- Ehrig, Hartmut 1 Treffer
- Ehrig, Hartmut (1944-2016) 1 Treffer
- Freeman, Peter 1 Treffer
- Garlan, David 1 Treffer
- Kreowski, Hans-Jörg 1 Treffer
- Lehman, Meir M. 1 Treffer
- Mitchell, R. 1 Treffer
- Ohno, Yutaka 1 Treffer
- Sammer, Werner 1 Treffer
- Shaw, Mary (1943-) 1 Treffer
15 Treffer
-
Berlin [u.a.]: Springer, 1984Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Hemel Hempstead: Prentice Hall, 1995Monographie, Aufsatzsammlung, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
London: Peregrinus, 1987Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
4. ed.. - Silver Spring, Md.: IEEE Computer Society Pr, 1983Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Tokyo [u.a.]: Springer, 1991Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Acad. Press, 1985Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
2. ed.. - Washington, DC: IEEE Computer Soc. Pr. [u.a.], 1986Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1999Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Aufsatzsammlung, Sammelwerk, Gedruckte Ressource