dc.contributor.author
Löhr, Klaus-Peter
dc.date.accessioned
2018-06-08T08:01:54Z
dc.date.available
2009-03-18T09:59:11.796Z
dc.identifier.uri
https://refubium.fu-berlin.de/handle/fub188/19216
dc.identifier.uri
http://dx.doi.org/10.17169/refubium-22879
dc.description.abstract
Verteilte Applikationen werden heute zunehmend verteilungstransparent
programmiert. Wenn man schon bei der Programmierung weitgehend von
verteilungsbedingten technischen Details abstrahieren kann, erhofft man sich
dies natürlich erst recht für die Spezifikation. Bei genauerem Hinsehen zeigt
sich allerdings, daß manche Transparenzdefizite der Implementierung schon bei
der Spezifikation berücksichtigt werden müssen, und zwar auch bei sorgfältiger
objektorientierter Strukturierung. Die vorliegende Arbeit erläutert die
Problematik anhand einer in Object-Z formulierten Beispielapplikation und
zeigt auf, was beim Entwurf zu beachten ist.
de
dc.relation.ispartofseries
urn:nbn:de:kobv:188-fudocsseries000000000021-2
dc.rights.uri
http://www.fu-berlin.de/sites/refubium/rechtliches/Nutzungsbedingungen
dc.subject.ddc
000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::004 Datenverarbeitung; Informatik
dc.title
Verteilungstransparenz bei der objektorientierten Spezifikation verteilter
Applikationen
refubium.affiliation
Mathematik und Informatik
de
refubium.affiliation.other
Institut für Informatik
refubium.mycore.fudocsId
FUDOCS_document_000000001238
refubium.resourceType.isindependentpub
no
refubium.series.name
Freie Universität Berlin, Fachbereich Mathematik und Informatik
refubium.series.reportNumber
95-8
refubium.mycore.derivateId
FUDOCS_derivate_000000000286
dcterms.accessRights.openaire
open access
