Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Formale Methode 9 Treffer
- Softwareentwicklung 5 Treffer
- Model Checking 4 Treffer
- Objektorientierung 4 Treffer
- Modellgetriebene Entwicklung 2 Treffer
-
24 weitere Werte:
- OCL (Programmiersprache) 2 Treffer
- Objektorientierte Programmierung 2 Treffer
- Programmanalyse 2 Treffer
- Programmverifikation 2 Treffer
- Software 2 Treffer
- Systemanalyse 2 Treffer
- Testen 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
- Programmiersprache 1 Treffer
- Requirements engineering 1 Treffer
- Selbst organisierendes System 1 Treffer
- Softwarearchitektur 1 Treffer
- Spezifikationssprache 1 Treffer
- Systemtechnik 1 Treffer
- Technisches System 1 Treffer
Form
Person
- Bernardo, Marco (1970-) 1 Treffer
- Boiten, Eerke (1966-) 1 Treffer
- Briand, Lionel 1 Treffer
- Brueckner, Sven A. 1 Treffer
- Butler, Michael 1 Treffer
-
16 weitere Werte:
- Ciancarini, Paolo 1 Treffer
- Coad, Peter 1 Treffer
- Cox, Brad J. 1 Treffer
- Fitzgerald, John 1 Treffer
- Grieskamp, Wolfgang 1 Treffer
- Kündig, Albert 1 Treffer
- Mayfield, Mark 1 Treffer
- Misra, Jayadev 1 Treffer
- Morris, Derrick 1 Treffer
- Nierstrasz, Oscar (1957-) 1 Treffer
- North, David 1 Treffer
- Romijn, Judi 1 Treffer
- Rumbaugh, James (1947-) 1 Treffer
- Wing, Jeannette Marie (1956-) 1 Treffer
- Wirsing, Martin (1948-) 1 Treffer
- Yourdon, Edward 1 Treffer
19 Treffer
-
London [u.a.]: Springer, 1996Lehrbuch, Sammelwerk, Gedruckte RessourceZugriff:
-
Englewood Cliffs, NJ: Yourdon, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2. ed.. - Englewood Cliffs, NJ [u.a.]: Yourdon Press [u.a.], 1997Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Konferenzschrift, Sammelwerk, 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, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Englewood Cliffs, NJ: Prentice Hall, 1991Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1986Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: