Stock image for illustration purposes only - book cover, edition or condition may vary.
Modeling of Dynamic Object Systems
Ralf Jungclaus
€ 69.63
FREE Delivery in Ireland
Description for Modeling of Dynamic Object Systems
Paperback. Series: Vieweg advanced studies of computer science. Num Pages: 231 pages. BIC Classification: UYA; UYF. Category: (P) Professional & Scholarly; (UP) Postgraduate; (UU) Undergraduate. Dimension: 210 x 148. .
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
1993
Publisher
Friedrich Vieweg & Sohn Verlagsgesellschaft mbH Germany
Number of pages
231
Condition
New
Series
Vieweg advanced studies of computer science
Number of Pages
232
Place of Publication
Weisbaden, Germany
ISBN
9783528053864
SKU
V9783528053864
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Modeling of Dynamic Object Systems