Description

• Title:
  Application of deductive reasoning to the verification of ArchiMate behavioral elements
• Creator:
  Klimek, Radosław;
  Szwed, Piotr;
  Jędrusik, Stanisław
• Description:
  Informatyka Ekonomiczna = Business Informatics, 2013, Nr 3 (29), s. 76-97
• Object availability:
  free access
• Rights:
  Wszystkie prawa zastrzeżone (Copyright);
  Dla wszystkich w zakresie dozwolonego użytku
• Date:
  2013.12.31;
  2013
• Type:
  artykuł
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
• Relation:
  Informatyka Ekonomiczna = Business Informatics, 2013, Nr 3 (29)
• Subject:
  Deductive temporal reasoning;
  software verification;
  ArchiMate;
  semantics tableaux method;
  Linear Temporal Logic;
  wnioskowanie dedukcyjne;
  weryfikacja oprogramowania;
  metoda tablic semantycznych;
  liniowa logika temporalna
• Data provider:
  Dolnośląska Biblioteka Cyfrowa
• Can I use it?:
  seek permission
• Type:
  image