.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formale Beschreibungstechniken Fur Verteilte Systeme
Dieter . Ed(S): Hogrefe
€ 94.40
FREE Delivery in Ireland
Description for Formale Beschreibungstechniken Fur Verteilte Systeme
Paperback. Editor(s): Hogrefe, Dieter. Series: Informatik Aktuell. Num Pages: 228 pages, 22 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 13. Weight in Grams: 420.
1m Februar 1991 wurde ein Arbeitskreis "Formale Beschreibungstechniken fUr verteilte Systeme" am Rande der Fachtagung "Kommunikation in verteilten Systemen" in Mann- heim in der GI/ITG Fachgruppe 3.3.1/4.4 "Kommunikation und verteilte Systeme" gegrundet. Der Arbeitskreis wurde mit dem Ziel gegrundet, einen regelmassigen wissenschaftlichen Gedankenaustausch in organisierter Form zu ermoglichen. Die folgenden Themen wurden als Interessensschwerpunkte im Arbeitskreis erkannt: FDT-basierte Werkzeuge zur Unterstutzung des Systementwurfs Konformitatstesten basierend auf formalen Beschreibungen Leistungsanalyse basierend auf formalen Beschreibungen Verifikation basierend auf formalen Beschreibungen Ergonomie des Arbeitens mit FDTs Anwendung von FDTs in der ODP-Standardisierung theoretische Modelle Datenmodellierung FDTs im System-Life-Cycle FDT-basierte Implementierung (ODP = Open ... Read more
1m Februar 1991 wurde ein Arbeitskreis "Formale Beschreibungstechniken fUr verteilte Systeme" am Rande der Fachtagung "Kommunikation in verteilten Systemen" in Mann- heim in der GI/ITG Fachgruppe 3.3.1/4.4 "Kommunikation und verteilte Systeme" gegrundet. Der Arbeitskreis wurde mit dem Ziel gegrundet, einen regelmassigen wissenschaftlichen Gedankenaustausch in organisierter Form zu ermoglichen. Die folgenden Themen wurden als Interessensschwerpunkte im Arbeitskreis erkannt: FDT-basierte Werkzeuge zur Unterstutzung des Systementwurfs Konformitatstesten basierend auf formalen Beschreibungen Leistungsanalyse basierend auf formalen Beschreibungen Verifikation basierend auf formalen Beschreibungen Ergonomie des Arbeitens mit FDTs Anwendung von FDTs in der ODP-Standardisierung theoretische Modelle Datenmodellierung FDTs im System-Life-Cycle FDT-basierte Implementierung (ODP = Open ... Read more
Product Details
Format
Paperback
Publication date
1992
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
228
Condition
New
Series
Informatik Aktuell
Number of Pages
228
Place of Publication
Berlin, Germany
ISBN
9783540555681
SKU
V9783540555681
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formale Beschreibungstechniken Fur Verteilte Systeme