Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Methode 21 Treffer
- Verifikation 9 Treffer
- Komponente (Software) 8 Treffer
- Model Checking 8 Treffer
- Objektorientierung 7 Treffer
-
45 weitere Werte:
- Softwarespezifikation 7 Treffer
- Systementwicklung 6 Treffer
- Mathematische Methode 5 Treffer
- UML 5 Treffer
- Eingebettetes System 4 Treffer
- Fehlertoleranz 4 Treffer
- Formale Spezifikationstechnik 4 Treffer
- Hardwareentwurf 4 Treffer
- Echtzeitsystem 3 Treffer
- Objektorientierte Programmierung 3 Treffer
- Programmanalyse 3 Treffer
- Algebraische Spezifikation 2 Treffer
- C++ 2 Treffer
- Computational logic 2 Treffer
- Korrektheit 2 Treffer
- Mathematik 2 Treffer
- Nebenläufigkeit 2 Treffer
- Requirements engineering 2 Treffer
- Software 2 Treffer
- Testen 2 Treffer
- Theoretische Informatik 2 Treffer
- Agent (Informatik) 1 Treffer
- Anwendungssoftware 1 Treffer
- Anwendungssystem 1 Treffer
- AspectJ 1 Treffer
- Attributierte Graph-Grammatik / Software Engineering 1 Treffer
- Attributierte Graph-Grammatik / Softwareentwicklung 1 Treffer
- B (Programmiersprache) 1 Treffer
- Benutzerorientierung 1 Treffer
- Entwurfsmuster 1 Treffer
- Feature-Technologie 1 Treffer
- Forschungsbericht 1 Treffer
- Graph-Grammatik 1 Treffer
- IPSEN (Softwaresystem) 1 Treffer
- IPSEN <Softwaresystem> 1 Treffer
- IPSEN <Softwaresystem> / Aufsatzsammlung 1 Treffer
- Informationssystem 1 Treffer
- Java (Programmiersprache) 1 Treffer
- LARCH 1 Treffer
- Leitsystem (Technik) 1 Treffer
- Logische Programmierung 1 Treffer
- Message sequence chart 1 Treffer
- Petri-Netz 1 Treffer
- Programm 1 Treffer
- Programmierumgebung 1 Treffer
Sprache
Form
Person
- Boer, Frank S. de 3 Treffer
- Alexandrescu, Andrei 1 Treffer
- Aßmann, Uwe 1 Treffer
- Backhouse, Roland 1 Treffer
- Barkaoui, Kamel 1 Treffer
-
42 weitere Werte:
- Bidoit, Michel 1 Treffer
- Boer, Frank S. de (1956-) 1 Treffer
- Boiten, Eerke (1966-) 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
- Bruynooghe, Maurice 1 Treffer
- Bundschuh, Manfred 1 Treffer
- Damm, Werner 1 Treffer
- Dang Van Hung (1950-) 1 Treffer
- Davies, Jim 1 Treffer
- Dong, Jin Song (1967-) 1 Treffer
- Dori, Dov (1953-) 1 Treffer
- Díaz, Josep (1950-) 1 Treffer
- Ehrig, Hartmut 1 Treffer
- Ehrig, Hartmut (1944-2016) 1 Treffer
- Fitzgerald, John (1951-) 1 Treffer
- Gaudel, Marie-Claude 1 Treffer
- George, Chris 1 Treffer
- Guttag, John 1 Treffer
- Göttler, Herbert 1 Treffer
- Horebeek, Ivo van (1959-) 1 Treffer
- Hutter, Dieter 1 Treffer
- Janssen, Heike 1 Treffer
- Jeuring, Johan 1 Treffer
- Joseph, Mathai 1 Treffer
- Kozen, Dexter (1951-) 1 Treffer
- Lano, Kevin 1 Treffer
- Lau, Kung-Kiu (1953-) 1 Treffer
- Leavens, Gary T. 1 Treffer
- Leue, Stefan 1 Treffer
- Lewi, Johan 1 Treffer
- Liu, Zhiming (1961-) 1 Treffer
- Matzdorff, Klaus 1 Treffer
- Möller, Bernhard 1 Treffer
- Naftalin, Maurice 1 Treffer
- Nagl, Manfred 1 Treffer
- Olderog, Ernst-Rüdiger (1955-) 1 Treffer
- Petrenko, Alexandre 1 Treffer
- Ravn, Anders P. 1 Treffer
- Romijn, Judi 1 Treffer
- Ryan, Mark (1962-) 1 Treffer
- Uustalu, Tarmo 1 Treffer
- Züllighoven, Heinz 1 Treffer
48 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: Elsevier [u.a.], 2005Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Formal techniques in real time and fault tolerant systems: 5th international symposium ; proceedingsBerlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1993Monographie, Gedruckte RessourceZugriff:
-
7. print.. - Boston, Mass. [u.a.]: Addison-Wesley, 2003Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1993Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Hamburg: S und W, Steuer- und Wirtschaftsverl, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: