Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Komponente (Software) 24 Treffer
- Formale Methode 21 Treffer
- Softwarespezifikation 17 Treffer
- Systementwicklung 17 Treffer
- Eingebettetes System 14 Treffer
-
45 weitere Werte:
- Zuverlässigkeit 14 Treffer
- Ada 10 Treffer
- Model Checking 10 Treffer
- Qualitätsmanagement 10 Treffer
- Algebraische Methode 9 Treffer
- Formale Spezifikationstechnik 9 Treffer
- Objektorientierung 8 Treffer
- Aspektorientierte Programmierung 7 Treffer
- Software 7 Treffer
- Software Engineering 7 Treffer
- Generische Programmierung 6 Treffer
- Hardwareentwurf 6 Treffer
- Mehragentensystem 6 Treffer
- Objektorientierte Programmierung 6 Treffer
- Softwarearchitektur 6 Treffer
- UML 6 Treffer
- Verifikation 6 Treffer
- Verteiltes System 6 Treffer
- B (Programmiersprache) 5 Treffer
- Anwendungssystem 4 Treffer
- Automatisches Beweisverfahren 4 Treffer
- Domain engineering 4 Treffer
- Formalisierung 4 Treffer
- Leistungsbewertung 4 Treffer
- Produktfamilie 4 Treffer
- Qualitätssicherung 4 Treffer
- Softwarelebenszyklus 4 Treffer
- Z (Programmiersprache) 4 Treffer
- Agent (Informatik) 3 Treffer
- Echtzeitsystem 3 Treffer
- Feature-Technologie 3 Treffer
- Metaprogrammierung 3 Treffer
- Mobile Computing 3 Treffer
- Organisatorisches Lernen 3 Treffer
- Programmanalyse 3 Treffer
- Programmverifikation 3 Treffer
- Projektmanagement 3 Treffer
- Qualitätssteigerung 3 Treffer
- Requirements engineering 3 Treffer
- Softwareprodukt 3 Treffer
- Systementwurf 3 Treffer
- Theoretische Informatik 3 Treffer
- Wissensmanagement 3 Treffer
- Anpassung 2 Treffer
- Ausfallsicheres System 2 Treffer
Sprache
Form
Person
- Bomarius, Frank 4 Treffer
- Bert, Didier 3 Treffer
- Boer, Frank S. de 3 Treffer
- Broy, Manfred (1949-) 3 Treffer
- Linden, Frank van der (1954-) 3 Treffer
-
45 weitere Werte:
- Bernardo, Marco (1970-) 2 Treffer
- Díaz, Josep (1950-) 2 Treffer
- Gschwind, Thomas 2 Treffer
- Johnson, Michael 2 Treffer
- Leite, João 2 Treffer
- Prehn, Søren 2 Treffer
- Rattray, 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
- Barkaoui, Kamel 1 Treffer
- Batory, Don 1 Treffer
- Bidoit, Michel 1 Treffer
- Bjørner, Dines (1937-) 1 Treffer
- Blieberger, Johann 1 Treffer
- Boer, Frank S. de (1956-) 1 Treffer
- Bosch, Jan 1 Treffer
- Bowen, Jonathan P. (1956-) 1 Treffer
- Bustard, David (1949-) 1 Treffer
- Butler, Gregory 1 Treffer
- Castelfranchi, Cristiano (1944) 1 Treffer
- Cazzola, Walter 1 Treffer
- Ciancarini, Paolo 1 Treffer
- Cleaveland, Walter R. (1961-) 1 Treffer
- Coen-Porisini, Alberto (1961-) 1 Treffer
- Coplien, James O. 1 Treffer
- Craeynest, Dirk 1 Treffer
- Crnkovic, Ivica 1 Treffer
- Czarnecki, Krzysztof 1 Treffer
- Dal Cin, Mario (1940-) 1 Treffer
- Dang Van Hung (1950-) 1 Treffer
- Davidson, Jack 1 Treffer
- Davies, Jim 1 Treffer
- De Micheli, Giovanni (1955-) 1 Treffer
- Dean, John 1 Treffer
- Diehl, Stephan 1 Treffer
- Dingsøyr, Torgeir 1 Treffer
- Dong, Jin Song (1967-) 1 Treffer
- Dumke, Reiner (1947-) 1 Treffer
- Erdogmus, Hakan 1 Treffer
145 Treffer
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: