Articoli correlati a Modeling of Dynamic Object Systems: A Logic-Based Approach...

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

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

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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 Relating Specifications.- 8 Specification of Systems.- III Discussion.- 9 Related Approaches.- 10 Discussion and Outlook.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Compra usato

Condizioni: ottimo
Zustand: Sehr gut | Seiten: 252...
Visualizza questo articolo

EUR 6,90 per la spedizione da Germania a Italia

Destinazione, tempi e costi

EUR 9,70 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Risultati della ricerca per Modeling of Dynamic Object Systems: A Logic-Based Approach...

Foto dell'editore

Ralf Jungclaus
Editore: Vieweg+Teubner Verlag, 1993
ISBN 10: 3528053860 ISBN 13: 9783528053864
Antico o usato Brossura

Da: Buchpark, Trebbin, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 252 | Sprache: Englisch | Produktart: Bücher. Codice articolo 24360277/202

Contatta il venditore

Compra usato

EUR 33,20
Convertire valuta
Spese di spedizione: EUR 6,90
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Ralf Jungclaus
Editore: Vieweg+Teubner Verlag, 1993
ISBN 10: 3528053860 ISBN 13: 9783528053864
Nuovo Brossura
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: 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. Codice articolo 4866718

Contatta il venditore

Compra nuovo

EUR 54,99
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Ralf Jungclaus
Editore: Vieweg+Teubner Jan 1993, 1993
ISBN 10: 3528053860 ISBN 13: 9783528053864
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: 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. Codice articolo 9783528053864

Contatta il venditore

Compra nuovo

EUR 54,99
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Ralf Jungclaus
Editore: Vieweg+Teubner Verlag, 1993
ISBN 10: 3528053860 ISBN 13: 9783528053864
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: 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. Codice articolo 9783528053864

Contatta il venditore

Compra nuovo

EUR 54,99
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

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

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: 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. Codice articolo 9783528053864

Contatta il venditore

Compra nuovo

EUR 54,99
Convertire valuta
Spese di spedizione: EUR 15,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Jungclaus, Ralf
Editore: Vieweg+Teubner Verlag, 1993
ISBN 10: 3528053860 ISBN 13: 9783528053864
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783528053864_new

Contatta il venditore

Compra nuovo

EUR 62,12
Convertire valuta
Spese di spedizione: EUR 10,67
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

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

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

PF. Condizione: New. Codice articolo 6666-IUK-9783528053864

Contatta il venditore

Compra nuovo

EUR 56,36
Convertire valuta
Spese di spedizione: EUR 23,72
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 10 disponibili

Aggiungi al carrello

Foto dell'editore

Jungclaus, Ralf
Editore: Vieweg+Teubner Verlag, 1993
ISBN 10: 3528053860 ISBN 13: 9783528053864
Nuovo Brossura

Da: California Books, Miami, FL, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo I-9783528053864

Contatta il venditore

Compra nuovo

EUR 72,24
Convertire valuta
Spese di spedizione: EUR 7,89
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Jungclaus Ralf
ISBN 10: 3528053860 ISBN 13: 9783528053864
Nuovo Brossura
Print on Demand

Da: Majestic Books, Hounslow, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: 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. Codice articolo 94663721

Contatta il venditore

Compra nuovo

EUR 83,67
Convertire valuta
Spese di spedizione: EUR 10,50
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Ralf Jungclaus
Editore: Vieweg & Teubner, 1993
ISBN 10: 3528053860 ISBN 13: 9783528053864
Nuovo Taschenbuch

Da: preigu, Osnabrück, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Modeling of Dynamic Object Systems | A Logic-based Approach | Ralf Jungclaus | Taschenbuch | xv | Deutsch | 1993 | Vieweg & Teubner | EAN 9783528053864 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 102241434

Contatta il venditore

Compra nuovo

EUR 54,99
Convertire valuta
Spese di spedizione: EUR 45,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 5 disponibili

Aggiungi al carrello

Vedi altre 1 copie di questo libro

Vedi tutti i risultati per questo libro