![Modeling of Dynamic Object Systems [electronic resource] : A Logic-based Approach /](/search/themes/bootstrap3/images/libros.png)
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!
|