Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Methode 10 Treffer
- Softwareentwicklung 6 Treffer
- Model Checking 5 Treffer
- Objektorientierung 5 Treffer
- Programmanalyse 3 Treffer
-
25 weitere Werte:
- Programmverifikation 3 Treffer
- Software 3 Treffer
- Testen 3 Treffer
- Modellgetriebene Entwicklung 2 Treffer
- OCL (Programmiersprache) 2 Treffer
- UML 2 Treffer
- Verifikation 2 Treffer
- Verteiltes System 2 Treffer
- Domain engineering 1 Treffer
- Echtzeitsystem 1 Treffer
- Formale Spezifikationstechnik 1 Treffer
- Komplexes System 1 Treffer
- Koordination 1 Treffer
- Mehragentensystem 1 Treffer
- Mensch-Maschine-System 1 Treffer
- Methode 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Programmiersprache 1 Treffer
- Requirements engineering 1 Treffer
- Selbst organisierendes System 1 Treffer
- Softwarearchitektur 1 Treffer
- Spezifikationssprache 1 Treffer
- Systemanalyse 1 Treffer
- Systemtechnik 1 Treffer
- Technisches System 1 Treffer
Sprache
Form
Person
- Rumbaugh, James (1947-) 2 Treffer
- Araki, Keijirō 1 Treffer
- Bernardo, Marco (1970-) 1 Treffer
- Boiten, Eerke (1966-) 1 Treffer
- Briand, Lionel 1 Treffer
-
14 weitere Werte:
- Brueckner, Sven A. 1 Treffer
- Butler, Michael 1 Treffer
- Ciancarini, Paolo 1 Treffer
- Ege, Raimund K. 1 Treffer
- Fitzgerald, John 1 Treffer
- Grieskamp, Wolfgang 1 Treffer
- Hutt, Andrew T. F. 1 Treffer
- Kündig, Albert 1 Treffer
- Misra, Jayadev 1 Treffer
- Morris, Derrick 1 Treffer
- Nierstrasz, Oscar (1957-) 1 Treffer
- Romijn, Judi 1 Treffer
- Wing, Jeannette Marie (1956-) 1 Treffer
- Wirsing, Martin (1948-) 1 Treffer
20 Treffer
-
München [u.a.]: Hanser [u.a.], 1994Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Prentice Hall, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Englewood Cliffs, NJ: Prentice Hall, 1991Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1996Lehrbuch, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Wiley, 1994Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: