Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Komponente (Software) 31 Treffer
- Objektorientierung 31 Treffer
- Software Engineering 27 Treffer
- Objektorientierte Programmierung 26 Treffer
- Formale Methode 24 Treffer
-
45 weitere Werte:
- Softwarespezifikation 23 Treffer
- Eingebettetes System 21 Treffer
- Systementwicklung 18 Treffer
- Projektmanagement 17 Treffer
- UML 17 Treffer
- Zuverlässigkeit 17 Treffer
- Qualitätsmanagement 13 Treffer
- Qualitätssicherung 13 Treffer
- Software 13 Treffer
- Formale Spezifikationstechnik 12 Treffer
- Softwarearchitektur 12 Treffer
- Ada 10 Treffer
- Model Checking 10 Treffer
- Algebraische Methode 9 Treffer
- Anwendungssystem 9 Treffer
- Aspektorientierte Programmierung 9 Treffer
- Echtzeitsystem 8 Treffer
- Hardwareentwurf 8 Treffer
- Verteiltes System 8 Treffer
- Benutzeroberfläche 7 Treffer
- Mensch-Maschine-Kommunikation 7 Treffer
- Softwarewiederverwendung 7 Treffer
- Testen 7 Treffer
- Verifikation 7 Treffer
- B (Programmiersprache) 6 Treffer
- Entwurfsmuster 6 Treffer
- Generische Programmierung 6 Treffer
- Mehragentensystem 6 Treffer
- Programmierung 6 Treffer
- Requirements engineering 6 Treffer
- Systementwurf 6 Treffer
- Fehlertoleranz 5 Treffer
- Java (Programmiersprache) 5 Treffer
- Korrektheit 5 Treffer
- Leistungsbewertung 5 Treffer
- Softwarelebenszyklus 5 Treffer
- Z (Programmiersprache) 5 Treffer
- Automatisches Beweisverfahren 4 Treffer
- Domain engineering 4 Treffer
- Feature-Technologie 4 Treffer
- Formalisierung 4 Treffer
- Künstliche Intelligenz 4 Treffer
- Produktfamilie 4 Treffer
- Programmverifikation 4 Treffer
- Projekt 4 Treffer
Sprache
Form
Person
- Balzert, Helmut (1950-) 7 Treffer
- Bomarius, Frank 4 Treffer
- Broy, Manfred (1949-) 4 Treffer
- Gamma, Erich (1961-) 4 Treffer
- Oestereich, Bernd (1965-) 4 Treffer
-
45 weitere Werte:
- Bert, Didier 3 Treffer
- Boer, Frank S. de 3 Treffer
- Fogel, Karl 3 Treffer
- Fowler, Martin (1963-) 3 Treffer
- Jacobson, Ivar (1939-) 3 Treffer
- Linden, Frank van der (1954-) 3 Treffer
- Nagl, Manfred 3 Treffer
- Pomberger, Gustav (1949-) 3 Treffer
- Baber, Robert Laurence 2 Treffer
- Bar, Moshe 2 Treffer
- Bernardo, Marco (1970-) 2 Treffer
- Bjørner, Dines (1937-) 2 Treffer
- Blaschek, Günther 2 Treffer
- Bowen, Jonathan P. (1956-) 2 Treffer
- Burkhardt, Rainer 2 Treffer
- Darnell, Peter A. 2 Treffer
- Dumke, Reiner (1947-) 2 Treffer
- Díaz, Josep (1950-) 2 Treffer
- Glass, Robert L. (1932-) 2 Treffer
- Gschwind, Thomas 2 Treffer
- Johnson, Michael 2 Treffer
- Leite, João 2 Treffer
- Margolis, Philip E. 2 Treffer
- Neumann, Horst A. 2 Treffer
- Nierstrasz, Oscar (1957-) 2 Treffer
- Prehn, Søren 2 Treffer
- Rattray, Charles 2 Treffer
- Rich, Charles 2 Treffer
- Richardson, Ita 2 Treffer
- Vlissides, John M. (1961-2005) 2 Treffer
- Wirsing, Martin (1948-) 2 Treffer
- Yourdon, Edward 2 Treffer
- Abramsky, Samson (1953-) 1 Treffer
- Aichernig, Bernhard K. 1 Treffer
- Akşit, Mehmet 1 Treffer
- Alagar, Vangalur S. (1940-) 1 Treffer
- Althoff, Klaus-Dieter 1 Treffer
- Andresen, Andreas 1 Treffer
- Andrews, Derek 1 Treffer
- Arinir, Doga (1977-) 1 Treffer
- Arthur, Lowell Jay 1 Treffer
- Ayer, Steve J. (1956-) 1 Treffer
- Aßmann, Uwe 1 Treffer
- Babich, Wayne A. 1 Treffer
- Backhouse, Roland 1 Treffer
340 Treffer
-
[Nachdr.]. - San Diego, Calif. [u.a.]: Morgan Kaufmann, [20]01Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Pr. [u.a.], 1986Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York: 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, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Herdecke [u.a.]: W3L-Verl, 2007Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Monographie, Gedruckte RessourceZugriff:
-
[6. Aufl.]. - München [u.a.]: Addison-Wesley, 2011Sammelwerk, Gedruckte RessourceZugriff:
-
1. Aufl.. - Heidelberg: dpunkt-Verl, 2007Monographie, Gedruckte RessourceZugriff:
-
1. Aufl.. - Heidelberg: Elsevier, Spektrum Akad. Verl, 2007Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Englewood Cliffs, NJ [u.a.]: Prentice-Hall, 1985Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Monographie, Gedruckte RessourceZugriff: