---
res:
  bibo_abstract:
  - We investigate a translation of SDL diagrams into the complete visual representation
    of Pictorial Janus (PJ) programs in order to analyze the specification by visual
    debugging and animation. We additionally introduce timing concepts to PJ (Timed
    PJ) for a mapping of the SDL timing statements. The concepts transforming SDL
    interaction and process diagrams into Timed PJ are outlined by an example sketching
    the transformation of an Ethernet CSMA/CD protocol specification.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Georg
      foaf_name: Lehrenfeld, Georg
      foaf_surname: Lehrenfeld
  - foaf_Person:
      foaf_givenName: Wolfgang
      foaf_name: Müller, Wolfgang
      foaf_surname: Müller
      foaf_workInfoHomepage: http://www.librecat.org/personId=16243
  - foaf_Person:
      foaf_givenName: C.
      foaf_name: Tahedl, C.
      foaf_surname: Tahedl
  bibo_doi: 10.1109/VL.1995.520803
  dct_date: 1995^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/0-8186-7045-2
  dct_language: eng
  dct_subject:
  - Animation
  - Timing
  - Debugging
  - Ethernet networks
  - Multiaccess communication
  - Protocols
  - Computer languages
  - Prototypes
  - Environmental management
  - Visualization
  dct_title: Transforming SDL Diagrams Into a Complete Visual Representation@
...