Modeling of Dynamic Object Systems: A Logic-Based Approach (Vieweg Advanced Studies Of Computer Science) - Brossura
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.
Risultati della ricerca per Modeling of Dynamic Object Systems: A Logic-Based Approach...
Foto dell'editore
Modeling of Dynamic Object Systems: A Logic-based Approach (Vieweg Advanced Studies in Computer Science) (German Edition)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020148376
Compra nuovo
EUR 57,51
Spese di spedizione:
EUR 3,44
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Modeling of Dynamic Object Systems : A Logic-based Approach -Language: german
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 20345740-n
Compra nuovo
EUR 58,70
Spese di spedizione:
EUR 2,28
In U.S.A.
Quantità: 15 disponibili
Immagini fornite dal venditore
Modeling of Dynamic Object Systems : A Logic-based Approach -Language: german
Editore:
Vieweg+Teubner Verlag, 1993
ISBN 10: 3528053860
ISBN 13: 9783528053864
Antico o usato
Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 20345740
Compra usato
EUR 62,58
Spese di spedizione:
EUR 2,28
In U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Modeling of Dynamic Object Systems: A Logic-based Approach (Vieweg Advanced Studies in Computer Science) (German Edition)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783528053864_new
Compra nuovo
EUR 57,43
Spese di spedizione:
EUR 13,60
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Modeling of Dynamic Object Systems : A Logic-based Approach
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783528053864
Compra nuovo
EUR 55,84
Spese di spedizione:
EUR 17,58
Da: Regno Unito a: U.S.A.
Quantità: 10 disponibili
Immagini fornite dal venditore
Modeling of Dynamic Object Systems : A Logic-based Approach -Language: german
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 20345740-n
Compra nuovo
EUR 57,42
Spese di spedizione:
EUR 17,02
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Modeling of Dynamic Object Systems
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
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
Compra nuovo
EUR 54,99
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Modeling of Dynamic Object Systems
Editore:
Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH, 1993
ISBN 10: 3528053860
ISBN 13: 9783528053864
Nuovo
Brossura
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 252. Codice articolo 2697766390
Compra nuovo
EUR 76,68
Spese di spedizione:
EUR 3,44
In U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Modeling of Dynamic Object Systems : A Logic-based Approach -Language: german
Editore:
Vieweg+Teubner Verlag, 1993
ISBN 10: 3528053860
ISBN 13: 9783528053864
Antico o usato
Brossura
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 20345740
Compra usato
EUR 65,18
Spese di spedizione:
EUR 17,02
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Modeling of Dynamic Object Systems
Editore:
Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH, 1993
ISBN 10: 3528053860
ISBN 13: 9783528053864
Nuovo
Brossura
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
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
Compra nuovo
EUR 80,02
Spese di spedizione:
EUR 7,38
Da: Regno Unito a: U.S.A.
Quantità: 4 disponibili