Skip to main content
  • Book
  • © 1993

Modeling of Dynamic Object Systems

A Logic-based Approach

Authors:

Part of the book series: Vieweg Advanced Studies in Computer Science (VASCS)

Buy it now

Buying options

eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (10 chapters)

  1. Front Matter

    Pages I-XV
  2. Introduction

    1. Introduction

      • Ralf Jungclaus
      Pages 1-5
  3. Information Systems Development

    1. Information Systems Development

      • Ralf Jungclaus
      Pages 7-25
  4. Foundations

    1. Front Matter

      Pages 27-27
    2. Semantic Concepts

      • Ralf Jungclaus
      Pages 59-83
  5. Language Definition

    1. Front Matter

      Pages 85-85
    2. Basic Constructs in Troll

      • Ralf Jungclaus
      Pages 87-107
    3. Template, Object, and Class Specifications

      • Ralf Jungclaus
      Pages 109-140
    4. Relating Specifications

      • Ralf Jungclaus
      Pages 141-167
    5. Specification of Systems

      • Ralf Jungclaus
      Pages 169-182
  6. Discussion

    1. Front Matter

      Pages 183-183
    2. Related Approaches

      • Ralf Jungclaus
      Pages 185-199
    3. Discussion and Outlook

      • Ralf Jungclaus
      Pages 201-206
  7. Back Matter

    Pages 207-232

Bibliographic Information

Buy it now

Buying options

eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access