Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Softwareentwicklung 18 Treffer
- Formale Methode 12 Treffer
- Model Checking 9 Treffer
- Objektorientierung 8 Treffer
- Automatisches Beweisverfahren 4 Treffer
-
45 weitere Werte:
- Softwarespezifikation 4 Treffer
- Formale Spezifikationstechnik 3 Treffer
- Objektorientierte Programmierung 3 Treffer
- Programmverifikation 3 Treffer
- Software Engineering 3 Treffer
- Verifikation 3 Treffer
- Anwendungssystem 2 Treffer
- Echtzeitsystem 2 Treffer
- Graphersetzungssystem 2 Treffer
- Mehragentensystem 2 Treffer
- Mensch-Maschine-System 2 Treffer
- Modellgetriebene Entwicklung 2 Treffer
- OCL (Programmiersprache) 2 Treffer
- Requirements engineering 2 Treffer
- UML 2 Treffer
- Verteiltes System 2 Treffer
- Algebraische Spezifikation 1 Treffer
- Application software / Development 1 Treffer
- Aspektorientierte Programmierung 1 Treffer
- Benutzerfreundlichkeit 1 Treffer
- C++ 1 Treffer
- CAD 1 Treffer
- Domain engineering 1 Treffer
- Ergonomie 1 Treffer
- Fehlertoleranz 1 Treffer
- Funktionale Programmierung 1 Treffer
- Ganzheitliches Denken 1 Treffer
- Informationsmanagement 1 Treffer
- Informationssystem 1 Treffer
- Integriertes Management 1 Treffer
- Komplexes System 1 Treffer
- Komponente (Software) 1 Treffer
- Koordination 1 Treffer
- Leistungsbewertung 1 Treffer
- Mathematische Methode 1 Treffer
- Mensch-Maschine-Kommunikation 1 Treffer
- Nebenläufigkeit 1 Treffer
- Objektorientierte Programmierung / Modellierung 1 Treffer
- Organisationsentwicklung 1 Treffer
- Problemlösen 1 Treffer
- Programmanalyse 1 Treffer
- Programmiersprache 1 Treffer
- Selbst organisierendes System 1 Treffer
- Softwarearchitektur 1 Treffer
- Spezifikationssprache 1 Treffer
Sprache
Form
Person
- Katoen, Joost-Pieter (1964-) 2 Treffer
- Balke, Karl G. 1 Treffer
- Balzert, Heide 1 Treffer
- Barkaoui, Kamel 1 Treffer
- Bernardo, Marco (1970-) 1 Treffer
-
41 weitere Werte:
- Boiten, Eerke (1966-) 1 Treffer
- Brau, Henning 1 Treffer
- Briand, Lionel 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
- Brueckner, Sven A. 1 Treffer
- Butler, Michael 1 Treffer
- Ciancarini, Paolo 1 Treffer
- Coad, Peter 1 Treffer
- Cox, Brad J. 1 Treffer
- Dori, Dov (1953-) 1 Treffer
- Ege, Raimund K. 1 Treffer
- Fowler, Martin (1963-) 1 Treffer
- Garavel, Hubert 1 Treffer
- Gaudel, Marie-Claude 1 Treffer
- Graf, Susanne 1 Treffer
- Grieskamp, Wolfgang 1 Treffer
- Gryczan, Guido 1 Treffer
- Halbwachs, Nicolas 1 Treffer
- Halladay, Steve 1 Treffer
- Hermanns, Holger (1967-) 1 Treffer
- Hinchey, Michael G. 1 Treffer
- Jensen, Kurt 1 Treffer
- Kilberth, Klaus (1945-) 1 Treffer
- Kündig, Albert 1 Treffer
- Liu, Zhiming (1961-) 1 Treffer
- Margaria, Tiziana 1 Treffer
- Meyer, Bertrand 1 Treffer
- Murphy, John Stewart 1 Treffer
- Naftalin, Maurice 1 Treffer
- Nagl, Manfred 1 Treffer
- Nierstrasz, Oscar (1957-) 1 Treffer
- Pfaltz, John L. 1 Treffer
- Romijn, Judi 1 Treffer
- Ryan, Peter 1 Treffer
- Sarodnick, Florian (1974-) 1 Treffer
- Wiebel, Mike 1 Treffer
- Wing, Jeannette Marie (1956-) 1 Treffer
- Wirsing, Martin (1948-) 1 Treffer
- Yourdon, Edward 1 Treffer
- Züllighoven, Heinz 1 Treffer
- Züst, Rainer (1959-) 1 Treffer
41 Treffer
-
Braunschweig [u.a.]: Vieweg, 1993Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. Aufl.. - Bern: Huber, 2006Monographie, Gedruckte RessourceZugriff:
-
Englewood Cliffs, NJ: Yourdon Press, 1991Monographie, Gedruckte RessourceZugriff:
-
5. print.. - Boston [u.a.]: Addison-Wesley, 2003Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1986Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Prentice-Hall, 1995Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1993Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: McGraw-Hill, 1989Monographie, Gedruckte RessourceZugriff: