Items related to Formale Beschreibungstechniken für verteilte Systeme...
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 Distributed Processing, Normungsaktivitat ISO) (FDT = Formal Description Technique) Die obige Liste ist selbstverstandlich offen fUr Veranderungen. Der vorliegende Band enthalt Arbeiten aus dem Themengebiet des Arbeitskreises. Einer- seits sind dies Arbeiten, die anlasslich des ersten Fachgesprachs im Juni 1991 in Darm- stadt vorgestellt wurden. Andererseits sind es Arbeiten, die nachtraglich von Autoren eingereicht wurden, denen es nicht moglich war, am Fachgesprach teilzunehmen. Unter den zahlreichen Arbeiten, die eingereicht wurden, ist hier nur eine Auswahl zusammen- gestellt, die nach einem zweistufigen Begutachtungsprozess ubrig blieben: Begutachtung - Revision ausgewahlter Beitrage - erneute Begutachtung.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1992
- ISBN 10 3540555684
- ISBN 13 9783540555681
- BindingPerfect Paperback
- Edition number1
- Number of pages236
- EditorHogrefe Dieter
Buy New
Learn more about this copy
£ 61.50
Shipping:
£ 2.08
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Formale Beschreibungstechniken Fur Verteilte Systeme -Language: german
Seller:
Rating
Book Description Condition: New. Seller Inventory # 21686418-n
Buy New
£ 61.50
Convert currency
Seller Image
Formale Beschreibungstechniken für verteilte Systeme (Informatik aktuell) (German and English Edition) [Perfect Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540555681
Buy New
£ 63.65
Convert currency
Stock Image
Formale Beschreibungstechniken für verteilte Systeme
Published by
Springer
(1992)
ISBN 10: 3540555684
ISBN 13: 9783540555681
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540555681_lsuk
Buy New
£ 54.96
Convert currency
Stock Image
Formale Beschreibungstechniken fur verteilte Systeme
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783540555681
Buy New
£ 52.22
Convert currency
Seller Image
Formale Beschreibungstechniken für verteilte Systeme
Published by
Springer Berlin Heidelberg Mai 1992
(1992)
ISBN 10: 3540555684
ISBN 13: 9783540555681
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 Distributed Processing, Normungsaktivitat ISO) (FDT = Formal Description Technique) Die obige Liste ist selbstverstandlich offen fUr Veranderungen. Der vorliegende Band enthalt Arbeiten aus dem Themengebiet des Arbeitskreises. Einer seits sind dies Arbeiten, die anlasslich des ersten Fachgesprachs im Juni 1991 in Darm stadt vorgestellt wurden. Andererseits sind es Arbeiten, die nachtraglich von Autoren eingereicht wurden, denen es nicht moglich war, am Fachgesprach teilzunehmen. Unter den zahlreichen Arbeiten, die eingereicht wurden, ist hier nur eine Auswahl zusammen gestellt, die nach einem zweistufigen Begutachtungsprozess ubrig blieben: Begutachtung - Revision ausgewahlter Beitrage - erneute Begutachtung. 240 pp. Englisch, Deutsch. Seller Inventory # 9783540555681
Buy New
£ 52.56
Convert currency
Stock Image
Formale Beschreibungstechniken für verteilte Systeme (Informatik aktuell) (German Edition)
Published by
Springer
(1992)
ISBN 10: 3540555684
ISBN 13: 9783540555681
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020170470
Buy New
£ 69.07
Convert currency
Seller Image
Formale Beschreibungstechniken für verteilte Systeme
Published by
Springer Berlin Heidelberg
(1992)
ISBN 10: 3540555684
ISBN 13: 9783540555681
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 Distributed Processing, Normungsaktivitat ISO) (FDT = Formal Description Technique) Die obige Liste ist selbstverstandlich offen fUr Veranderungen. Der vorliegende Band enthalt Arbeiten aus dem Themengebiet des Arbeitskreises. Einer seits sind dies Arbeiten, die anlasslich des ersten Fachgesprachs im Juni 1991 in Darm stadt vorgestellt wurden. Andererseits sind es Arbeiten, die nachtraglich von Autoren eingereicht wurden, denen es nicht moglich war, am Fachgesprach teilzunehmen. Unter den zahlreichen Arbeiten, die eingereicht wurden, ist hier nur eine Auswahl zusammen gestellt, die nach einem zweistufigen Begutachtungsprozess ubrig blieben: Begutachtung - Revision ausgewahlter Beitrage - erneute Begutachtung. Seller Inventory # 9783540555681
Buy New
£ 52.56
Convert currency
Seller Image
Formale Beschreibungstechniken Fur Verteilte Systeme -Language: german
Seller:
Rating
Book Description Condition: New. Seller Inventory # 21686418-n
Buy New
£ 73.89
Convert currency
Stock Image
Formale Beschreibungstechniken für verteilte Systeme (Informatik aktuell) (German and English Edition)
Seller:
Rating
Book Description Paperback. Condition: Brand New. 1st edition. 236 pages. German language. 9.53x6.69x0.55 inches. In Stock. Seller Inventory # x-3540555684
Buy New
£ 81.66
Convert currency
Seller Image
Formale Beschreibungstechniken für verteilte Systeme
Published by
Springer Berlin Heidelberg
(1992)
ISBN 10: 3540555684
ISBN 13: 9783540555681
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # 4893650
Buy New
£ 52.56
Convert currency