Items related to Formale Beschreibungstechniken für verteilte Systeme...
Synopsis
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.
Search results for Formale Beschreibungstechniken für verteilte Systeme...
Stock Image
Formale Beschreibungstechniken fA14r verteilte Systeme
Print on DemandSeller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Seller Inventory # 6666-IUK-9783540555681
Buy New
£ 54.05
£ 4.99 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 20 available
Seller Image
Formale Beschreibungstechniken für verteilte Systeme
Published by
Springer Berlin Heidelberg Mai 1992, 1992
ISBN 10: 3540555684
ISBN 13: 9783540555681
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
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
Seller Image
Formale Beschreibungstechniken Fur Verteilte Systeme -Language: german
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 21686418-n
Seller Image
Formale Beschreibungstechniken für verteilte Systeme
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
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
Seller Image
Formale Beschreibungstechniken für verteilte Systeme
Published by
Springer Berlin Heidelberg, 1992
ISBN 10: 3540555684
ISBN 13: 9783540555681
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4893650
Buy New
£ 51.50
£ 40.83 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Formale Beschreibungstechniken für verteilte Systeme
Published by
Springer Berlin Heidelberg, Springer Mai 1992, 1992
ISBN 10: 3540555684
ISBN 13: 9783540555681
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Deutsch. Seller Inventory # 9783540555681
Stock Image
Formale Beschreibungstechniken für verteilte Systeme (Informatik aktuell) (German and English Edition)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 1st edition. 236 pages. German language. 9.53x6.69x0.55 inches. In Stock. Seller Inventory # x-3540555684
Buy New
£ 94.24
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Formale Beschreibungstechniken für verteilte Systeme. ( Information aktuell) .
Seller: ralfs-buecherkiste, Herzfelde, MOL, Germany
Seller rating 5 out of 5 stars
Pappe. Condition: Gut. 228 Ein Teil der Beiträge in engl. CDM Kommunikationssoftware LOTOS ODP Petri- Netze Bibl-Ex. Guter Zustand Bibl-Ex. ha1054925 Sprache: Deutsch Gewicht in Gramm: 400. Seller Inventory # 283083
Seller Image
Formale Beschreibungstechniken für verteilte Systeme
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Formale Beschreibungstechniken für verteilte Systeme | Dieter Hogrefe | Taschenbuch | Informatik aktuell | viii | Deutsch | 1992 | Springer | EAN 9783540555681 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Seller Inventory # 102134381
Stock Image
Formale Beschreibungstechniken für verteilte Systeme
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | 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 # 22693392/202