About: Sequence Chart Studio 0.1: Basic Verification Algorithms     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • The Sequence Chart Studio (scstudio) is a user-friendly drawing and verification tool for Message Sequence Charts (basic MSC, HMSC). It provides several verification algorithms and offers an open interface for additional modules. This version includes basic verification algorithms: detect deadlock/livelock, detect cycles, and trace race conditions.
  • The Sequence Chart Studio (scstudio) is a user-friendly drawing and verification tool for Message Sequence Charts (basic MSC, HMSC). It provides several verification algorithms and offers an open interface for additional modules. This version includes basic verification algorithms: detect deadlock/livelock, detect cycles, and trace race conditions. (en)
Title
  • Sequence Chart Studio 0.1: Basic Verification Algorithms
  • Sequence Chart Studio 0.1: Basic Verification Algorithms (en)
skos:prefLabel
  • Sequence Chart Studio 0.1: Basic Verification Algorithms
  • Sequence Chart Studio 0.1: Basic Verification Algorithms (en)
skos:notation
  • RIV/00216224:14330/08:00025310!RIV10-GA0-14330___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(1M0545), P(GP201/08/P459)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 394457
http://linked.open...ai/riv/idVysledku
  • RIV/00216224:14330/08:00025310
http://linked.open...terniIdentifikace
  • Sequence Chart Studio Basic
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • Message Sequence Charts; ITU-T Z.120; analyzer; race condition checking (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [BCC02F9BD166]
http://linked.open.../licencniPoplatek
http://linked.open...okalizaceVysledku
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...echnickeParametry
  • Nástroj pro kreslení a verifikaci modelů ve formalizmech Message Sequence Charts a UML Sequence Diagrams implementovaný jako doplněk (add-on) do programu MS Visio .
http://linked.open...iv/tvurceVysledku
  • Řehák, Vojtěch
  • Gotthard, Petr
  • Babica, Jindřich
http://linked.open...avai/riv/vlastnik
http://linked.open...itiJinymSubjektem
http://localhost/t...ganizacniJednotka
  • 14330
is http://linked.open...avai/riv/vysledek of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 112 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software