Advertisement

Introduction

  • Manfred Broy
  • Ketil Stølen
Part of the Monographs in Computer Science book series (MCS)

Abstract

In modern technology we find interactive systems in many different forms and variations. Such systems may consist of mechanical parts, of electronic parts — called hardware, and of programs — called software. The programs are executed on the hardware. Typically, interactive systems consist of a set of components cooperating and exchanging information through interaction. In most cases, the interaction among the different components is rather sophisticated.

Keywords

Interactive System Specification Language Predicate Logic Logical Formula Specification Style 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 2001

Authors and Affiliations

  • Manfred Broy
    • 1
  • Ketil Stølen
    • 2
    • 3
  1. 1.Institut für InformatikTechnische Universität MünchenMünchenGermany
  2. 2.Sintef Telecom and InformaticsOsloNorway
  3. 3.Department of InformaticsUniversity of OsloOsloNorway

Personalised recommendations