Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- genie logiciel 7 Treffer
- software engineering 7 Treffer
- ingenieria logiciel 4 Treffer
- langages de programmation 4 Treffer
- programming languages 4 Treffer
-
45 weitere Werte:
- especificacion formal 3 Treffer
- especificacion programa 3 Treffer
- formal specification 3 Treffer
- formal verification 3 Treffer
- langage modelisation unifie 3 Treffer
- lenguaje uml 3 Treffer
- object oriented programming 3 Treffer
- program specification 3 Treffer
- programmation orientee objet 3 Treffer
- specification formelle 3 Treffer
- specification programme 3 Treffer
- unified modelling language 3 Treffer
- verification formelle 3 Treffer
- distributed system 2 Treffer
- formal method 2 Treffer
- methode formelle 2 Treffer
- metodo formal 2 Treffer
- model-based reasoning 2 Treffer
- object oriented 2 Treffer
- orientado objeto 2 Treffer
- oriente objet 2 Treffer
- program verification 2 Treffer
- raisonnement base sur modele 2 Treffer
- sistema repartido 2 Treffer
- systeme reparti 2 Treffer
- verificacion programa 2 Treffer
- verification programme 2 Treffer
- actualizacion 1 Treffer
- analisis semantico 1 Treffer
- analyse semantique 1 Treffer
- base connaissance 1 Treffer
- base conocimiento 1 Treffer
- boarded computer 1 Treffer
- b-system 1 Treffer
- calcul reparti 1 Treffer
- calculador embarque 1 Treffer
- calculateur embarque 1 Treffer
- calculo repartido 1 Treffer
- case study 1 Treffer
- circuit decodeur 1 Treffer
- circuit design 1 Treffer
- circuito desciframiento 1 Treffer
- client server model 1 Treffer
- complex system 1 Treffer
- composant logiciel 1 Treffer
Publikation
- lecture notes in computer science 10 Treffer
- uml 2003 - the unified modeling language (modeling languages and applications) 3 Treffer
- uml '99 : the unified modeling language : beyond the standard (fort collins co, 28-30 october 1999) 3 Treffer
- coordination languages and models (amsterdam, 26-28 april 1999) 1 Treffer
- embedded software and systems (1st international conference, icess 2004, hangzhou, china, december 9-10, 2004, revised selected lectures) 1 Treffer
- 2 weitere Werte:
Sprache
10 Treffer
-
In: Embedded software and systems (1st international conference, ICESS 2004, Hangzhou, China, December 9-10, 2005, S. 536-541KonferenzZugriff:
-
In: ZB 2005 : formal specification and developments in Z and B (Guildford, 13-15 April 2005), 2005, S. 142-161KonferenzZugriff:
-
In: UML 2003 - the unified modeling language (modeling languages and applications), 2003, S. 159-174KonferenzZugriff:
-
In: UML 2003 - the unified modeling language (modeling languages and applications), 2003, S. 2-17KonferenzZugriff:
-
In: FMCO 2002 : formal methods for components and objects (Leiden, 5-8 November 2002, revised lectures), 2003, S. 424-442KonferenzZugriff:
-
In: UML 2003 - the unified modeling language (modeling languages and applications), 2003, S. 96-100KonferenzZugriff:
-
In: UML '99 : the unified modeling language : beyond the standard (Fort Collins CO, 28-30 October 1999), 1999, S. 661-674KonferenzZugriff:
-
In: UML '99 : the unified modeling language : beyond the standard (Fort Collins CO, 28-30 October 1999), 1999, S. 430-445KonferenzZugriff:
-
In: Coordination languages and models (Amsterdam, 26-28 April 1999), 1999, S. 227-242KonferenzZugriff:
-
In: UML '99 : the unified modeling language : beyond the standard (Fort Collins CO, 28-30 October 1999), 1999, S. 518-533KonferenzZugriff: