Articles liés à Modeling of Dynamic Object Systems: A Logic-Based Approach...

Modeling of Dynamic Object Systems: A Logic-Based Approach (Vieweg Advanced Studies Of Computer Science) - Couverture souple

 
9783528053864: Modeling of Dynamic Object Systems: A Logic-Based Approach (Vieweg Advanced Studies Of Computer Science)

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Acheter D'occasion

état :  Très bon
Zustand: Sehr gut | Seiten: 252...
Afficher cet article
EUR 33,20

Autre devise

EUR 9,90 expédition depuis Allemagne vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 54,99

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Résultats de recherche pour Modeling of Dynamic Object Systems: A Logic-Based Approach...

Image d'archives

Ralf Jungclaus
Edité par Vieweg+Teubner Verlag, 1993
ISBN 10 : 3528053860 ISBN 13 : 9783528053864
Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 252 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 24360277/202

Contacter le vendeur

Acheter D'occasion

EUR 33,20
Autre devise
Frais de port : EUR 9,90
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Ralf Jungclaus
Edité par Vieweg+Teubner Verlag, 1993
ISBN 10 : 3528053860 ISBN 13 : 9783528053864
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : 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. N° de réf. du vendeur 4866718

Contacter le vendeur

Acheter neuf

EUR 54,99
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Ralf Jungclaus
Edité par Vieweg+Teubner Verlag, 1993
ISBN 10 : 3528053860 ISBN 13 : 9783528053864
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : 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. N° de réf. du vendeur 9783528053864

Contacter le vendeur

Acheter neuf

EUR 54,99
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Ralf Jungclaus
Edité par Vieweg+Teubner Jan 1993, 1993
ISBN 10 : 3528053860 ISBN 13 : 9783528053864
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : 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. N° de réf. du vendeur 9783528053864

Contacter le vendeur

Acheter neuf

EUR 54,99
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Jungclaus, Ralf
Edité par Vieweg+Teubner Verlag, 1993
ISBN 10 : 3528053860 ISBN 13 : 9783528053864
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783528053864_new

Contacter le vendeur

Acheter neuf

EUR 61,81
Autre devise
Frais de port : EUR 4,71
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Jungclaus, Ralf
ISBN 10 : 3528053860 ISBN 13 : 9783528053864
Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783528053864

Contacter le vendeur

Acheter neuf

EUR 56,08
Autre devise
Frais de port : EUR 11,21
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Ralf Jungclaus
ISBN 10 : 3528053860 ISBN 13 : 9783528053864
Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : 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. N° de réf. du vendeur 9783528053864

Contacter le vendeur

Acheter neuf

EUR 54,99
Autre devise
Frais de port : EUR 15
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Jungclaus, Ralf
Edité par Vieweg+Teubner Verlag, 1993
ISBN 10 : 3528053860 ISBN 13 : 9783528053864
Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur I-9783528053864

Contacter le vendeur

Acheter neuf

EUR 72,05
Autre devise
Frais de port : EUR 6,99
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Jungclaus Ralf
ISBN 10 : 3528053860 ISBN 13 : 9783528053864
Neuf Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Print on Demand pp. 252 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 94663721

Contacter le vendeur

Acheter neuf

EUR 83,45
Autre devise
Frais de port : EUR 10,45
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Jungclaus Ralf
ISBN 10 : 3528053860 ISBN 13 : 9783528053864
Neuf Couverture souple

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 1897766396

Contacter le vendeur

Acheter neuf

EUR 86,90
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

There are 2 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre