Ebook: Modeling of Dynamic Object Systems: A Logic-based Approach
Author: Ralf Jungclaus (auth.)
- Tags: Simulation and Modeling, Models and Principles, Computer Science general
- Series: Vieweg Advanced Studies in Computer Science
- Year: 1993
- Publisher: Vieweg+Teubner Verlag
- Edition: 1
- Language: German
- pdf
Content:
Front Matter....Pages I-XV
Introduction....Pages 1-5
Information Systems Development....Pages 7-25
Front Matter....Pages 27-27
Basic Notions of System Specification and Modeling Approaches....Pages 29-57
Semantic Concepts....Pages 59-83
Front Matter....Pages 85-85
Basic Constructs in Troll ....Pages 87-107
Template, Object, and Class Specifications....Pages 109-140
Relating Specifications....Pages 141-167
Specification of Systems....Pages 169-182
Front Matter....Pages 183-183
Related Approaches....Pages 185-199
Discussion and Outlook....Pages 201-206
Back Matter....Pages 207-232
Content:
Front Matter....Pages I-XV
Introduction....Pages 1-5
Information Systems Development....Pages 7-25
Front Matter....Pages 27-27
Basic Notions of System Specification and Modeling Approaches....Pages 29-57
Semantic Concepts....Pages 59-83
Front Matter....Pages 85-85
Basic Constructs in Troll ....Pages 87-107
Template, Object, and Class Specifications....Pages 109-140
Relating Specifications....Pages 141-167
Specification of Systems....Pages 169-182
Front Matter....Pages 183-183
Related Approaches....Pages 185-199
Discussion and Outlook....Pages 201-206
Back Matter....Pages 207-232
....
Download the book Modeling of Dynamic Object Systems: A Logic-based Approach for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)