Formal development of reactive systems : case study production cell /

Formal development of reactive systems : case study production cell /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Lewerentz, Claus, Lindner, Thomas, 1966-
Format: eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, [1995]
Series:Lecture notes in computer science ; 891.
Subjects:
Computer software > Development.
TROLL.
signal.
MODULA 3.
LCM.
RAISE.
HOL.
spectrum.
SDL.
LUSTRE.
CSL.
ESTEREL.
développement logiciel.
méthode formelle.
Logiciels > Développement > Cas, Études de.
Réaction, Systèmes à > Informatique > Cas, Études de.
Usines métallurgiques > Automatisation > Informatique > Cas, Études de.
Programmatuurtechniek.
Logiciels > Développement.
Konzeptionelle Modellierung.
Softwareentwicklung.
Flexible Fertigungszelle.
Automatisierungssystem.
Electronic books.
Electronic resources (Books)
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Task description / Thomas Lindner
  • Comparative survey / Claus Lewerentz, Thomas Lindner
  • CSL / Klaus Nökel, Klaus Winkelmann
  • Esterel / Reinhard Budde
  • Lustre / Leszek Holenderski
  • Signal / Tochéou Pascalin Amagbegnon [and others]
  • Statecharts / Werner Damm [and others]
  • TLT / Jorge Cuellar, Martin Huber
  • SDL / Stefan Heinkel, Thomas Lindner
  • Focus / Max Fuchs, Jan Philipps
  • SPECTRUM / Dimitris Dranidis, Stefan Gastinger
  • KIV / Gerhard Schellhorn, Axel Burandt
  • Tatzelwurm / Stefan Klingenbeck, Thomas Käufl
  • HTTDS and HOL / Rachel Cardell-Oliver
  • RAISE / François Erasmy, Emil Sekerinski
  • Deductive synthesis / Jochen Burghardt
  • Symbolic timing diagrams / Franz Korf, Rainer Schlör
  • LCM and MCM / Roel Wieringa
  • Modula-3 / Andreas Rüping, Emil Sekerinski
  • TROLL light / Rudolf Herzig, Nikolaos Vlachantonis
  • Simulation / Artur Brauer, Thomas Lindner.