Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Formale Beschreibungstechniken Fur Verteilte Systeme (English, German, Paperback)
Loot Price: R2,220
Discovery Miles 22 200
|
|
Formale Beschreibungstechniken Fur Verteilte Systeme (English, German, Paperback)
Series: Informatik Aktuell
Expected to ship within 10 - 15 working days
|
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.
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Informatik Aktuell |
Release date: |
May 1992 |
First published: |
1992 |
Editors: |
Dieter Hogrefe
|
Dimensions: |
242 x 170 x 13mm (L x W x T) |
Format: |
Paperback
|
Pages: |
228 |
ISBN-13: |
978-3-540-55568-1 |
Languages: |
English
•
German
|
Categories: |
Books >
Computing & IT >
Computer programming >
Software engineering
|
LSN: |
3-540-55568-4 |
Barcode: |
9783540555681 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.