Modeling of Dynamic Object Systems : A Logic-based Approach

Ralf Jungclaus

ISBN 10: 3528053860 ISBN 13: 9783528053864

Verlag: Vieweg+Teubner Verlag, 1993

Gebraucht Softcover

Verk�ufer Buchpark, Trebbin, Deutschland Verk�uferbewertung 5 von 5 Sternen

AbeBooks-Verk�ufer seit 30. September 2021

Dieser Artikel ist nicht mehr verf�gbar.

Alle Artikel dieses Verk�ufers anzeigen Ein Kaufgesuch f�r �hnliche Artikel erstellen

Alle Exemplare dieses Buches anzeigen

Beschreibung

Zustand: Sehr gut | Seiten: 252 | Sprache: Englisch | Produktart: B�cher. Bestandsnummer des Verk�ufers 24360277/202

Diesen Artikel melden

Inhaltsangabe:

This volume presents an approach to the formal object-oriented specification of information systems. The approach focuses on the early phases of system development where existing systems have to be described or systems to be developed have to be prescribed (requirements specification or conceptional modeling). Systems are considered to be reactive systems composed from objects that evolve concurrently in a discrete, event-driven way. Based on a temporal logic framework, the language Troll is defined. Troll supports the integrated specification of structural and behavioural properties of objects, as well as abstractions like roles, specifications and composite objects. Furthermore, concepts for constructing systems specifications from parts are introduced. Finally, the approach is related to similar ones and discussed.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Titel: Modeling of Dynamic Object Systems : A ...
Verlag: Vieweg+Teubner Verlag
Erscheinungsdatum: 1993
Einband: Softcover
Zustand: Sehr gut

Beste Suchergebnisse bei AbeBooks

Beispielbild f�r diese ISBN

Modeling of Dynamic Object Systems : A Logic-based Approach

Jungclaus, Ralf

Verlag: De Gruyter Saur, 1993

ISBN 10: 3528053860 ISBN 13: 9783528053864

Gebraucht Softcover

Anbieter: Buchpark, Trebbin, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Zustand: Gut. Zustand: Gut | Sprache: Englisch | Produktart: B�cher | Keine Beschreibung verf�gbar. Bestandsnummer des Verk�ufers 24360277/3

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 31,50

EUR 105,00 shipping
Versand von Deutschland nach USA

Anzahl: 2 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Modeling of Dynamic Object Systems

Ralf Jungclaus

Verlag: Vieweg+Teubner Verlag, 1993

ISBN 10: 3528053860 ISBN 13: 9783528053864

Neu Softcover

Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verk�uferbewertung 4 von 5 Sternen

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 1 Introduction.- 2 Information Systems Development.- I Foundations.- 3 Basic Notions of System Specification and Modeling Approaches.- 4 Semantic Concepts.- Language Definition.- 5 Basic Constructs in Troll.- 6 Template, Object, and Class Specifications.- 7. Bestandsnummer des Verk�ufers 4866718

Verk�ufer kontaktieren

Neu kaufen

EUR 54,99

EUR 48,99 shipping
Versand von Deutschland nach USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Modeling of Dynamic Object Systems

Ralf Jungclaus

Verlag: Vieweg+Teubner Verlag, Vieweg+Teubner Verlag Jan 1993, 1993

ISBN 10: 3528053860 ISBN 13: 9783528053864

Neu Taschenbuch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Neuware -This book is concerned with conceptual modeling, design and specification of in formation systems. Conventional information systems design starts with separating data from op erations, designing each with its own collection of concepts, methods, tools - and people: conceptual modeling for the imformation structure, and program design for the application programs. The separation carries through until the final implemen tation: data are collected in databases and managed with database management systems, and application programs are implemented with programming languages. This approach tends to suffer from a problem known as impedance mismatch. The basic paradigms underlying databases and programs - modeling, design, languages, and systems - do not fit easily together: there are incompatible type systems, data formats, operation modes, etc. The object-oriented paradigm promises to overcome these problems: a system is viewed as a community of interacting objects, each incorporating data and oper ations. While we still have object-oriented programming languages incompatible with object-oriented database systems, ideas and approaches seem to converge to wards homogeneous software systems dealing with both data and operations in a uniform way. Viewing a system as a community of interacting objects does not solve all prob lems. Beyond the object concept, abstraction and structuring principles are needed, together with languages and methods to work with them.Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Stra�e 46, 65189 Wiesbaden 252 pp. Deutsch. Bestandsnummer des Verk�ufers 9783528053864

Verk�ufer kontaktieren

Neu kaufen

EUR 54,99

EUR 60,00 shipping
Versand von Deutschland nach USA

Anzahl: 2 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Modeling of Dynamic Object Systems : A Logic-based Approach

Ralf Jungclaus

Verlag: Vieweg+Teubner Verlag, 1993

ISBN 10: 3528053860 ISBN 13: 9783528053864

Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is concerned with conceptual modeling, design and specification of in formation systems. Conventional information systems design starts with separating data from op erations, designing each with its own collection of concepts, methods, tools - and people: conceptual modeling for the imformation structure, and program design for the application programs. The separation carries through until the final implemen tation: data are collected in databases and managed with database management systems, and application programs are implemented with programming languages. This approach tends to suffer from a problem known as impedance mismatch. The basic paradigms underlying databases and programs - modeling, design, languages, and systems - do not fit easily together: there are incompatible type systems, data formats, operation modes, etc. The object-oriented paradigm promises to overcome these problems: a system is viewed as a community of interacting objects, each incorporating data and oper ations. While we still have object-oriented programming languages incompatible with object-oriented database systems, ideas and approaches seem to converge to wards homogeneous software systems dealing with both data and operations in a uniform way. Viewing a system as a community of interacting objects does not solve all prob lems. Beyond the object concept, abstraction and structuring principles are needed, together with languages and methods to work with them. Bestandsnummer des Verk�ufers 9783528053864

Verk�ufer kontaktieren

Neu kaufen

EUR 54,99

EUR 61,94 shipping
Versand von Deutschland nach USA

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Modeling of Dynamic Object Systems

Ralf Jungclaus

Verlag: Vieweg+Teubner Jan 1993, 1993

ISBN 10: 3528053860 ISBN 13: 9783528053864

Neu Taschenbuch

Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is concerned with conceptual modeling, design and specification of in formation systems. Conventional information systems design starts with separating data from op erations, designing each with its own collection of concepts, methods, tools - and people: conceptual modeling for the imformation structure, and program design for the application programs. The separation carries through until the final implemen tation: data are collected in databases and managed with database management systems, and application programs are implemented with programming languages. This approach tends to suffer from a problem known as impedance mismatch. The basic paradigms underlying databases and programs - modeling, design, languages, and systems - do not fit easily together: there are incompatible type systems, data formats, operation modes, etc. The object-oriented paradigm promises to overcome these problems: a system is viewed as a community of interacting objects, each incorporating data and oper ations. While we still have object-oriented programming languages incompatible with object-oriented database systems, ideas and approaches seem to converge to wards homogeneous software systems dealing with both data and operations in a uniform way. Viewing a system as a community of interacting objects does not solve all prob lems. Beyond the object concept, abstraction and structuring principles are needed, together with languages and methods to work with them. 232 pp. Englisch. Bestandsnummer des Verk�ufers 9783528053864

Verk�ufer kontaktieren