Modeling of Dynamic Object Systems [electronic resource] : A Logic-based Approach /
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.
Saved in:
Main Authors: | , |
---|---|
Format: | Texto biblioteca |
Language: | ger |
Published: |
Wiesbaden : Vieweg+Teubner Verlag : Imprint: Vieweg+Teubner Verlag,
1993
|
Subjects: | Computer science., Computers., Computer simulation., Computer Science., Simulation and Modeling., Models and Principles., Computer Science, general., |
Online Access: | http://dx.doi.org/10.1007/978-3-663-14018-4 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Search Result 1