Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Komponente (Software) 25 Treffer
- Formale Methode 24 Treffer
- Softwarespezifikation 21 Treffer
- Eingebettetes System 17 Treffer
- Systementwicklung 17 Treffer
-
45 weitere Werte:
- Zuverlässigkeit 16 Treffer
- Objektorientierung 14 Treffer
- Objektorientierte Programmierung 12 Treffer
- Formale Spezifikationstechnik 11 Treffer
- Ada 10 Treffer
- Model Checking 10 Treffer
- Qualitätsmanagement 10 Treffer
- Software 10 Treffer
- Algebraische Methode 9 Treffer
- Hardwareentwurf 8 Treffer
- Projektmanagement 8 Treffer
- Softwarearchitektur 8 Treffer
- Aspektorientierte Programmierung 7 Treffer
- Qualitätssicherung 7 Treffer
- UML 7 Treffer
- Verifikation 7 Treffer
- B (Programmiersprache) 6 Treffer
- Echtzeitsystem 6 Treffer
- Generische Programmierung 6 Treffer
- Mehragentensystem 6 Treffer
- Software Engineering 6 Treffer
- Softwarewiederverwendung 6 Treffer
- Verteiltes System 6 Treffer
- Anwendungssystem 5 Treffer
- Softwarelebenszyklus 5 Treffer
- Automatisches Beweisverfahren 4 Treffer
- Domain engineering 4 Treffer
- Fehlertoleranz 4 Treffer
- Formalisierung 4 Treffer
- Leistungsbewertung 4 Treffer
- Produktfamilie 4 Treffer
- Systementwurf 4 Treffer
- Technisches System 4 Treffer
- Testen 4 Treffer
- Z (Programmiersprache) 4 Treffer
- Agent (Informatik) 3 Treffer
- Dienstgüte 3 Treffer
- Feature-Technologie 3 Treffer
- Graphersetzungssystem 3 Treffer
- Künstliche Intelligenz 3 Treffer
- Metaprogrammierung 3 Treffer
- Mobile Computing 3 Treffer
- Organisatorisches Lernen 3 Treffer
- Programmanalyse 3 Treffer
- Programmverifikation 3 Treffer
Sprache
Form
Person
- Bomarius, Frank 4 Treffer
- Broy, Manfred (1949-) 4 Treffer
- Bert, Didier 3 Treffer
- Boer, Frank S. de 3 Treffer
- Gamma, Erich (1961-) 3 Treffer
-
45 weitere Werte:
- Linden, Frank van der (1954-) 3 Treffer
- Bernardo, Marco (1970-) 2 Treffer
- Bjørner, Dines (1937-) 2 Treffer
- Bowen, Jonathan P. (1956-) 2 Treffer
- Díaz, Josep (1950-) 2 Treffer
- Fowler, Martin (1963-) 2 Treffer
- Gschwind, Thomas 2 Treffer
- Johnson, Michael 2 Treffer
- Leite, João 2 Treffer
- Nagl, Manfred 2 Treffer
- Nierstrasz, Oscar (1957-) 2 Treffer
- Prehn, Søren 2 Treffer
- Rattray, Charles 2 Treffer
- Rich, Charles 2 Treffer
- Richardson, Ita 2 Treffer
- Wirsing, Martin (1948-) 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
- Backhouse, Roland 1 Treffer
- Baggenstos, Thomas 1 Treffer
- Barkaoui, Kamel 1 Treffer
- Batory, Don 1 Treffer
- Beck, Kent 1 Treffer
- Bennett, John 1 Treffer
- Bergé, Jean-Michel 1 Treffer
- Bidoit, Michel 1 Treffer
- Blieberger, Johann 1 Treffer
- Boer, Frank S. de (1956-) 1 Treffer
- Bosch, Jan 1 Treffer
- Bouyssounouse, Bruno 1 Treffer
- Brown, William J. (1954-) 1 Treffer
- Bruynooghe, Maurice 1 Treffer
- Bustard, David (1949-) 1 Treffer
- Butler, Gregory 1 Treffer
- Butler, Michael 1 Treffer
- Castelfranchi, Cristiano (1944) 1 Treffer
- Cazzola, Walter 1 Treffer
- Cechich, Alejandra 1 Treffer
- Ciancarini, Paolo 1 Treffer
- Cleaveland, Walter R. (1961-) 1 Treffer
- Coen-Porisini, Alberto (1961-) 1 Treffer
- Coleman, Derek 1 Treffer
189 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1984Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1986Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Prentice Hall, 1995Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Sammelwerk, Gedruckte RessourceZugriff:
-
New York: Yourdon Pr, 1979Sammelwerk, Gedruckte RessourceZugriff: